Tootfinder

Anthropic says it partnered with Theorem to use Claude to formally prove security properties at the assembly level across 100 real-world open-source libraries (Anthropic)
https://www.anthropic.com/research/formal-verification

LLMs are making formal software verification feasible at a much larger scale
Claude formally proved security properties in the compiled code of 123 open-source libraries. Along the way, it found bugs that had eluded detection for years.

Amazon rebrands Kindle Unlimited as Kindle and expands access to audiobooks, including titles narrated by AI (Maria Diaz/ZDNET)
https://www.zdnet.com/tech/kindle-unlimited-kindle-plus-audiobooks-ai/

Amazon's Kindle Unlimited is now Kindle+, and the 2 big changes include AI audiobooks - ZDNET
Unlike narrated audiobooks from Audible and other providers, the audiobooks created with Virtual Voice in Kindle+ will instead be narrated by AI.

An interview with Intel's leadership, including CTO Pushkar Ranade, on AI chip demand, lessons from 10nm, whether Intel can catch up to TSMC, Terafab, and more (Dwarkesh Patel/Dwarkesh Podcast)
https://www.dwarkesh.com/p/intel-tour

An interview with Ondřej Surý, a volunteer who maintains PHP and automates its patches, about his role in fixing two critical PHP security vulnerabilities (Charlie Warzel/The Atlantic)
h…

The Man Who Saved the Internet Yesterday
Ondřej Surý was a relatively anonymous volunteer working on PHP security. Then the internet exploded.

Microsoft says its GPT-5-powered Diagnostic Orchestrator uses agents that mimic panels of experts to diagnose conditions up to 4x more accurately than doctors (Robert Hart/The Verge)
https://www.theverge.com/ai-artificial-int

Microsoft says its AI tool is better than doctors at diagnosing conditions
In new research, Microsoft’s AI tool diagnosed medical cases up to four times more accurately than human physicians.

US Treasury proposes rules tightening restrictions on US investments in areas including AI and supercomputing in China, Russia, and other "countries of concern" (Associated Press)
https://apnews.com/article/treasury-china-tech-invest…

Sources: SoftBank's SB Energy is considering going public in December or possibly waiting until next year as it monitors Anthropic's IPO, expected next month (The Information)
https://www.theinformation.com/articles/sb-energy-considers-waiting-d…

SB Energy Considers Waiting Until December or Later for an IPO
SB Energy, the SoftBank Group–controlled developer of a massive planned Ohio data center project for OpenAI, is considering going public in December or possibly waiting until next year, according to people familiar with the discussions. That is a later timeline than previously expected. The data ...

Anthropic donates the Agent Skills open standard to the Agentic AI Foundation and says 70 platforms have integrated it, after donating MCP to the AAIF in 2025 (Anthropic)
https://www.anthropic.com/news/donating-agent-skills-to-the-agentic-ai-foundation

Donating Agent Skills to the Agentic AI Foundation
We’re donating Agent Skills, the open standard that gives AI agents specialized knowledge and workflows, to the Agentic AI Foundation. More than 70 agent platforms, including ChatGPT, Cursor, GitHub Copilot, and VS Code, have integrated Agent Skills since we published the standard in December 2025.

Chinese state media: DeepSeek and MiniMax completed registration and won approval to open-source and deploy AI models overseas under proposed export controls (Bloomberg)
https://www.bloomberg.com/news/articles/2026-10-23/deepse…

The Browser Company plans to shut down its Arc browser on December 22, as it shifts attention to the AI-focused Dia browser (Jay Peters/The Verge)
https://www.theverge.com/tech/1016832/arc-browser-shutting-down

Arc browser is shutting down
The Browser Company is sunsetting the Arc browser, which will stop working on macOS and PC on December 22nd.