Responsible Release of AI-Generated Mathematics September 29, 2026 Back to main page Download PDF At present, some frontier AI labs are testing advanced mathematical problems on proprietary models …

Martin Hairer Professor of Pure Mathematics at EPFL and Imperial College London There has been a lot of speculation regarding the “Advisory Group on Mathematics and Artifical Intelligence&#82…

When I was around 11 I heard for the first time about Fermat’s Last Theorem. I was immediately captivated by the problem statement, as well as by the accompanying story, and made a fairly ser…

I guess technically it was revealed to the world by a coffee shop in Islington on Insta, but an hour later it was officially announced by Anthropic: one of their internal models, using the prove2.m…

For the sake of anyone who might read this blog post in the distant future (a month from now, say), let me mention that I am writing it a few days after OpenAI announced that it had solved ten majo…

An OpenAI model solved the 80-year-old unit distance problem, disproving a major conjecture in discrete geometry and marking a milestone in AI-driven mathematics.

An Artin-Tits group is a group with a finite set of generators $latex a_1,\dots a_k$ in which every relation is of the form $latex (ab)^r=(ba)^r$ or $latex (ab)^ra=(ba)^rb$ for some positive intege…

YouTube video by SAIR

Wealthy countries should triple funds for countries to tackle climate impacts, but deforestation and critical minerals blocked from final deal

YouTube video by Collège de France

CO2 in air hit new high last year, with scientists concerned natural land and ocean carbon sinks are weakening

Comment on UK Government announcement of Gatwick Airport expansion by Professor Kevin Anderson and Dr. Lois Pennington, of Tyndall Centre, University of

Miles Pickering says crowd at protest over Palestine Action ban was laughing at ‘silliness’ of scene as he was detained

YouTube video by Timothy Gowers

YouTube video by Timothy Gowers

YouTube video by Timothy Gowers

A new point in history has been reached, entomologists say, as climate-led species’ collapse moves up the food chain even in supposedly protected regions free of pesticides

The results of the election rerun could alter the future of the country, which is suffering under political divisions

For the first time, the growth in China’s clean power generation has caused the nation’s carbon dioxide (CO2) emissions to fall despite rapid power demand growth.

Former PM says she wants to protect free speech after being ‘cut off at the knees’ by ‘the elite’ while at No 10

Transport secretary Heidi Alexander grants consent to London’s fourth-biggest airport to allow potential 32m passengers a year