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 ...

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 ...

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 ...

Mathematicians love the certainty of proofs. This is how they verify that their intuition matches observable truth. This logical love of proofs is uniquely suited to opening up the black box of ...