In 2003, Disney opened an Epcot ride, "Mission: Space." Formally, it was a space sim that used a high-intensity centrifuge to simulate gee stress; practically, it was the most efficient machine ever created for surfacing undiagnosed heart defects in dramatic and potentially lethal ways. 1/

I really want someone to create a "Rate My Academic Job Ad" account please.

This is a hugely important declaration for mathematics. Go and read it!

Thread: Choose your fighter, UK cycle route edition. First up: Flat Road

resobscura.substack.com/p/are-vintag... Catching up on links, but this is fascinating. Training an LLM on pre-1930s (i.e. copyright free) texts and seeing what happens. The most interesting part is the conversational styles mimicking Victorian etiquette manuals.

While I am pleased that Burnham and Streeting are both talking approvingly of changing the voting system, it boggles the mind that both think this should be done /after/ another election.

Send your students to our master's course, it's excellent!

Good piece by Aronson on the "possibly last days of human relevance": scottaaronson.blog?p=9782 His students were understandably morose when news broke about the AI-result on the unit-distance conjecture.

Gone hiking with Val Plumwood. — ‘Feminism and the Mastery of Nature’

"Technology is not simply a tool. When it becomes the standard by which everything is judged, it begins to dictate what matters and what can be discarded, reducing creation to an object of exploitation and human beings to mere cogs in a system driven toward ever greater efficiency." - Pope Leo (92)

Anybody know what's going on with the Phil Sci Archive? Seems to have been down for days, with all links redirecting to the Pitt homepage.

I realize I'm very late to the party, but hear me out: Chidi Anagonye's character is commentary on the gap between what philosophy promises to be and what philosophy actually is. 1/

According to @altmetric.com metrics, 'ChatGPT is Bullshit' (link.springer.com/article/10.1...) is now the second-highest attention-receiving Philosophy article. With Alan Turing in fourth, one *may* suspect this tells us more about the rankings than actual impact. #PhilSky #PhilTech #Bullshit

not all AI is bad (the feature of Gmail that points out when you wrote "I've attached" and it points out you didn't attach anything)

Babe wake up, new Wykeham Professor of Logic just dropped

OpenAI's claim that this is a central conjecture in discrete geometry is not an exaggeration. This will I think be looked back on as the first time that AI solved a major mathematics problem (defined as a problem that all experts in some subfield had thought about). openai.com/index/model-...

My plea to those who are sceptical, in chapter 2 'Crying for the Moon', for letting analytic philosophy have a shot at making sense of the important, often disturbing, sometimes horrifying examples found in the epistemic injustice literature, despite...*gestures around at analytic philosophy*

Looking forward to my workshop on ethically compromised sporting events tomorrow: philevents.org/event/show/1... If anyone would like a Zoom link, send me an email. #PhilSport

New publication came out today. It's a short reply to a piece by Jimmy Alfonso Licon from me, @hikemix.bsky.social and James Humphries in Philosophy and Technology. link.springer.com/article/10.1... #PhilTech #LLMs #Bullshit

Finde den Fehler in der Prioritätensetzung der Berliner Landespolitik #ExzellenzinBruchbuden #berlin #SaveBrainCity #Insolvenzantrag @regberlin.bsky.social @tagesspiegel.de @tuberlin.bsky.social

Gut, dass ich eben nochmal die Blumen im Büro gegossen habe... #ExzellenzInBruchbuden - please share widely...

The Times whipping up readers into having a panic attack over a left-leaning politician saying the colour blue can’t enter a beauty pageant, tens of hundreds of fists pounding breakfast tables across the nation

The OfS v Sussex ruling took OfS three years to gather evidence. Yet, from the ruling, OfS would only speak with Sussex under the condition they admitted fault (so they didn’t), and the only evidence presented was an outdated statement on its website and testimony from Stock, which was porky pies

It is, unfathomably, 5 years since Katherine Hawley died today

Spectacular work.

Famous group of people debating the nature of soup:

My answer in the thread is that there is some work, but the important addendum: there should be loads more! This is the first time in ages that mathematicians are actually regularly confronted with philosophical questions that philosophers have something to say about.

Happy π citation day to me (3,141). The next one (31,415…) I will presumably not live to see (if indeed it is ever reached...)

Please tell me you played Something Something Soup Something en.wikipedia.org/wiki/Somethi...

Today I had my students discuss what makes soup soup. www.youtube.com/watch?v=Y1HV...

A long read about the state of AI and mathematics. davidbessis.substack.com/p/the-fall-o...

It's basically inevitable that AI's rise will lead to artistic movements celebrating the rejection of slop - that revel in creating things so novel that they could not be generated by models. And I'm completely here for it. www.youtube.com/watch?v=t7OI...

Logicians of BlueSky! Does anyone know how to overhaul a whole wikipedia article. The one for necessity and sufficiency is fundamentally wrong. en.wikipedia.org/wiki/Necessi...

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