Mathematician Grigori Perelman solved the Poincaré conjecture, and then rejected the $1 million prize that came with it.

DeepMind’s AlphaEvolve helps solve a math puzzle with Terence Tao, showing how AI can now invent new ideas—and prove old ones ...

Google DeepMind has used chatbot models to come up with solutions to major problems in mathematics and computer science. The system, called AlphaEvolve, combines the creativity of a large language ...

OpenAI's GPT-5 claimed to solve famous math problems, sparking industry backlash. Experts revealed the AI merely found existing solutions, not independent breakthroughs. This incident highlights AI's ...

They had to throw away most of what it produced but there was gold among the garbage. Google DeepMind has used a large language model to crack a famous unsolved problem in pure mathematics. In a paper ...