It is wild to be doing philosophy of maths at a time where strange and new things are happening! This week "GPT-5.4 Pro (prompted by Price)" solved Erdős problem 1196, a conjecture of Erdős, Sárközy, and Szemerédi. www.erdosproblems.com/forum/thread...

It is wild to be doing philosophy of maths at a time where strange and new things are happening! This week "GPT-5.4 Pro (prompted by Price)" solved Erdős problem 1196, a conjecture of Erdős, Sárközy, and Szemerédi. www.erdosproblems.com/forum/thread...

In memory of Barbara Jaworski. blog.lboro.ac.uk/cmc/2026/04/...

A big new Quanta write-up of the current state of AI in maths. www.quantamagazine.org/the-ai-revol...

Seems a bit contrived to make ships spar with the pope before eliminating them.

And as I'm making my round in the supermarket, I see that <someone is making a mess>, bad philosophy papers strewn across the floor. I follow the trail of bad philosophy papers, I end up in the same place as I started, even more of a mess on the floor now. I realise <I am making a mess>.

A thread🧵about formalisation and the abc conjecture. A new Mochizuki paper was just posted! This one is unusually interesting, as it is about formalisation efforts for the abc conjecture "proof". www.kurims.kyoto-u.ac.jp/~motizuki/Fo...

The other paper is in Topoi on "Inferentialism meets Feminist Logic": rdcu.be/fcXUj I argue (very roughly summarized) that inferentialism can be informed by an approach of feminist logic in an interesting way 😊

A comic collaboration with Terence Tao. (How does he find the time???) www.smbc-comics.com/comic/sphere...

look I support NSF but I don’t think they should have been funding a decades-long chimpanzee civil war

A thread🧵about formalisation and the abc conjecture. A new Mochizuki paper was just posted! This one is unusually interesting, as it is about formalisation efforts for the abc conjecture "proof". www.kurims.kyoto-u.ac.jp/~motizuki/Fo...

must read about experimental philosophy

The Philosophy of Mathematical Practice finally has an SEP article! A major milestone by Silvia De Toffoli and Paolo Mancosu. plato.stanford.edu/entries/math...

If you want to listen to me talking about vibe mathematics for 10 minutes, now is your chance. youtu.be/vKmB8Zsm1JA?...

The Philosophy of Mathematical Practice finally has an SEP article! A major milestone by Silvia De Toffoli and Paolo Mancosu. plato.stanford.edu/entries/math...

If you want to listen to me talking about vibe mathematics for 10 minutes, now is your chance. youtu.be/vKmB8Zsm1JA?...

Und jetzt stelle man sich vor, wie gut die @tuberlin.bsky.social sein könnte, wenn es nicht 2,4 Mrd. € Sanierungsstau bei den Gebäuden gäbe, wenn sie funktionierende Toiletten hätte, wenn das Land sie in die Lage versetzte, Zusagen einzuhalten, um Leute zu gewinnen/halten... @regberlin.bsky.social

I don't think the public is ready for Avengers Doomsday to be set in 11th century England and see the Avengers survey every shire in England to list the new king's holdings and dues owed to him.

This event starts shortly, and our panel is tomorrow!

“That was the real thing.” “Plenty of logic.” “And so many symbols!” www.rudyrucker.com/completestor...

Next week I'll be speaking at the event "AI for Maths and Open Science" in Cambridge on "Vibe Formalisation and Slop Mathematics". It will be livestreamed, so anyone can watch it Tuesday afternoon. www.newton.ac.uk/event/ooew11/

A curious thread from Terence Tao comparing the impact of AI in maths to cars on cities. mathstodon.xyz/@tao/1162527...

While recently interviewing for a postdoc, I was asked a *really* good question that I recommend others steal: "Who are some people working in the area who you really agree or disagree with?"

You can tell roughly how well my 2026 is going from Spotify's recommendation that I am now into "Gloomcore".

