AI solved the Erdos Problem...

Quick Overview

The exponential growth of AI capability, illustrated by a graph where AI intelligence rapidly surpasses average and even high human intelligence thresholds over time, is leading to AI models autonomously solving complex mathematical problems like those in the Erdos collection, resulting in new proofs and counterexamples that are being validated by leading mathematicians like Terence Tao.

Key Points: Terence Tao confirmed that AI tools passed a milestone by solving Erdos Problem #728 more or less autonomously after initial human feedback, with the result not replicated in existing literature. The proof for Erdos Problem #728 was generated by ChatGPT 5.2 Pro and formalized with Harmonic. Neel Somani reported a weekend win where his proof for Erdos Problem #397, generated by GPT 5.2 Pro and formalized with Harmonic, was accepted by Terence Tao. The video contrasts human progress (slow, linear improvement across industries like Finance, Logistics, and Advertising) with AI progress (exponential curve), suggesting AI will soon surpass even the highest human intelligence. The AI's capability is demonstrated by its ability to read every paper written, write proofs/code, and perform experiments 10x faster than humans, leading to new discoveries. The speaker highlights that AI-generated solutions are already achieving full solutions (Green dots) or partial solutions (Yellow dots) for previously open Erdos problems, and GPT-5.2 was involved in solving #728 and #397.

Context: The video discusses the accelerating capabilities of Artificial Intelligence, particularly in complex, abstract reasoning fields like mathematics, using the context of the Erdos problems—a collection of difficult, often unsolved mathematical challenges. The speaker references recent social media announcements, including posts by mathematician Terence Tao and researcher Neel Somani, detailing AI's role in solving problems previously considered out of reach for automation. The presentation relies heavily on a visual metaphor: an exponential curve representing AI progress rapidly overtaking human intelligence levels.