alt Hacker NewsAt this point we should make a GitHub repo with a huge list of unsolved “dry lab” problems and spin up a harness to try and solve them all every new release.
Replies
CSMastermind • today at 4:56 AM
That's literally what the Erdős problems are. This post is about one of them being solved.
➕ show 1 reply
johntopia • today at 3:51 AM
that's actually a brilliant idea
There is in fact just such a repo maintained by Terence Tao and other mathematicians [1] who are actively using LLMs to try to find solutions to them.
[1] https://github.com/teorth/erdosproblems