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.

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

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.

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.

Sources: Kalshi is targeting a December rollout for exchange-traded futures contracts tracking US inflation, rivaling exchanges like CME and ICE (Greg Ritchie/Bloomberg)
https://www.bloomberg.com/news/articles/20

Greece's parliament passes a bill to ban social media platforms for children under 15 from 2027 and gives companies two months to verify users' ages (Angeliki Koutantou/Reuters)
https://www.reuters.com/legal/litigation/greece-pass…

OpenAI makes Decisions API, its Jev competitor, generally available with new voice and visual modalities, at $0.10/1M input tokens and no output-token charges (Tim Fernholz/TechCrunch)
https://techcrunch.com/2026/10/22/open

OpenAI makes its Jev competitor widely available as decision model competition heats up | TechCrunch
OpenAI is launching its decision model to the world. Can it compete with the original Jev?

Source: Shein has agreed to pay $100M, equivalent to 44% of its Q2 profit, to settle a US FTC investigation over delivery delays and other customer complaints (Reuters)
https://www.reuters.com/business/retail-co…

Sources: Anthropic and London-based PE firm Hg agree to launch a consultancy by the end of 2026 to embed AI consultants and engineers into European businesses (Financial Times)
https://www.ft.com/content/df70bf20-e809-48d0-8485-f8f514a7fbc4

Pathos AI, which uses AI to develop oncology drugs, raised a $237M Series E at a $3B post-money valuation, up from a $1.6B valuation in May 2025 (Katherine Davis/Axios)
https://www.axios.com/pro/biotech-deals/2026/10/23/pathos-ai-raises-237m-3b-valuation…

Pathos AI says it raised $237M at $3B valuation
The round values Pathos AI at $3B.