AI Wire

Short briefings on models, tools, agents, and the rules that govern them.


English edition

Tools

Anthropic publishes FlashProve, a prototype for provable inference

Anthropic's page, dated 2 November 2026, introduces FlashProve. In one case, an H100 generates proofs at about 110 tokens per second. It is a research prototype, not a product.

Tools

Karpathy ships TristanTube, a filter of 47,000 videos

On 7 November 2026 Andrej Karpathy posted TristanTube, a filter built from Tristan Hume's YouTube tier list. The 47,000 count and the three-minute Claude Code claim are in the post, not in the page HTML this desk extracted.

Models

GPT-6 Cyber stays in Daybreak Red

OpenAI announced GPT-6 Cyber on 5 November 2026. Select Daybreak Red customers get it through the API and Codex. There is no public release.