Google DeepMind's Gemini agents found proofs for open math problems, including Erdős problems unsolved for 56 years, at low compute cost.

DeepMind’s AlphaProof system solved four out of six problems at the 2024 International Mathematical Olympiad, generating formally verified proofs through reinforcement learning trained on millions of ...

For students learning mathematics at integrated junior and senior high schools, choosing a reference book to understand ...

Three mathematicians just proved a famous 30-year-old conjecture in geometry, with only a tiny assist from AI. The conjecture says that even within enormous, scattered and chaotic assemblages of ...

Years ago, an audacious Fields medalist outlined a sweeping program that, he claimed, could be used to resolve a major problem in algebraic geometry. Other mathematicians had their doubts. Now he says ...

OpenAI's unreleased Astra model has produced what its October 2025 announcement only pretended to: genuine solutions to ten long-standing open problems in mathematics and theoretical computer science, ...

The verdict, it seems, is in: artificial intelligence is not about to replace mathematicians. That is the immediate takeaway from the “First Proof” challenge—perhaps the most robust test yet of the ...

This voice experience is generated by AI. Learn more. This voice experience is generated by AI. Learn more. OpenAI's Astra model has reportedly solved ten complex, decades-old mathematical problems ...