Major changes afoot at Philosophia Mathematica, and applications open for a co-EiC and associate editors. academic.oup.com/philmat/page...

Major changes afoot at Philosophia Mathematica, and applications open for a co-EiC and associate editors. academic.oup.com/philmat/page...

This is a great read. " In his plan for the medal, Fields included a number of stipulations intended to avoid international rivalry, including that the medal not be named for any person or place." 🙃

Dear Shabana, Let's clear some things up around migration and remember we're talking about people's lives.

"Microsoft Products are too good to phase out in Europe" MS Office: Can't wordcount subsections, randomly switches to US English, miscorrects grammar, ...

📣 We are pleased to announce the call for nominations for the Lakatos Award 2027! Deadline: 1 September 2026. 📚 Submit in your nominations for the best monograph in the philosophy of science! More information: www.lse.ac.uk/philosophy/n... #PhilSci #Lakatos #LSEPhilosophy #Philosophy

"epistemic nightmare"!! 🚨 open.substack.com/pub/garymarc...

Call for Abstracts The British Society for the Theory of Knowledge invites contributions to its 2026 conference (Exeter College, University of Oxford, 2nd-4th 09 2026). bstk.org.uk/events.html Please submit abstracts (500 words, suitable for blind review) to [email protected] by April 30 2026.

"the fact that a neologism is sometimes decoupled from its theoretical underpinnings and is used colloquially is a feature, not a bug. [...] This is what it means for a term to enter the lexicon: it takes on a life of its own." pluralistic.net/2024/10/14/p...

I'm organising a workshop in Glasgow in May, about how people should respond to ethically tainted sporting events. I've just made a PhilEvents page. If you've got any questions about it, send me an email! philevents.org/event/show/1... #PhilSky #PhilosophyOfSport #Ethics #Boycotts

The real theorems are the proofs we made along the way.

Wake up, honey! A new extension to the "maths as journeying" metaphor just dropped.

I made a philosophy cryptic crossword for our postgrad reading party last week. A few people asked about it, so I shared it with @dailynous.com, and it's now available on the Heap of Links: dailynous.com/wp-content/u... So if you're a special kind of nerd, check it out! #PhilSky #CrypticCrossword

Discovered that Gmail abbreviates emails from me to "Fenner St. Tanswell". I didn't realise the process of the pope acknowledging my miracles was complete already. How time flies. Will acknowledge prayers by email, but give me a couple of weeks.

cant.stop.laughing

I've become the thing I hate; written a paper with a nice interdisciplinary-friendly start but with a last section so insider baseball that it has an audience of like 4 people

The Promptware Kill Chain Attacks against modern generative artificial intelligence (AI) large language models (LLMs) pose a real threat. Yet discussions around these attacks and their potential defenses are dangerously myopic. The dominant narrative focuses on "prompt injection," a set of…

Cory Doctorow shared our new paper about LLMs in Maths today in his daily newsletter, and I'm well chuffed. pluralistic.net/2026/02/13/k...

New paper! Joint work with @asgeirberg.bsky.social "The Philosophical Prospects of Large Language Models in the Future of Mathematics" Online now in the Annals of Mathematics and Philosophy: mxphi.com/wp-content/u... Please share it with anyone interested in LLMs and Mathematics! 🧵

hate when reverse centaur keeps happening

Go read our paper!

New paper! Joint work with @asgeirberg.bsky.social "The Philosophical Prospects of Large Language Models in the Future of Mathematics" Online now in the Annals of Mathematics and Philosophy: mxphi.com/wp-content/u... Please share it with anyone interested in LLMs and Mathematics! 🧵

The people who care most about brackets are logicians and people setting complicated running sessions

There's my next research rpoject!

Just adding a final passage to an experimental philosophy paper, and I thought I had stopped being upset years ago about the absurd chauvinism of anti-xphi philosophers claiming that we are the only people who actually understood concepts like "knowledge" and "justice". Turns out I'm still upset