Hacker GitHub

← All repos

teorth/erdosproblems

View on GitHub ↗ ★ 878 Python

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

29 mentions on Hacker News by 23 people: 7 stories, 22 comments · first 2025-12-28 · latest 2026-09-04

Mentions per year 29 mentions · busiest year 2026 (27)
20082026
AllStoriesComments NewestTopOldest
  1. 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
  2. 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]
  3. #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
  4. …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
  5. …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
  6. 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
  7. …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
  8. …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
  9. 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
  10. …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]
  11. …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
  12. …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
  13. …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
  14. …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
  15. …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
  16. …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
  17. …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
  18. 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
  19. …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
  20. …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”
  21. …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”
  22. 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”