Anthropic 'formalizes' Fermat's Last Theorem like never before using Claude — but it still took 11 days to write out

TechRadar
By Efosa UdinmwenSep 13, 2026, 11:15 am183 ptsTrendingTop
Claude turned a famous mathematical proof into millions of checkable code lines Anthropic says Claude completed years of expected work in 11 days The massive proof contains 13 million lines of Lean code Anthropic has used its Claude artificial intelligence system to produce a fully computer-checked version of a…

Read Article Share
Share Article
- email
- x.com
- facebook
- pocket
- reddit
- tumblr
- linkedin
- pinterest

Trending Today on Tech News Tube

In the Wild West of AI, Everybody Is Accusing Everybody Else of Theft

Gizmodo

In the Wild West of AI, Everybody Is Accusing Everybody Else of Theft 129

LG Responds to TV Spying Allegations

Slashdot

LG Responds to TV Spying Allegations 125

Flock Worker Calls Police On Reporter - For Filming Them in Public

Slashdot

Flock Worker Calls Police On Reporter - For Filming Them in Public 122

Why do routers have so many antennas?

Engadget

Why do routers have so many antennas? 120

Sanders proposes 20 year prison sentence for AI devs who plow ahead with Artificial Superintelligence plans — penalty on par with illegally developing rogue nuclear weapons

Tom's Hardware

Sanders proposes 20 year prison sentence for AI devs who plow ahead with Artificial Superintelligence plans — penalty on par with illegally developing rogue nuclear weapons 120

Waymo pulls over, calls cops on riders with a ghost gun

The Verge

Waymo pulls over, calls cops on riders with a ghost gun 118

Chinese military researchers and tech giants caught using Claude — US frontier model, coded 16 air-defense suppression tools targeting Taiwan, drafted anti-torpedo specs, and fed 151 million training queries to Alibaba

Tom's Hardware

Chinese military researchers and tech giants caught using Claude — US frontier model, coded 16 air-defense suppression tools targeting Taiwan, drafted anti-torpedo specs, and fed 151 million training queries to Alibaba 117

Sebastian Stan Talks Joining ‘The Batman Part II’ and DC

Gizmodo

Sebastian Stan Talks Joining ‘The Batman Part II’ and DC 116

About Tech News Tube

Tech News Tube is a real time news feed of the latest technology news headlines.

Follow all of the top tech sites in one place, on the web or your mobile device.

Featured

Microsoft is working with the American…

Microsoft is working with the American Federation of Teachers to work out how…

Trump’s former AI czar tells Anthropic…

Trump’s former AI czar tells Anthropic and OpenAI to slow down, and to stop…

Anthropic 'formalizes' Fermat's Last…

Anthropic 'formalizes' Fermat's Last Theorem like never before using Claude —…

How to watch Zverev vs Shelton: US Open…

How to watch Zverev vs Shelton: US Open 2026 Men's Final Live Streams for FREE,…

AMD’s best gaming CPU drops below…

AMD’s best gaming CPU drops below launch price and includes free 240mm AIO…

AirPods 5 Pre-Orders Go Live, While…

AirPods 5 Pre-Orders Go Live, While Older Models Reach Up to $100 Off This…

Anthropic CEO warns of AI-driven botnet…

Anthropic CEO warns of AI-driven botnet 'swarm' taking over the entire internet…

Never use harsh cleaning products to…

Never use harsh cleaning products to clean your smartphone — do this instead

Prusa CORE One+ INDX 8-Tool 3D printer…

Prusa CORE One+ INDX 8-Tool 3D printer review: This beast makes rival multicolor…

Intel revives One Mono font after brief…

Intel revives One Mono font after brief retirement during open-source purge —…