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

#AI #Google #LLMs