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

Why Mathematics is Boring I don’t really think mathematics is boring. I hope you don’t either. But I can’t count the number of times I’ve launched into reading a math paper, dewy-eyed and eager to ...

In this year’s edition of the Adjoint School we covered the paper Triangulations, orientals, and skew monoidal categories by Stephen Lack and Ross Street, in which the authors construct a concrete ...

Part of what intrigues me about reading Terence Tao’s blog is that he displays there a different aesthetic to the one largely admired here. The best effort to capture this difference is, I believe, ...

Faster-than-light neutrinos? Boring… let’s see something really revolutionary. Edward Nelson, a math professor at Princeton, is writing a book called Elements in which he claims to prove the ...

My friend the combinatorist Bill Schmitt breezed through Paris recently, taking a train back from Hopf-in-Lux with Paul-André Melliès, and spending a day here before going home to DC. We had some time ...

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

Announcing the Clowder Project: a wiki and reference work for category theory built using the same general infrastructure and tag system of the Stacks Project.

A while back Gina asked why computer scientists should be interested in categories. Maybe you categorical computer scientists out there have your own favorite answers to this? I’d be glad to hear them ...

Vaughan Pratt asked me some questions about the physics FAQ on light mills. I’ve become quite puzzled. So, it’s time to revive the long-dormant thread on ‘ gnarly issues in physics ’.

One of the main things you can do with a measure is integrate with respect to it — or ‘against’ it, as they say. So: what happens if you try to integrate against the Euler characteristic? I don’t ...