A beginning for mathematics
- Three years ago, AI systems could not reliably add two numbers.
- A year ago, internal models at OpenAI and DeepMind received the equivalent of a gold-medal score on the IMO.
- Now, these systems are autonomously resolving major open questions.
Confirmed
- Three years ago, AI systems could not reliably add two numbers.
- A year ago, internal models at OpenAI and DeepMind received the equivalent of a gold-medal score on the IMO.
- Now, these systems are autonomously resolving major open questions.
Sources: Proofsandprompts, Daniellitt