OpenAI shares new results on long-standing open problems in mathematics and theoretical computer science, including advances in geometry, cryptography, and complexity.
OpenAI's Unreleased Model Astra Solves Ten Major Open Mathematics Problems
Math is hard.
An OpenAI model has disproved a central conjecture in discrete geometry
An OpenAI model solved the 80-year-old unit distance problem, disproving a major conjecture in discrete geometry and marking a milestone in AI-driven mathematics.
OpenAI’s math breakthrough played to AI’s strengths
I tried to explain OpenAI’s solution more clearly than OpenAI did.
. · openai/ten-proofs@94bc0fe
Lean certificates accompanying proofs in mathematics and theoretical computer science - . · openai/ten-proofs@94bc0fe
. · openai/ten-proofs@5a102c1
Lean certificates accompanying proofs in mathematics and theoretical computer science - . · openai/ten-proofs@5a102c1
. · openai/ten-proofs@d0e1ae7
Lean certificates accompanying proofs in mathematics and theoretical computer science - . · openai/ten-proofs@d0e1ae7
. · openai/ten-proofs@e9dce9a
Lean certificates accompanying proofs in mathematics and theoretical computer science - . · openai/ten-proofs@e9dce9a
Przemek Chojecki | PC on Twitter / X
The Growing Map of Open Mathematical Problems.We mapped 15,000+ conjectures from UnsolvedMath to show potential links between concepts.It also shows how under formalized the frontier is (less than 10%). pic.twitter.com/nm0PCpXVPf— Przemek Chojecki | PC (@prz_chojecki) August 28, 2026
The case for a validity layer in life science research
When OpenAI recently announced that one of its models had disproved a long-standing conjecture in discrete geometry, the scientific community took notice...
Timothy Gowers @wtgowers on Twitter / X
AI has now solved a major open problem -- one of the best known Erdos problems called the unit distance problem, one of Erdos's favourite questions and one that many mathematicians had tried.https://t.co/SD1vVPkrHR— Timothy Gowers @wtgowers (@wtgowers) May 20, 2026
A big lesson of my China visit: compute shortages are holding back Chinese AI
One estimate suggests that OpenAI has about as much compute as the entire Chinese AI industry.
What sort of maths are LLMs good at?
For the sake of anyone who might read this blog post in the distant future (a month from now, say), let me mention that I am writing it a few days after OpenAI announced that it had solved ten majo…
Michael Truell on Twitter / X
We believe Cursor discovered a novel solution to Problem Six of the First Proof challenge, a set of math research problems that approximate the work of Stanford, MIT, Berkeley academics. Cursor's solution yields stronger results than the official, human-written solution.…— Michael Truell (@mntruell) March 3, 2026
Mo on Twitter / X
Deciphering OpenAI's misleading claim that GPT-5.2 made a new discovery in theoretical physics. https://t.co/Lysx647aKr pic.twitter.com/xNj08evmXx— Mo (@atmoio) February 14, 2026
OpenClaw – NEAR AI
Run the internet’s favorite new AI agent with NEAR AI’s cryptographic privacy guarantees.
