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

> **Open Intelligence Dossier** · First detected: 2026-09-05 17:07 UTC · Category: World

## Executive Summary
5 news sources are covering this World story right now — PULSE is tracking how fast it spreads.

## Intelligence Brief
"AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof Ever" is generating significant coverage in the World category, with 5 articles from 5 distinct sources tracked by PULSE so far.


Outlets currently covering the story include Inshorts, siliconangle.com, New Scientist and Anthropic. PULSE measures a story's velocity from how quickly new articles appear and how many independent newsrooms join the coverage.


This brief was generated by PULSE's extractive engine from coverage metadata only. The latest headlines from every source are listed below; the velocity chart shows how the story is developing in real time.

## Multi-Source Evidence Table
| Source Outlet | Headline | Verification URL |
|---|---|---|
| Inshorts | Claude formalises Fermat's Last Theorem in 11 days, task that would take humans yrs - The proof totals over 13 million lines of code - Inshorts | [Source Link](https://news.google.com/rss/articles/CBMixAFBVV95cUxPeXZ2MUg0cVN1Qm42TE5hY1lIRGZpSzFMWVY2endSckZkaURlU1FZZnExZHhoTW0teE5HQUFnak8yczVOTGpaSFNSd3pxeTI0WUg1XzhmMTFkYnNnS1o0cDB4blZRTHRjMmpaVmQ1VG9aYkJPNGNTS19TdTlSRWVvRlVXQ0hfd051V3hoWGZ0a2NZVWJBdm9jTllMM1dldjB3X3lxNTBYbzVWTFhjc2MyYW5HTlA2NXQ4QVptNVltMS1WQkxj0gHKAUFVX3lxTE04SkxETDFrT01KVmVkejdod29RWno3aVNGRUdKclZIWElLOU85SFlhNkFrek53dy1pQkM0bDlsOTRRQjhBVXFIUTNBcVBfd3pLd05ZSG5lNGRDenQ0TTk2TW45MUtDVmJxUEZ4RWJGeGxCeDZmOXJ6eXNEUVY4Qm9mS2JjVlNjZlZUYko2UzB) |
| siliconangle.com | Anthropic uses Claude to formalize proof of Fermat’s Last Theorem | [Source Link](https://news.google.com/rss/articles/CBMiowFBVV95cUxPdHlVV291X1I1V29yODdTUUY5ZnR6TERyTk5zZ1hpOF9CZW9YY2FYQjMtdHRTZzRZYzhVLV9hall1V2FQRVc0YjNRVmFnYmZuci1pTXctT2F1Q1RaYlJiWlppRFZ2aXRHdWNfb0MtV01lblA4SzFjMTh5azdlRHhadThwaWN2V0FHZlpiWnVvRkU5Nkw1WDNHRHdaY1NsZXk0eHQ0?oc=5) |
| New Scientist | Fermat’s last theorem formalised by AI agents in just 11 days | [Source Link](https://news.google.com/rss/articles/CBMiqgFBVV95cUxQNnpPUTdPQThobWktNXR4eERZb3NUbWNES2NKdGdWMy1MQWpReHcwSzdsSzFfank0RjJOLTJKaDgzZXFPdFVTMjVjRUpfRW9rNUFtV3l1Smd4WEx5MkZOSVJ2cVUzZlRkSEp4ZWw4QXVNdkZRSlhQNkllaW52NkpicndjSHF6ckR6QzlyNWFWTTJjZlFKUUtpX0pyY3JJQlc0SVVhXzdYRDZSQQ?oc=5) |
| Anthropic | Formalizing Fermat's Last Theorem | [Source Link](https://news.google.com/rss/articles/CBMidkFVX3lxTFAyWFpGbGlCLVpoN2ZBUGs1UUZNSXJDaHNZNWZoV0g1RFVLc3BKbi1Nc2xVUWZ6SWZPR2JsanI3X1BIb25vZURqckE0Q1ltM1U3RnZXRkR1STVYei1VQ00tenotVjhNS0FfV2lIQ25WTXY5VlRPamc?oc=5) |
| Decrypt | AI Just Solved a 350-Year-Old Math Problem By Writing the Longest Proof Ever | [Source Link](https://news.google.com/rss/articles/CBMibkFVX3lxTFAwZWRpa3dLN2dJNjc2Nld5cjg1ME9XSlU4UlpzRDE0b3FKOVNTSHlLOWcyanlPdWg4VGc3NHpBX0VXZzZ4aW5TWjhHa0JaMW5neU14VERBX01ibktvbTRBTm9UUFBTV0ZnRHVRbzFB0gF2QVVfeXFMTTRSdDdEQmwwdVNWSVJmVnBwV1lCaDdxclBLMzYxbnpheHA5cVlaT0x6NTh5TF96ZGwxeWdReVdxYkwzWHIxYTJVNXNfSExfZ2dENUV6SmN2Q0hiUWVjSFdLeWpROU1rQmRJc2cyMjU3YW9KV0dzdw?oc=5) |

---
*Canonical Source: https://pulse.byoviral.com/trend/2026-09-05/ai-just-solved-a-350-year-old-math-problem-by-writing-the-longest-proof-ever*