teorth/erdosproblems on Hacker News

What does this mean? There are 1217 problems that Erdos proposed, 595 of which are open: https://github.com/teorth/erdosproblems Unlike traditional benchmarks, it's difficult to overfit your models to produce flattering results to unsolved…

comment by at1as · 2026-09-04 · in OpenAI's GPT-6 Astra on ARC-AGI-3

▲ 1

A community database for the problems on the erdosproblems.com site

story by duck · 2026-08-27 · 0 comments

Very good question I can only answer for one subset tracked by Terence Tao https://github.com/teorth/erdosproblems

comment by singularity2001 · 2026-07-11 · in GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]

#326 solved https://github.com/teorth/erdosproblems/wiki/AI-contribution...

comment by cma · 2026-05-22 · in An OpenAI model has disproved a central conjecture in discrete geometry

…person? It doesn't, because here is the project wiki addressing BOTH of these relevant points. https://github.com/teorth/erdosproblems/wiki/How-have-AI-com... https://github.com/teorth/erdosproblems/wiki/AI-contribution... What I raised is…

comment by robot-wrangler · 2026-05-10 · in A recent experience with ChatGPT 5.5 Pro

…do you think one just solves dozens of Erdős problems with the " most common textual sequence ": https://github.com/teorth/erdosproblems/wiki/AI-contribution...

comment by frozenseven · 2026-05-06 · in Three Inverse Laws of AI

Mandatory disclaimers https://github.com/teorth/erdosproblems/wiki/Disclaimers-and...

comment by utopiah · 2026-04-26 · in Amateur armed with ChatGPT solves an Erdős problem

…Tao and other mathematicians [1] who are actively using LLMs to try to find solutions to them. [1] https://github.com/teorth/erdosproblems

comment by abdullahkhalids · 2026-04-26 · in Amateur armed with ChatGPT solves an Erdős problem

…better list of progress on a number of open math problems, with plenty of caveats and exposition: https://github.com/teorth/erdosproblems/wiki/AI-contribution...

comment by qnleigh · 2026-03-24 · in Epoch confirms GPT5.4 Pro solved a frontier math open problem

FWIW https://github.com/teorth/erdosproblems/wiki/AI-contribution... in particular the disclaimers are very interesting.

comment by utopiah · 2026-03-24 · in Epoch confirms GPT5.4 Pro solved a frontier math open problem

…things like assisting preeminent computer scientists (the topic of discussion) and mathematicians ( https://github.com/teorth/erdosproblems/wiki/AI-contribution... ).

comment by Philpax · 2026-03-03 · in Claude's Cycles [pdf]

…the previous version of the text, which was then fixed by a human author. Fwiw, wiki Section 2(d): https://github.com/teorth/erdosproblems/wiki/AI-contribution...

comment by mncharity · 2026-02-24 · in ChatGPT finds an error in Terence Tao's math research

…LLMs are a major factor in a tiny minority of these mostly-not-very-interesting proofs: https://github.com/teorth/erdosproblems/wiki/AI-contribution ..." The thing about spin and AI hype (besides being trivially easy to write) is that is…

comment by D-Machine · 2026-02-14 · in GPT-5.2 derives a new result in theoretical physics

…medalist Terence Tao, who maintains this list showing that, yes, LLMs have driven these proofs: https://github.com/teorth/erdosproblems/wiki/AI-contribution...

comment by square_usual · 2026-02-13 · in GPT-5.2 derives a new result in theoretical physics

…or a very similar problem was solved in literature. But one or two solutions are quite novel. https://github.com/teorth/erdosproblems/wiki/AI-contribution... may be useful

comment by Davidzheng · 2026-02-13 · in GPT-5.2 derives a new result in theoretical physics

▲ 1

AI Contributions to Erdős Problems

story by fdeage · 2026-01-18 · 0 comments

…of which are "low hanging fruit" that are very suitable for being attacked by current AI tools.>> https://github.com/teorth/erdosproblems/wiki/AI-contribution...

comment by utopiah · 2026-01-18 · in Erdos 281 solved with ChatGPT 5.2 Pro

…2 of Terence Tao's wiki[2]. [1] - https://www.erdosproblems.com/forum/thread/281#post-3325 [2] - https://github.com/teorth/erdosproblems/wiki/AI-contribution...

comment by xeeeeeeeeeeenu · 2026-01-18 · in Erdos 281 solved with ChatGPT 5.2 Pro

…work on the problem, this suggests that the problem may be of the second category.) from here: https://github.com/teorth/erdosproblems/wiki/AI-contribution...

comment by doctoboggan · 2026-01-18 · in Erdos 281 solved with ChatGPT 5.2 Pro

Also the very fact that https://github.com/teorth/erdosproblems/wiki/AI-contribution... exist totally change the landscape. Because it's public it's safe to assume it's part of the input dataset so from now on, how does one evaluate the…

comment by utopiah · 2026-01-17 · in Claude is good at assembling blocks, but still falls apart at creating them

…multiple mathematicians report that GPT-5.2 is a major improvement in proof-writing, e.g. [2] [1] https://github.com/teorth/erdosproblems/wiki/AI-contribution... [2] https://x.com/AcerFur/status/1999314476320063546

comment by bakkoting · 2026-01-16 · in Claude is good at assembling blocks, but still falls apart at creating them

…co. are doing wonderful work in this area. I'd encourage everyone to bookmark the following link: https://github.com/teorth/erdosproblems/wiki/AI-contribution... It's a rapidly evolving story and I expect H1 2026 to bring much clarity on…

comment by frozenseven · 2026-01-11 · in “Erdos problem #728 was solved more or less autonomously by AI”

▲ 2

AI Contributions to Erdős Problems

story by ColinWright · 2026-01-10 · 0 comments

…I quickly read through the thread but found that Tao's page on Github to be easier to comprehend, https://github.com/teorth/erdosproblems/wiki/AI-contribution... It classifies the advancements based on the level of AI input. In particular,…

comment by kittikitti · 2026-01-10 · in “Erdos problem #728 was solved more or less autonomously by AI”

For context, Terence Tao started a wiki page titled “AI contributions to Erdős problems”: https://github.com/teorth/erdosproblems/wiki/AI-contribution... (as mentioned in an earlier post https://mathstodon.xyz/@tao/115818402639190439 ) —…

comment by svat · 2026-01-10 · in “Erdos problem #728 was solved more or less autonomously by AI”

▲ 1

Terence Tao's list of AI contributions to Erdős problems

story by nomilk · 2026-01-09 · 0 comments

▲ 1

AI Contributions to Erdős Problems

story by ColinWright · 2026-01-04 · 1 comment

▲ 3

AI Contributions to Erdős Problems

story by tzury · 2025-12-29 · 0 comments

▲ 4

Terence Tao: AI contributions to Erdős problems

story by frozenseven · 2025-12-28 · 0 comments