Daily
- OpenAI publishes 722 AI-written math papers, claiming proofs of the quasi-Riemann hypothesis and Unique GamesOpenAI releases 722 manuscripts from an unreleased internal model, many checked in Lean, claiming results including the quasi-Riemann hypothesis and Khot's Unique Games Conjecture, Mistral opens a preview of Large 4, a 1T-parameter open-weight model with weights due this month, Anthropic lifts Claude's cyber blocks for verified defenders in three tiers, OpenAI launches a Decisions API for fast classification at $0.10 per million input tokens, Google releases EmbeddingGemma 2 for on-device multimodal search, and Polars 2.0 makes streaming the default.Tuesday, 6 October 2026