Converting the proof of Fermat's last theorem into code that computers can check was expected to take years. Anthropic's Claude AI managed it in less than two weeks
Fermat’s last theorem formalised by AI agents in just 11 days
Original Source
This article was collected from: New Scientist
Gabeshana News automatically collects article information
from external RSS/Atom sources. The original article remains
available at the source website. Please visit the original
source for the complete article and the latest information.