Frontier Line and access · benchmarks-evals
Anthropic uses Claude to formalize Fermat's Last Theorem in Lean
Anthropic announced that an internal model, using prove2.me, formalized a complete proof of Fermat’s Last Theorem in Lean.
Read the original at anthropic.comOpens the publisher's site in a new tabAlso covering this
Anthropic uses Claude to formalize proof of Fermat’s Last Theorem - SiliconANGLEanthropic.com, Sep 5Anthropic (@AnthropicAI) on Xanthropic.com, Sep 4
More in Frontier Line and access
Meta released Muse Spark 1.3, which it described as its most powerful large language model.Sep 1Abliteration.ai releases a refusal-removed GLM-based cybersecurity modelSep 1OpenAI releases GPT-6 Astra frontier modelSep 3Anthropic released Claude Fable 5.1 broadly and Claude Mythos 5.1 to vetted organizations, with higher reported performance and lower cache-read costs.Sep 1Google rolled out Gemini 3.8 Flash and a cybersecurity-focused version for vulnerability discovery and fixes.Sep 1