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

September 5, 2026 · New Scientist

US envoys to visit Russia, Ukraine with plan 'to end war'
Jared Kushner and Steve Witkoff are set to travel to Russia and Ukraine to revive peace talks. The trip would be the pai
Aussie prodigy Myers snares prestigious title
Cameron Myers is crowned the men's 1500m champion of the Diamond League season after kicking to victory in Brussels.
US economy adds 162,000 jobs in August
Welcome to The Hill’s Business & Economy newsletter {beacon} Business & Economy Business & Economy The Big Story Augu
ShrekOS in two diagrams: giving an agent exactly one folder and one hostname
This is a companion map to my Building ShrekOS series. If you have read Part 2, you have the argument already. This post
Wonderkid will replace Alexander Isak, he can't stop scoring
An exciting wonderkid looks destined to replace Alexander Isak. The Swede may end up justifying his massive transfer fee