TLDR Tech / News
Google AI Solves Math Problems, Gains Peer Review
Google DeepMind's AlphaProof Nexus AI has independently solved numerous complex mathematical challenges, with its findings being validated through peer review in the journal Science. The system successfully addressed nine Erdős problems, proved 44 OEIS conjectures, and resolved an open question in algebraic geometry. Utilizing Gemini 3.1 Pro and the Lean formal proof language, AlphaProof Nexus generated and confirmed proofs without direct human assistance.
Read the full story