Radio 4: “Is there someone who’s made a real difference to your mental health?” *Starts preparing lengthy list* Wife: “No, I think they just want to hear about people who’ve made a positive difference.”

Show Post

He appeared in two of the greatest things the BBC did in the 20th century, both now on iPlayer, Tinker Tailor (his TV debut I believe) and I Claudius as Sejanus:

Show Post

What a giant of British culture he was. He enriched all of our lives, from playing Sejanus to being Picard on BBC Two to the stage to X-Men. We that are young shall never see so much, nor live so long.

Show Post

To me the most amazing thing is that this giant proof apparently was essentially correct.

Show Post

I am generally sceptical about the motivations of AI companies when it comes to maths research, but, as "gigantic un-readable-by-humans Lean verifications of existing results" go, the classification of finite simple groups seems by far the most worthwhile. axiommath.ai/research/the...

Show Post