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.
reply…and this problem was in fact sourced directly from that list!
replyThat's literally what the Erdős problems are. This post is about one of them being solved.
replyExcept 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.
replythat's actually a brilliant idea
reply