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

September 5, 2026 · New Scientist

Eskom announces a 14-hour power outage in Limpopo on Sunday
Eskom has confirmed a planned power outage affecting several areas in the Vhembe region of Limpopo this weekend.
Lindsay Clancy case ends in a mistrial
A mistrial has been declared after mother Lindsay Clancy was charged with three counts of murder over the deaths of her
Frances Tiafoe looks dominant in third-round rout at US Open with huge test coming
The Big Foe Show must go on.
TCU does an about-face after stripping local newspaper's credentials days before football season
TCU Athletics restored press credentials to the Fort Worth Star-Telegram days after pulling them over a report about Jac
Colorado man who was free on bond in wife's alleged killing is jailed after hit-and-run
A Colorado man who had been free on $3 million bond in his wife's death has been arrested after prosecutors allege he go