---
title: "Fermat’s last theorem formalised by AI agents in just 11 days"
date: 2026-09-05
source: http://www.bing.com/news/apiclick.aspx?ref=FexRss&aid=&tid=6a9bfede728a4eed963b158f596eec4f&url=https%3a%2f%2fwww.newscientist.com%2farticle%2f2587839-fermats-last-theorem-formalised-by-ai-agents-in-just-11-days%2f&c=3532156592698149628&mkt=en-us
description: "Converting the proof of Fermat's last theorem into code that computers can check was expected to take years – Anthropic's Claude AI managed it in less than two weeks ..."
---

# Fermat’s last theorem formalised by AI agents in just 11 days

Converting the proof of Fermat's last theorem into code that computers can check was expected to take years – Anthropic's Claude AI managed it in less than two weeks ...

*Published: 2026-09-05*