AI Solves 20 Unsolved Math Problems Using Parallel Codex Instances

Researchers used 20 parallel instances of OpenAI's Codex AI model to solve 20 unsolved problems from the famous Erdős problem list. This demonstrates the potential of large language models to assist in mathematical research by generating novel proofs or solutions. The achievement highlights how AI can accelerate problem-solving in theoretical mathematics.

Sources (2)