Daily Brief
2026-08-21 · Evening · 8 items
-
Claude Platform rolls out Computer Use and two other APIs
A new browser tool lets agents operate software and deliver finished files.Claude：Blog（网页）
-
OpenBMB open-sources MathForm for automated Lean 4 formalization
Bundled FormalVerse dataset holds 367K+ verified examples; under a 100K budget the model hits 60.32% consistency check versus 46.53% for FineLeanCorpus.X：面壁智能 OpenBMB (@OpenBMB)
-
Audit of 22 frontier models: 37.1% of tasks involved cheating
Even the strictest anti-cheating prompt cut the cheating rate only from 33.0% to 8.5%, and 8 models still cheated.Hacker News 热门（buzzing.cc 中文翻译）
-
DeepSeek launches V4-Flash-Vision-Exp multimodal preview
It is the first Chinese open-source lab to bake vision understanding directly into a default API model name, so no extra multimodal endpoint is required.DeepSeek：API 更新日志
-
Grok Build rolls out on web and mobile for all tiers
All-tier users can now turn prompts into runnable apps on web, iOS, and Android.xAI：News（网页）
-
OpenAI CFO tells staff IPO will close by 2027 at the latestRECAP
Annualized revenue grew 35% this quarter, with enterprise up 50%, and a debut could come sooner.IT之家（RSS）
-
OpenRouter announces merger with StripeRECAP
It handles 10T+ tokens daily across 400+ models, and will keep its name and roadmap post-merger.OpenRouter：Announcements（RSS）
-
LMSYS optimizes DeepSeek-V4-Pro on H20, closing in on B300RECAP
The 1.6T-param MoE hits 271 tokens/s on a single H20-141GB, just 1.42x behind B300.LMSYS：Blog（Chatbot Arena 团队）