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

The deal on medicine imports will cost the NHS billions and take funding away from doctors, nurses, cancer scans and the rest, says Guardian columnist Aditya Chakrabortty

From classical painting to video games, this survey of the taboo and the twisted won’t let you look away

YouTube video by GORM THE OLD

Springer Nature has removed two studies by Max Planck. A bot may be to blame