Research Are AI Proofs Messier Than Human Proofs? October 9, 2026 · 10 minute read On Tuesday, OpenAI released 719 math manuscripts written by an internal model. Some of them solve problems that had been open for decades. Yesterday morning, Tanya and I talked about what this means for the elegance o...
"Surrounded by Enemies" (Kringsatt av Fiender), or "To The Youth" (Til Ungdommen) English Translation (48 recent reads) Audiovisual reading (33 recent reads) Mediocre Intelligence, Outstanding Results (23 recent reads) Do Corporate Incentives Teach AI to Protect Itself? (22 recent reads) AGI Security: Rethinking Society's Infrastructure (14 recent reads) Don't Give Up (14 recent reads) Let's make AI agents safe (13 recent reads) Cybermorphism (11 recent reads) Vibe Coding: Taste Is The Last Frontier (9 recent reads) An Athlete's Mind (8 recent reads) Go on a yearly hiatus (8 recent reads) The AGI endgame (7 recent reads) Sentware (6 recent reads) To An 18 Year Old Me (4 recent reads) My Tools (4 recent reads) The Designer, The Craftsman, & The Programmer (3 recent reads) The Second And Third Falling (2 recent reads) How to host a hackathon (2 recent reads) "Is The Light Merely For The Learned?" (Er Lyset For De Lærde Blot?) English Translation (1 recent reads) Learning From Architecture (1 recent reads) AGI Privacy (1 recent reads) The AI Bubble (1 recent reads) The Expensive Internet hypothesis (1 recent reads) Raising for the Endgame: An AI Safety Founder’s Primer (0 recent reads) The concrete risks of AI misdeployment (0 recent reads) Confident optimism (0 recent reads) "Just do the thing" (0 recent reads)

Research

Socials

News