
Google DeepMind has unveiled an AI co-mathematician that has set a new benchmark in solving complex mathematical problems. Built on the Gemini 3.1 system, this AI uses a team of agents to tackle unsolved problems, achieving a 48% score on the FrontierMath Tier 4 leaderboard. Oxford professor Marc Lackenby utilized a strategy from the AI's output to solve an open problem, demonstrating the system's potential to aid mathematicians. This advancement underscores AI's role in enhancing, not replacing, human expertise in mathematics.
Read original