Checked for new stories 24m ago

Updates on Kevin Buzzard

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

Pulled from 123 sources

This week

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

Forbes
AI Research6 min read

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

The Next Web
That's everything we have on Kevin Buzzard right now