AI · 2h ago
AI cracks 35-year-old math problem, finds unexpected term
An AI system called Theo Conjecture solved a 35-year-old unsolved math conjecture, identifying a term no mathematician predicted. The system used a novel approach to explore combinatorial spaces, achieving a result that had stumped researchers for decades. This marks a significant milestone in AI-driven mathematical discovery.
Meridian48 take
While impressive, the result is narrow — it's one problem solved, not a general breakthrough — but it shows AI's growing role in formal reasoning.
Read the full reporting
Theo Conjecture solves 35-year-old math problem, finds a term no one predicted →
Hacker News
ai-mathematicstheorem-proving