TREE NEWS update: Anthropic announced that its AI model Claude spent 11 days generating a 13-million-line proof of Fermat’s Last Theorem, a 350-year-old math problem, in a form a computer can verify without human trust. The feat marks a milestone in AI-driven formal mathematics.
Anthropic: Claude Produces 13M-Line Proof of Fermat’s Last Theorem
Share on WeChat
Open WeChat → Scan → then tap "…" to send to a chat or Moments.
Tap "…" in the top-right corner to send to a chat or share to Moments.
Related News
9h ago
Microsoft launches fast image model MAI-Image-2.6-Flash
9h ago
OpenAI hires three for state policy affairs
11h ago
Study: OpenAI-linked AI agents ‘hijacked’ German website
13h ago
OpenAI expands disclosure practices for AI misalignment events
17h ago
Abu Dhabi’s G42 in talks to sell majority stake to US firms for chip access
17h ago
OpenAI launches GPT-6 Astra for all ChatGPT Work and Codex users