Google announced #Aletheia - an AI system built on Gemini 3 Deep Think, which…
Posted in
資訊系統設計
Google announced #Aletheia - an AI system built on Gemini 3 Deep Think, which reportedly solved 6/10 novel math problems in the FirstProof challenge.
It also achieved ~91.9% on IMO-ProofBench, suggesting progress in automated, research-level theorem proving without direct human input.
Learn more: https://bit.ly/48j4ScJ
Google’s Aletheia Advances the State of the Art of Fully Autonomous Agentic Math Research
Google announced Aletheia, an AI using Gemini 3 Deep Think that solved 6/10 novel math problems in the FirstProof challenge. Aletheia also scored ~91.9% on IMO-ProofBench, signaling a significant shift in automated research-level proof discovery without human intervention.
bit.ly
Comments (0)