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

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

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

I’ve just given you a dirty great hint as to what’s behind that provocative first title. For Axler, ‘done right’ means ‘done without determinants’. He claims that determinants should be delayed until ...

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.

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

Andreas Döring and Chris Isham, A topos foundation for theories of physics. Isham has been working on topos theory and physics for some time now, but he recently teamed up with Andreas Döring, an ...

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

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

Back to modal HoTT. If what was considered last time were all, one would wonder what the fuss was about. Now, there’s much that needs to be said about type dependency, types as propositions, sets, ...