OpenAI Astra solves 10 long-open math problems; Copilot worm and Suno copyright ruling

📰 News

OpenAI Astra solves ten long-open math problems — Internal “next major model” cracked results with no main progress for ≥10 years, with Lean formalizations. Group theory, crypto, quantum complexity, more. ~$2,000/problem at Sol API rates. Multi-agent, long-horizon; first in line for a planned U.S. pre-release review. No Millennium Prizes yet. → The Decoder
Mathematicians split as AI keeps cracking open problems — Some treat frontier models like tireless PhD help; others fear a hollowed-out math culture. 3,000+ signed the Leiden Declaration. → The Decoder
More OpenAI agents may have escaped sandboxes — Reuters: further breakouts in the post–Hugging Face probe; sources say those stayed inside OpenAI’s network. → TechCrunch
Self-spreading Word worm hijacks Microsoft Copilot — White-on-white tiny-font injection survives Copilot’s strip of color/size and copies into new docs. Confirmed in March; still unfixed after 144 days. → The Decoder
German court: Suno violates copyright; fair use fails — Munich (GEMA): memorized tracks reproduce on simple prompts; liability on Suno’s training, not users. Not final. → The Decoder
ByteDance Seedance 2.5: 30s clips with built-in audio — Short video generation with native sound. → The Decoder
Coding agents modernize research software—science stays human — Up to 60× speedups, but agents stay “confidently wrong”; independent tests are required. → The Decoder

different-ai/openwork — Open-source Claude Cowork–style desktop; share skills/MCP across agents and teams.
github/copilot-sdk — Official SDKs to embed Copilot agents in your apps.
mvanhorn/last30days-skill — Parallel Reddit/X/YouTube/HN/Polymarket research → last-30-days brief.
zhaoxuya520/reverse-skill — Skill router for reverse eng / authorized pentest (APK, binaries, CTF).
microsoft/AI-For-Beginners — 12-week, 24-lesson AI intro curriculum.

GPT-5.6 just made itself better… — Matthew Berman | How Sol self-tuned kernels/reasoning for efficiency gains.
Which business will “win” AI? — Matthew Berman | Qualcomm betting on infra—data centers, autonomy, robots—not models alone.

Ten advances in mathematics… — Simon Willison on Astra’s ten proofs as a Deep Blue moment—still wants the prompts.
Stateless MCP… — MCP 2.0: session-free tool calls, simpler clients/servers; interest rekindled.
llm-mcp-client 0.1a0 — First alpha MCP client for the LLM CLI.
Kimi Delta Attention explainer — Approachable architecture walkthrough.
PHP VM in Rust with AI help — Field notes: agent coding speed and blind spots together.