The Hallway Track
11 tracked signals on mathematics.
Unreleased Claude beat human record on Riemann hypothesis-related bound after 650 failed attempts
“Throughout this process, Jared's input was mostly limited to sending Claude messages of encouragement. Mostly variants of keep going and believe in yourself.”
OpenAI's unreleased Astra model solved 10 decade-old unsolved math problems for under $2,000 each.
“He envisions a future of large-scale, decentralized collaborations between humans and machines, where complex mathematical tasks can be diced and sliced, with humans claiming the creative parts and AI doing the lion's share of the technical grunt work.”
OpenAI model disproves 80-year-old unit distance conjecture in discrete geometry
OpenAI frontier model solves open math problems, releases formal Lean proofs on GitHub
OpenAI claims to have solved the Navier-Stokes problem.
Open problems in research may become scarce due to AI incentives.
“the incentives may now be pointing in the direction of no longer sharing any promising research directions with the broader community.”
AI is significantly accelerating advancements in mathematics.
“mathematics is advancing so quickly because of AI.”
AI solved multiple decades-old open math conjectures this summer, alarming top mathematicians worldwide.
“Couldn't believe it. I I had trouble sleeping for the first couple of nights I was out.”
OpenAI AI systems achieved advances on open problems in math and theoretical computer science
DeepMind's AlphaProof Nexus solved 9 previously-unsolved Erdős problems using a novel ELO-ranked judge AI.
“Do not look at where we are. Look at where we will be two more papers down the line.”
OpenAI forms an independent Advisory Group on Mathematics and AI to guide review of emerging results.
“OpenAI is working with an independent Advisory Group on Mathematics and Artificial Intelligence to guide the review and communication of emerging AI results.”