3 ms·
At 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.
by ripped_britches 5mo ago
At 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.
- johntopia 5mo agothat's actually a brilliant idea
- abdullahkhalids 5mo agoThere 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 https://github.com/teorth/erdosproblems
- vessenes 5mo ago…and this problem was in fact sourced directly from that list!
- CSMastermind 5mo agoThat's literally what the Erdős problems are. This post is about one of them being solved.
- josefx 5mo agoExcept that Erdős problems are solved all the time, so many of them are already solved. Quite sure the last time I saw an article about an LLM solving an Erdős problem someone even tracked down a solution published by Erdős himself.
- 7373737373 5mo agoThis has existed for a few months, but there aren't any reports of (unsuccessful) attempts: https://github.com/google-deepmind/formal-conjectures https://github.com/google-deepmind/formal-conjectures