Mathematician uses GPT-3 to tackle Erdős problems in parallel

Colin Snyder ran 20 Codex instances concurrently to work through unsolved math problems from Paul Erdős's famous list. It's a straightforward experiment in applying AI to pure mathematics—useful primarily as a proof-of-concept for how LLMs might assist with formal problem-solving rather than a breakthrough in the problems themselves.