Alpha Factory · AI Laboratory

Frontier lab desk

Auto-aggregated research, news, and blog links from Anthropic, OpenAI, DeepMind, Hugging Face, and arXiv. Open anything into Alpha Factory intake when a paper becomes a signal.

STATUS · LIVEITEMS · 20SYNC · 2026-09-20Alpha Factory →Ask Copilot →
researchAnthropic ResearchnewsAnthropic News
Anthropicresearch

ScienceSep 4, 2026Formalizing Fermat's Last Theorem We are sharing the first complete computer-checked proof of Fermat’s Last Theorem. Claude worked largely autonomously over 11 days to write the proof in the Lean programming language.

ScienceSep 4, 2026Formalizing Fermat's Last Theorem We are sharing the first complete computer-checked proof of Fermat’s Last Theorem. Claude worked largely autonomously over 11 days to write the proof in the Lean programming language.