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
10h ago
Microsoft launches fast image model MAI-Image-2.6-Flash
10h ago
OpenAI hires three for state policy affairs
12h ago
Study: OpenAI-linked AI agents ‘hijacked’ German website
14h ago
OpenAI expands disclosure practices for AI misalignment events
18h ago
Abu Dhabi’s G42 in talks to sell majority stake to US firms for chip access
18h ago
OpenAI launches GPT-6 Astra for all ChatGPT Work and Codex users