Hugging Face Blog
The Open R1 project released OpenR1-Math-220k, a dataset of 220,000 mathematical reasoning problems with verified solutions generated using DeepSeek R1 on 512 H100 GPUs. The dataset achieved 90.6% on MATH-500 and 36.7% on AIME 2024 when used to fine-tune Qwen-7B, matching performance of DeepSeek's official distilled model. The open-source pipeline enables the community to scale reasoning data generation beyond mathematics to other domains like code.
The daily briefing
TLDRocket reads 60+ sources, removes duplicate coverage, and summarises the day in two minutes. Free, no spam, unsubscribe anytime.
TLDRocket
21 July 2026
The open-weight AI model market hit an inflection point today as Alibaba and Kimi released trillion-parameter competitors that challenge the closed-model orthodoxy—just as Washington moved to restrict them. Alibaba's Qwen 3.8 Max (2.4 trillion parameters) and Kimi K3 (2.8T) are going open-weight, with K3 ranking first on Frontend Web App Arena and fourth on agentic benchmarks, signaling that scale and transparency can coexist. The timing matters: while U.S. policymakers weigh layered restrictions on Chinese open models, technical experts are pushing back hard, arguing that closed gardens actually hurt security and competition more than they help. The real fragmentation risk isn't technical—it's regulatory.
Read the full briefing →