OpenAI's Math Flood Meets Verification Limits as Withdrawals Begin — Oct 9

Podcast: The Harness · Jamiepluscoffee

Opublikowano: 2026-10-09

OpenAI's batch of 719 AI-generated math manuscripts is drawing fire, with three withdrawn and Lean formalization covering only about 42 percent. Anthropic is turning gated cyber capability into a partner-delivered defense program with a free open-source scanner, while Google pitches an agentic Gemini that lets businesses pick Claude as the model. Also covered: vendor-reported cheap agent monitors from Goodfire, and why Arena's new funding and OpenRouter share data both need a commercial caveat.