DeepMind explores human-AI collaboration in mathematical proof discovery

Science News describes a DeepMind study suggesting another path for mathematical progress: humans and AI building on each other’s ideas. It contrasts that approach with a race, for some, to use AI to claim the next proof and asks what might be lost by focusing only on answers.