AI Solves 350-Year-Old Math Problem With Longest Proof Ever

Artificial Intelligence cracks centuries-old mathematical challenge

An artificial intelligence system has solved a 350-year-old mathematics problem by writing the longest proof ever created for that problem.

Key details of the breakthrough

• The problem being solved is approximately 350 years old.
• The proof generated is described as the longest ever produced for this specific problem.
• The achievement marks a significant milestone in the use of AI for complex mathematical reasoning.

Why this matters for math and computing

This development shows that AI can now handle high-level, abstract tasks that were previously the exclusive domain of human mathematicians. Solving problems that have remained open for centuries demonstrates increased capability in logical reasoning and proof generation.

The result is not just about solving one old problem; it suggests that AI may soon assist with other longstanding mathematical challenges that have resisted traditional methods.

What is confirmed

• An AI system successfully addressed a 350-year-old math problem.
• The resulting proof is the longest ever written for this problem.

What is still unclear

The source material does not specify the exact name of the mathematical problem, the specific AI system used, or the exact length of the proof in pages or tokens.

Source

• Decrypt