By combining scientific world models and mathematical proofs we will aim to construct a ‘gatekeeper’, an AI system tasked with understanding and reducing the risks of other AI agents. In doing so ...

August 2025's Entries Safeguarded AI Meeting This week, 50 category theorists and software engineers working on “safeguarded AI” are meeting in Bristol. (BT) Diversity from (LC) Diversity Jack Morava ...

Did you know that Lawvere did classified work on arms control in the 1960s, back when he was writing his thesis? Did you know that the French government offered him a job in military intelligence? The ...

I’d like to share here a personal project which might be of interest to the readers of this blog: the Clowder Project. Clowder is a wiki and reference work for category theory built using the same ...

This week, 50 category theorists and software engineers working on “ safeguarded AI ” are meeting in Bristol. They’re being funded by £59 million from ARIA, the UK’s Advanced Research and Invention ...

Kevin Coulembier has come out with a paper claiming to prove some conjectures that Todd Trimble, Joe Moeller and I made in 2-Rig extensions and the splitting principle: Kevin Coulembier, Invertible ...