Margaret Hamilton, Apollo pioneer, dies & Aaronson on OpenAI's math dump - Hacker News (Oct 8, 2026)

Please support this podcast by checking out our sponsors: - SurveyMonkey, Using AI to surface insights faster and reduce manual analysis time - https://get.surveymonkey.com/tad - Lindy is your ultimate AI assistant that proactively manages your inbox - https://try.lindy.ai/tad - Invest Like the Pros with StockMVP - https://www.stock-mvp.com/?via=ron Support The Automated Daily directly: Buy me a coffee: https://buymeacoffee.com/theautomateddaily Today's topics: Margaret Hamilton, Apollo pioneer, dies - Margaret Hamilton, who led the Apollo flight software team at MIT, has died at 90. She helped make software engineering a formal discipline, and her priority-driven code helped Apollo 11 recover from the 1202 alarm during the Moon landing. Aaronson on OpenAI's math dump - Scott Aaronson calls OpenAI's release of hundreds of AI-generated math results a 'Mathocalypse.' The results include a claimed proof of the Unique Games Conjecture, but the proofs are hard for humans to read and still need verification. Lean proofs and autoformalisation limits - A new paper argues that Lean formal verification of AI-translated proofs can give false confidence. It says autoformalisation is extremely hard to get right and cites OpenAI's Navier-Stokes blow-up proof as a mismatch between the formal and natural-language versions. Terence Tao proposes Math 2.0 - Terence Tao warns that AI-driven problem solving could produce 'Math 2.0' breakthroughs that build little understanding or community. He calls for incentives that reward exposition, collaboration and new research directions. OpenAI rolls out GPT-6 - OpenAI is rolling out GPT-6 in ChatGPT with Intelligent UI, which mixes charts, forms and interactive tools into answers. The update also claims faster responses and stronger jailbreak resistance. Anthropic launches Claude Haiku 5.5 - Anthropic released Claude Haiku 5.5, a cheaper and faster small AI model for summaries, classification, browser use and coding subagents. It also halves cache-read pricing for Sonnet 5.5. BigWords turns screens into signs - BigWords.page is an open-source, privacy-friendly tool that turns any screen into a large sign, timer or slideshow. The content is stored entirely in a shareable URL, so there are no accounts and no server storage. ascii.rest animated ASCII art library - ascii.rest offers a library of animated ASCII art for websites. It covers retro terminal effects, charts, space scenes and generative visuals for developers and designers. Sof