---
title: "AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof Ever"
url: https://thecoingazette.com/ai-just-solved-a-350-year-old-math-problem-by-writing-the-longest-proof-ever/
date: 2026-09-05
modified: 2026-09-05
lang: en
author: "Coin Gazette Editorial"
description: "Anthropic says Claude spent 11 days turning Fermat's Last Theorem into 13 million lines of code a computer can check itself, no human trust required"
categories:
  - "Artificial Intelligence"
word_count: 25
---

# AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof Ever

Anthropic says Claude spent 11 days turning Fermat's Last Theorem into 13 million lines of code a computer can check itself, no human trust required