AINewsnow

Formalizing Fermat's Last Theorem

This story is from 2026-09-04. It is preserved in the archive; the latest stories are on the live feed.

https://xenaproject.wordpress.com/2026/09/04/flt-anthropic-h... Comments URL: https://news.ycombinator.com/item?id=49568506 Points: 743 # Comments: 479

Read the full story at Hacker News Front Page ↗

Timeline · 2 reports

  1. 2026-09-04 18:50 · AlphaSignal
    Anthropic's Claude Formally Proved Fermat's Last Theorem in 11 Days
  2. 2026-09-04 18:42 · Hacker News Front Page
    Formalizing Fermat's Last Theorem

More stories

  1. AI's role in building AI surging? Anthropic says Claude now leads 26% of its R&D — Mint AI
  2. Claude, Anthropic’s AI model, is helping to develop the next version of itself — Fast Company AI
  3. AI skills — r/AI_Agents
  4. we made a 27b model for creative writing. performs as good as claude fable 5, at a 40x cheaper price, open weights. — r/GeminiAI
  5. Anthropic selects Accenture as first embedded evaluator to help implement Amodei's slowdown proposal — CNBC Technology
  6. Bolt Adds DeepSeek V4.1 Flash at 10x Cheaper Than V4 Pro — AlphaSignal
  7. OpenAI ‘ethically hacked’ with help of Anthropic’s Claude chatbot — The Guardian AI
  8. How To Use Ai and create those videos — r/aivideo

Get the daily brief of stories like this at 6:30 every morning →