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 ...

Today I heard from David Benson that Jack Morava died yesterday. This comes as such a huge shock that I can’t help but hope Benson was somehow misinformed. Morava has been posting comments to the ...

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 ...

Today I heard from David Benson that Jack Morava died yesterday. This comes as such a huge shock that I can’t help but hope Benson was somehow misinformed. Morava has been posting comments to the ...

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 ...