From October 1 to 12 2026 I posted a series of short “episode” style X updates covering podcast interviews, experiments with large language models, and reflections on corporate politics. The recurring themes include AI‑generated mathematics, credit for AI‑written proofs, the economics of high‑value proofs, critiques of empire‑building in tech, and the shift from manual “meat proxy” work to autonomous model‑driven automation.
Scott Aaronson is one of the world's leading quantum computing researchers and spent two years at OpenAI working on AI safety.
OpenAI's $15 M Navier‑Stokes proof
Ethan Evans staffing request example: 25 marketing people, 5 PR people (1 per country).
Go back and bring me a sheet where the maximum size of any bucket of anything you're asking for is two or three people, and it says exactly what they're going to do.
The latest models (e.g. Opus 5.5, GPT 6) have made a ton of my glue work obsolete