The Mathematical Intelligencer -

This is a rough outline syllabus for the class I am teaching this semester at the University of Notre Dame on the philosophy and logic of games. University of Notre Dame        …

The Mathematical Intelligencer -

[This is a guest post by Emily Riehl. This blog post was initially written in a different file format and converted using AI. — T.] Like many mathematicians, I was drawn to the field as a lit…

This conference will be about the various implications of AI-based proving and autoformalisation for mathematics. Examples include the recently (claimed) major breakthrough in solving the Navier-Stoke...

With AI we have built genies. Old stories told us how this goes.

The Philosophical Prospects of Large Language Models in the Future of Mathematics — Fenner Stanley Tanswell, Ásgeir Berg

Communitarian accounts of semantic content have been widely rejected in the literature on the rule-following paradox and related issues—for good reason. In this paper, I offer a game-theoretic account...

The Millennium Prize Problems were unveiled by the Clay Mathematics Institute (CMI) at a meeting in Paris in 2000 to celebrate “The Universality of Mathematical Thought”. These problems encapsulate so...

193 likes, 7 comments - coffeezeeholloway on September 4, 2026: "The bloke who sits in here every day, trying to prove a theorem he says that AI has beaten him to it.".

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…

A few years ago I saw a friend give an experimental philosophy talk at a departmental seminar. During the Q&A, someone in the audience asked the question all of us in experimental philosophy have lear...