Here's the page that tracks Erdos Problems AI has solved or helped to solve.
It seems to be changing fast now.
It seems to be changing fast now.
January 11, 2026 at 10:49 PM
Here's the page that tracks Erdos Problems AI has solved or helped to solve.
It seems to be changing fast now.
It seems to be changing fast now.
Another Erdos problem announced solved by machine learning: github.com/teorth/erdos...
From discussion, looks like it may have already been solved in prior lit. A weird thing about neural networks is that we can't actually tell if it used that source or not.
From discussion, looks like it may have already been solved in prior lit. A weird thing about neural networks is that we can't actually tell if it used that source or not.
AI contributions to Erdős problems
A community database for the problems on the erdosproblems.com site - teorth/erdosproblems
github.com
January 18, 2026 at 3:21 PM
Another Erdos problem announced solved by machine learning: github.com/teorth/erdos...
From discussion, looks like it may have already been solved in prior lit. A weird thing about neural networks is that we can't actually tell if it used that source or not.
From discussion, looks like it may have already been solved in prior lit. A weird thing about neural networks is that we can't actually tell if it used that source or not.
A first proof-of-concept outcome for the erdosproblems.com - OEIS linkage project: with a useful assist from AI, the OEIS was used to locate a proof in the literature for an Erdos problem that was previously marked as "open". mathstodon.xyz/deck/@tao/11...
Terence Tao (@tao@mathstodon.xyz)
Here is a first proof-of-concept demonstration of an actual outcome for the erdosproblems/OEIS linkage project. There are a number of Erdos problems relating to irrationality of specific series. I ask...
mathstodon.xyz
September 2, 2025 at 4:27 PM
A first proof-of-concept outcome for the erdosproblems.com - OEIS linkage project: with a useful assist from AI, the OEIS was used to locate a proof in the literature for an Erdos problem that was previously marked as "open". mathstodon.xyz/deck/@tao/11...
"llms can only output averages of training material, they're incapable of original insights"
both false. llms have solved decades old Erdős problems and a model recently made a breakthrough in theoretical physics.
github.com/teorth/erdos...
arxiv.org/abs/2602.12176
both false. llms have solved decades old Erdős problems and a model recently made a breakthrough in theoretical physics.
github.com/teorth/erdos...
arxiv.org/abs/2602.12176
AI contributions to Erdős problems
A community database for the problems on the erdosproblems.com site - teorth/erdosproblems
github.com
March 7, 2026 at 12:01 PM
"llms can only output averages of training material, they're incapable of original insights"
both false. llms have solved decades old Erdős problems and a model recently made a breakthrough in theoretical physics.
github.com/teorth/erdos...
arxiv.org/abs/2602.12176
both false. llms have solved decades old Erdős problems and a model recently made a breakthrough in theoretical physics.
github.com/teorth/erdos...
arxiv.org/abs/2602.12176
this is a database primarily maintained by Terence Tao - widely considered one of the greatest living mathematicians - of problems contributed to by AI: github.com/teorth/erdos...
one can see that the green line is going up, and that there are formally verified proofs attached for many of them
one can see that the green line is going up, and that there are formally verified proofs attached for many of them
GitHub - teorth/erdosproblems: A community database for the problems on the erdosproblems.com site
A community database for the problems on the erdosproblems.com site - teorth/erdosproblems
github.com
August 21, 2026 at 7:29 PM
this is a database primarily maintained by Terence Tao - widely considered one of the greatest living mathematicians - of problems contributed to by AI: github.com/teorth/erdos...
one can see that the green line is going up, and that there are formally verified proofs attached for many of them
one can see that the green line is going up, and that there are formally verified proofs attached for many of them
Background to this: The clanker has no intelligence or reasoning ability, and cannot "solve" anything.
github.com/teorth/erdos...
#aifraud #math
github.com/teorth/erdos...
#aifraud #math
AI contributions to Erdős problems
A community database for the problems on the erdosproblems.com site - teorth/erdosproblems
github.com
January 18, 2026 at 5:43 AM
Background to this: The clanker has no intelligence or reasoning ability, and cannot "solve" anything.
github.com/teorth/erdos...
#aifraud #math
github.com/teorth/erdos...
#aifraud #math
Just to slightly temper this, the same group announced 3 others a few days ago, and although they are very impressive, none are in what you might call the top tier of solutions, meaning fully solved by AI and no known prior literature they might've had in training data. github.com/teorth/erdos...
AI contributions to Erdős problems
A community database for the problems on the erdosproblems.com site - teorth/erdosproblems
github.com
April 9, 2026 at 10:48 AM
Just to slightly temper this, the same group announced 3 others a few days ago, and although they are very impressive, none are in what you might call the top tier of solutions, meaning fully solved by AI and no known prior literature they might've had in training data. github.com/teorth/erdos...
Generative AI has already solved at least thirteen Erdős problems for which there was no comparable academic literature.
AI contributions to Erdős problems
A community database for the problems on the erdosproblems.com site - teorth/erdosproblems
github.com
April 21, 2026 at 3:49 AM
Generative AI has already solved at least thirteen Erdős problems for which there was no comparable academic literature.
This is managed by Terence Tao, a hugely prominent mathematician working at UCLA.
The stuff AI can do is getting a lot more impressive, and very fast.
github.com/teorth/erdos...
The stuff AI can do is getting a lot more impressive, and very fast.
github.com/teorth/erdos...
AI contributions to Erdős problems
A community database for the problems on the erdosproblems.com site - teorth/erdosproblems
github.com
February 27, 2026 at 6:04 PM
This is managed by Terence Tao, a hugely prominent mathematician working at UCLA.
The stuff AI can do is getting a lot more impressive, and very fast.
github.com/teorth/erdos...
The stuff AI can do is getting a lot more impressive, and very fast.
github.com/teorth/erdos...
While we're referencing Tao you might be interested in his leaderboard of autonomous AI solutions to erdös problems github.com/teorth/erdos... and also his discussion on the implications of ai being able to do research-level mathematics arxiv.org/abs/2608.16753
AI contributions to Erdős problems
A community database for the problems on the erdosproblems.com site - AI contributions to Erdős problems · teorth/erdosproblems Wiki
https://github.com/teorth/erdosproblems/wiki/AI-contributions-to-Erdős-problems
September 1, 2026 at 5:55 AM
While we're referencing Tao you might be interested in his leaderboard of autonomous AI solutions to erdös problems github.com/teorth/erdos... and also his discussion on the implications of ai being able to do research-level mathematics arxiv.org/abs/2608.16753
A 20-year perspective on AI acceleration and the axiomatic thinking solving problems right now.
Sign up for Valency Bond: app.valency.io/start (free for Academic Researchers)
#AIScience #Erdosproblems
Sign up for Valency Bond: app.valency.io/start (free for Academic Researchers)
#AIScience #Erdosproblems
August 3, 2026 at 6:04 PM
A 20-year perspective on AI acceleration and the axiomatic thinking solving problems right now.
Sign up for Valency Bond: app.valency.io/start (free for Academic Researchers)
#AIScience #Erdosproblems
Sign up for Valency Bond: app.valency.io/start (free for Academic Researchers)
#AIScience #Erdosproblems
Last time I checked there were erdos problems that did not have solutions _anywhere_, let alone in any possible training set, before they were solved by generative AI
github.com/teorth/erdos...
github.com/teorth/erdos...
AI contributions to Erdős problems
A community database for the problems on the erdosproblems.com site - teorth/erdosproblems
github.com
January 20, 2026 at 5:10 PM
Last time I checked there were erdos problems that did not have solutions _anywhere_, let alone in any possible training set, before they were solved by generative AI
github.com/teorth/erdos...
github.com/teorth/erdos...
It's very much worth reading the whole thing though, not just the 'AI has solved' part. Also Tao's long list of disclaimers github.com/teorth/erdos... (this isn't to take away from this, but to understand both how this worked, which tools were involved, what Tao finds interesting, etc)
AI contributions to Erdős problems
A community database for the problems on the erdosproblems.com site - teorth/erdosproblems
github.com
January 18, 2026 at 3:14 AM
It's very much worth reading the whole thing though, not just the 'AI has solved' part. Also Tao's long list of disclaimers github.com/teorth/erdos... (this isn't to take away from this, but to understand both how this worked, which tools were involved, what Tao finds interesting, etc)
A lot is now happening in that space. The "Pending assessment" section at the end of this page keeps growing, as new proposed full or partial solutions are added faster than experts can review them.
Most of those were done with GPT-5.4 or GPT-5.5. OpenAI seems to have a clear edge at math now.
Most of those were done with GPT-5.4 or GPT-5.5. OpenAI seems to have a clear edge at math now.
AI contributions to Erdős problems
A community database for the problems on the erdosproblems.com site - teorth/erdosproblems
github.com
April 28, 2026 at 4:55 PM
A lot is now happening in that space. The "Pending assessment" section at the end of this page keeps growing, as new proposed full or partial solutions are added faster than experts can review them.
Most of those were done with GPT-5.4 or GPT-5.5. OpenAI seems to have a clear edge at math now.
Most of those were done with GPT-5.4 or GPT-5.5. OpenAI seems to have a clear edge at math now.
Huge news in AI for math proofs: github.com/teorth/erdos...
AI contributions to Erdős problems
A community database for the problems on the erdosproblems.com site - teorth/erdosproblems
github.com
January 11, 2026 at 4:49 AM
Huge news in AI for math proofs: github.com/teorth/erdos...
Terry Tao keeps a list of Erdos problems that are agreed-upon by mathematicians to have been solved autonomously by Ai, and they're up to 16. Most of it very recent: github.com/teorth/erdos...
AI contributions to Erdős problems
A community database for the problems on the erdosproblems.com site - teorth/erdosproblems
github.com
May 9, 2026 at 2:02 PM
Terry Tao keeps a list of Erdos problems that are agreed-upon by mathematicians to have been solved autonomously by Ai, and they're up to 16. Most of it very recent: github.com/teorth/erdos...
www.scientificamerican.com/article/amat...
An amateur just solved a 60-year-old math problem—by asking AI. A ChatGPT AI has proved a conjecture with a method no human had thought of.
#Math #Maths #MathSky #iteachmath #Erdősproblems #primitivesetsofwholenumbers #Erdőssum
An amateur just solved a 60-year-old math problem—by asking AI. A ChatGPT AI has proved a conjecture with a method no human had thought of.
#Math #Maths #MathSky #iteachmath #Erdősproblems #primitivesetsofwholenumbers #Erdőssum
Even experts are surprised by AI’s latest ‘vibe-mathing’ advance
A ChatGPT AI has proved a conjecture with a method no human had thought of. Experts believe it may have further uses
www.scientificamerican.com
April 28, 2026 at 2:45 PM
www.scientificamerican.com/article/amat...
An amateur just solved a 60-year-old math problem—by asking AI. A ChatGPT AI has proved a conjecture with a method no human had thought of.
#Math #Maths #MathSky #iteachmath #Erdősproblems #primitivesetsofwholenumbers #Erdőssum
An amateur just solved a 60-year-old math problem—by asking AI. A ChatGPT AI has proved a conjecture with a method no human had thought of.
#Math #Maths #MathSky #iteachmath #Erdősproblems #primitivesetsofwholenumbers #Erdőssum
Additionally Erdos 124 is stated to have "Partial result (Lean)" by Aristotle and status is still marked as open. Apparently there was a problem with the problem description itself and the corrected version remains unsolved.
AI contributions to Erdős problems
A community database for the problems on the erdosproblems.com site - teorth/erdosproblems
github.com
January 22, 2026 at 10:53 PM
Additionally Erdos 124 is stated to have "Partial result (Lean)" by Aristotle and status is still marked as open. Apparently there was a problem with the problem description itself and the corrected version remains unsolved.
I put together capacityatlas.org, for channel-capacity problems and their known bounds. Ideally it becomes a forum for these problems!
Think erdosproblems/mathoverflow/formal-conjectures, but for information theory.
Still under development, I'd love contributions and feedback!
Think erdosproblems/mathoverflow/formal-conjectures, but for information theory.
Still under development, I'd love contributions and feedback!
Capacity Atlas
Channel-capacity problems and their known bounds
capacityatlas.org
September 15, 2026 at 10:09 PM
I put together capacityatlas.org, for channel-capacity problems and their known bounds. Ideally it becomes a forum for these problems!
Think erdosproblems/mathoverflow/formal-conjectures, but for information theory.
Still under development, I'd love contributions and feedback!
Think erdosproblems/mathoverflow/formal-conjectures, but for information theory.
Still under development, I'd love contributions and feedback!
Probably because most of its proofs turned out to be incomplete lol
AI contributions to Erdős problems
A community database for the problems on the erdosproblems.com site - teorth/erdosproblems
github.com
July 11, 2026 at 8:55 PM
Probably because most of its proofs turned out to be incomplete lol
Heel veel nieuwe ontwikkelingen rond Erdősproblemen: in 2025 zijn veel nieuwe bewijzen gevonden. Pure mensendenkkracht én AI-bewijzen. Mijn nieuwe artikel voor @nrc.nl #erdosproblems
www.nrc.nl/nieuws/2026/...
www.nrc.nl/nieuws/2026/...
De nalatenschap van deze Hongaarse wiskundige blijft sprankelen
Wiskunde: Sinds 2023 bestaat een – nog incompleet – overzicht van de meer dan duizend raadsels van Paul Erdös. Nu die online catalogus steeds meer bekendheid krijgt, volgen nieuwe oplossingen elkaar s...
www.nrc.nl
January 22, 2026 at 2:52 PM
Heel veel nieuwe ontwikkelingen rond Erdősproblemen: in 2025 zijn veel nieuwe bewijzen gevonden. Pure mensendenkkracht én AI-bewijzen. Mijn nieuwe artikel voor @nrc.nl #erdosproblems
www.nrc.nl/nieuws/2026/...
www.nrc.nl/nieuws/2026/...
So it's worthwhile thinking about all the other contributions made, some of which are more impressively complete than your example: github.com/teorth/erdos...
AI contributions to Erdős problems
A community database for the problems on the erdosproblems.com site - teorth/erdosproblems
github.com
June 1, 2026 at 10:49 AM
So it's worthwhile thinking about all the other contributions made, some of which are more impressively complete than your example: github.com/teorth/erdos...