Fields Medal Winner Describes Shock of AI Solving Math Problems

A mathematician who won the Fields Medal in 2022 said he was shocked by AI solving open problems that shaped his career. He said OpenAI's October 6 release of hundreds of papers addressed at least 372 long-standing open problems in mathematics.

NextBigFuture

Open source

Fields Medal Winner Describes Shock of AI Solving Math Problems

Mathematician says he is paralyzed: no major open problem of his career was left untouched
On October 6 OpenAI released hundreds of papers covering at least 372 open math problems
Many results were checked in formal systems such as Lean, ruling out pure hallucination
He compared the moment to the shock chess faced after Deep Blue and Go after AlphaGo

#OpenAI

Fields Medal Winner Describes Shock of AI Solving Math Problems

Meta AI solves five open math problems via consumer chat, not a research lab

OpenAI GPT Bel Solves Over 100 Longstanding Math Problems

OpenAI Close to Solving Another Millennium Prize Math Problem

Mathematicians clash over AI ethics after OpenAI solves Navier-Stokes problem