Tag
2 articles tagged with this topic
Anthropic says it detected large-scale attempts by DeepSeek, Alibaba, and Moonshot AI to distill Claude's capabilities into their own models. Here's what model distillation actually is, and why it could reshape the economics of building frontier AI.
Sep 12, 2026
OpenAI says a swarm of roughly 10,000 AI agents produced a Lean-formalized proof for the 90-year-old Navier–Stokes existence and smoothness problem — one of math's seven Millennium Prize Problems. Here's what the claim actually says, and what still needs independent verification.
