Updated
Updated
AIOpenAI reportedly posted solutions to 90 of the top 500 open math problems, using an average of three hours of Pro-level compute per question. Anthropic released Claude Haiku 5.5 at $0.10 input and $0.50 output per million tokens, and the author says Jay Clayton was named AI Czar to head a new taskforce.
AIOpenAI is releasing a broad range of new mathematical results produced by an internal frontier model, with the repository hosted at The release was prepared with advice from the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study. The main post itself only comments on the humor of the repository's name.
AIGuillermo Rauch argues that the future is verification engineering, spanning proofs, end-to-end tests, benchmarks, and linters. He expects some of these tests to be deterministic and others agentic, and he says the approach looks great. The quoted post introduces e2e, an open-source agentic testing framework that mixes deterministic and agentic APIs and runs locally or in CI.
AICloudflare has open-sourced Clef and Clef-Flash, its first homegrown decision models, now available on Workers AI. Harrison Chase praised the release as an open-weights entrant and argued that agent harnesses should be able to swap their decision model as easily as their main model.
AIThomas Dohmke argues Europe must commit to global, model-agnostic open-source collaboration to catch up in the AI era. He says that approach would let a breakthrough in Beirut benefit Berlin, linking to a Vox piece on Chinese open-weight AI models such as Kimi and DeepSeek.
AIJeremy Howard says Xiaomi's MiMo v2.5 model appears to offer very good value, with per-prompt cost shown after each answer. His test context includes more than 40k tokens of tool descriptions, a system prompt, and skills.