AI Briefing#fermat-last-theorem
The latest AI and developer news about #fermat-last-theorem, with the original source and a short summary.
The latest AI and developer news about #fermat-last-theorem, with the original source and a short summary.
The 30-hour proof used about a third of the action tokens and was roughly 7x shorter than the 11-day September run.
Anthropic has published the first fully mechanically verified proof of Fermat's Last Theorem using Claude.