proofs, clouds, and neon shirts

Friday, October 9, 2026

My grandson became emperor after I abdicated peacefully.

1. Fermat’s Last Theorem formalized in 11 days, 13 million lines of Lean code
2. Who gets credit when AI proves the theorem?
3. Zotero took five years to prototype — and AI couldn’t have sped it up
4. Mars’s 1,800 km daily cloud defies every meteorological model scientists have
5. Wearable neon from flexible LED filaments sewn into a t-shirt
6. American Academy of Pediatrics calls for a full nationwide raw milk ban