Updates on Kevin Buzzard

Every AI story we track on Kevin Buzzard: 2 stories so far, each summarized in our own words and linked to the publisher that reported it.

Pulled from 125 sources

This month

Claude Formalized Fermat’s Last Theorem In 11 Days On 6 Billion Output Tokens

ForbesSep 7

AI Research6 min read

The man paid to prove Fermat by hand says Claude did it in 11 days

The Next WebSep 6

That's everything we have on Kevin Buzzard right now