Tag
OpenAI's AI models have solved multiple famous Erdős problems, including the unit distance conjecture, prompting mathematicians to reconsider how AI is transforming mathematical research.
VibeMathed is a website that tracks mathematical problems solved with AI assistance, particularly Erdős problems, with verification status and references to AI models used.
Researchers used 20 parallel Codex accounts to solve 20 Erdős problems, including a formal proof of Erdős problem #123 in number theory using Lean.
GPT-5.6 Sol Ultra has solved another Erdős problem (#793) with an extremely short and elegant construction, enhancing the original method used by Erdős.
Matt Parker's video explores recent cases where AI, including ChatGPT, helped solve open Erdős problems in mathematics, highlighting a new era of AI-assisted mathematical discovery.
Thomas Bloom provides an expository blog post on recent counterexamples to the Erdős unit distance conjecture and sum-product conjecture over the reals, including an OpenAI-assisted disproof of the unit distance conjecture and a collaborative disproof of the sum-product conjecture, sketching the constructions and intuition behind them.
Demis Hassabis comments that solving Erdos problems does not constitute true invention, offering a perspective on the nature of AI creativity and problem-solving.
Since the start of 2026, AI has completely solved at least 10 Erdős problems at an overwhelming speed, and if new solutions are included, it reaches 19, which is regarded as the 'Spinning Jenny' of mathematical research.
Google DeepMind's AI agent autonomously solved 9 of 353 open Erdős problems in mathematics at a cost of a few hundred dollars per problem.