Google DeepMind's Gemini-powered AlphaProof Nexus multi-agent framework resolved 9 of 353 previously unsolved Erdős problems, two of which had resisted mathematicians for 56 years, and proved 44 of 49…
Sage, an agentic formalization framework described in arXiv paper 2609.35790v1, suppresses answer leakage to 2.7% while reaching 73.3% pass@4 joint compilation and semantic fidelity on Omni-MATH witho…
Leading AI experts have consistently underestimated how fast AI is advancing, according to a study by the Forecasting Research Institute. AI reached gold-medal level at the International Mathematical …
Google DeepMind is internally testing an experimental math-focused AI model informally called Mathematica, built on the Gemini 3.1 Pro iteration as a new branch of the company's Deep Think reasoning a…
Google DeepMind's AlphaProof solved three of five non-geometry problems at the 2024 International Mathematical Olympiad, a feat enabled by the formal language Lean, which provides a verifiable environ…
Boundless Intuition's autonomous proving agent Dirac proved all six problems of the 2026 International Mathematical Olympiad in 7 hours 18 minutes, faster than Pramaana Hardy's 8 hours 57 minutes and …
On July 15-16, 2024, at the International Mathematical Olympiad in Shanghai, several frontier AI systems, including Claude Fable 5, GPT-5.6 Sol, and Kimi K3, achieved perfect scores of 42 out of 42 on…
Chinese social giant RedNote has developed dots-note-3.0, the first AI model to achieve a perfect score of 42 at the International Mathematical Olympiad (IMO), solving all six puzzles at the competiti…
Harmonic, the AI startup co-founded by Robinhood CEO Vlad Tenev and Tudor Achim, announced on July 28 that its reasoning model Aristotle achieved gold medal-level performance on the 2025 International…
SignalPilot-Labs released a PDF showing that OpenAI's GPT 5.6 solved all International Mathematical Olympiad 2026 questions without human steering, marking the first time an AI has achieved a perfect …
A writer argues that artificial intelligence, exemplified by ChatGPT, is fundamentally similar to human intelligence, noting that both systems learn from data, produce comparable outputs, and exhibit …