Mathstodon

Attached: 1 imageI decided to convert one of the points in my ICM 2026 slides https://teorth.github.io/tao-web/slides/age-of-ai-icm-2026.pdf into a meme format.

So. For the past few days I've been deep in a fun and very rewarding, but also extremely scary debugging saga. To cut a long git-bisecting story short:Since Linux 6.9 (May 2024), the tool that locks the laptop's drive on suspend had been silently failing.

Sending my best wishes for the future to the team behind Mikan.I don't necessarily agree with every single choice made here, but I find that their approach is based on a love for Agda and respect for its users.I am very sad that this kind of quality-contr

Someone read the article about me in Quanta and asked me to submit an article to this year's UN Human Development Report, which will be about climate change. Now I have a draft. It may or may not get accepted, but I learned a lot from writing it. Here's t

The current and projected impact of AI and formalization on the practice of mathematics is analogous to the impact that the automobile had on the evolution of cities. Before the introduction of the automobile, city streets were narrow and optimized for hu

The arXiv is separating from Cornell University, and is hiring a CEO, who will be paid roughly $300,000/year:https://jobs.chronicle.com/job/37961678/chief-executive-officerThey say:"After decades of productive partnership with Cornell University, and with

This experiment (authored by several well-known mathematicians) revives an archaic practice (last seen in the era of Gauss) of posting encrypted proofs before revealing them: https://arxiv.org/abs/2602.05192 . Here, the challenge is to see whether 10 rese

Attached: 3 imagesTwelve years. I started this project twelve years ago, and today I hold the result in my hand. It's a book that combines bead weaving with math called,

Attached: 1 imageSome 20-sided dice from Ptolemaic Egypt. In the Met. Oh yeah, I'm in New York today.