Wednesday AI Roundup: Proof Is the Bottleneck

OpenAI claims three proofs, Claude verifies 123 libraries, IBM links quantum chips, OpenAI eyes Google TPUs, and Genie 4 simulates worlds. chrisabraham.net/2026/10/a…