I solved 6 open Erdős problems in 5 days, using @OpenAI GPT-5.6 Sol.I have a math background, but the Codex workflow I used does not require deep mathematical knowledge.Here’s exactly how I approached it, including my prompts 🧵— Shouqiao Wang (@Qiaoqiao2001) July 22, 2026
Has an AI discovered new maths?
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
AI contributions to Erdős problems
A community database for the problems on the erdosproblems.com site - teorth/erdosproblems
OpenAI's Unreleased Model Astra Solves Ten Major Open Mathematics Problems
Math is hard.
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…
Ten advances in mathematics and theoretical computer science
OpenAI shares new results on long-standing open problems in mathematics and theoretical computer science, including advances in geometry, cryptography, and complexity.
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
Introducing GPT-5.4
Introducing GPT-5.4, OpenAI’s most most capable and efficient frontier model for professional work, with state-of-the-art coding, computer use, tool search, and 1M-token context.
Dumbo Could Already Fly
100% pure human copium about OpenAI solving Erdős problems
Overview - GroqDocs
Fast LLM inference, OpenAI-compatible. Simple to integrate, easy to scale. Start building in minutes.
gpt-oss:120b
OpenAI’s open-weight models designed for powerful reasoning, agentic tasks, and versatile developer use cases.
gpt-oss:20b
OpenAI’s open-weight models designed for powerful reasoning, agentic tasks, and versatile developer use cases.
