Anthropic Fable 5.2 Called Best AI Model by Far and is Pushing Engineering and Science Advancement
by Brian Wang from NextBigFuture.com on (#79N3D)
Anthropic's Fable 5.2 formalized Fermat's Last Theorem in just 30 hours - A team of approximately 1,000 AI agents coordinated to formalize an existing mathematical proof in Lean. - Completed the task in only 30 hours with minimal human intervention. - The previous system required 11 days for a comparable task. - Used approximately three ...