AINew Scientistabout 5 hours ago
AI tackles Fermat's last theorem
1 min read
Twenty-five researchers are formalizing Fermat's last theorem using AI models in a London workshop. Kevin Buzzard's five-year project aims to convert Andrew Wiles' 100-page proof into Lean code. After one day, the project's code doubled from 20,000 lines. The workshop burns thousands of pounds daily on AI tokens.
Level
Hype check
Tap to vote and see what everyone thinks.
