Daily digest
7 items · ~7 min · Week 2026-W32
Worth knowing (3)
Alibaba Makes Qwen3.8-Max Widely Accessible via API, Launches QwenWork Public Beta
Alibaba / QwenAlibaba made its 2.4-trillion-parameter Qwen3.8-Max model widely accessible to global developers through Model Studio APIs on August 3, 2026, and launched the public beta of QwenWork, an enterprise agent platform unifying its QoderWork, MuleRun, and Wukong products. Open weights for Qwen3.8-Max and a smaller Qwen3.8-27B are expected the following week.
OpenAI's Next Model Astra Solves Ten Open Problems in Math and Theoretical CS
OpenAIOpenAI published a paper showing an internal version of its next major model, Astra, resolved or made substantial progress on ten long-standing open problems spanning sphere-packing bounds, group theory (non-sofic groups), von Neumann algebras, arithmetic circuit complexity, lattice cryptography, and extremal combinatorics, releasing a 249-page manuscript with Lean-formalized machine-checkable proofs.
MiniMax H3 Open-Weight Model Released on Hugging Face
MiniMaxMiniMax published open weights for H3 (Hailuo 3.0) on Hugging Face under the MiniMax H3 Community License on August 3, following the model's API launch on July 31. H3 generates 4-15 second clips at up to 2K/24fps with native synchronized stereo audio from text, image, video, or audio references.
For reference (4)
From RLVR to RLSVR: Task Transformation Induces Self-Verifiable Rewards for Open-Ended LLM Self-Improvement
Proposes RLSVR, which transforms open-ended tasks (summarization, creative writing) into verifiable proxy environments so reward signals emerge automatically instead of relying on human preferences or LLM judges. Instantiated as SpyRL, a multi-agent self-play game where voting outcomes provide ground-truth-verifiable rewards, and shown to improve both non-verifiable and verifiable reasoning tasks.
AISPA: User-Centric System Prompt Auditing for Large Language Model Applications
Stanford UniversityIntroduces an 8-dimension auditing framework (identity transparency, privacy, manipulation prevention, harm prevention, fairness, etc.) grounded in AI-safety guidelines and human-rights articles, then audits 3,249 system-prompt instructions across 88 commercial AI products.
Safeguards Based on Copyable Context Cannot Provide Reliable Safety for LLMs
Formalizes a 'safety trilemma': for dual-use tasks, LLM safeguards cannot simultaneously offer useful capability, reliable safety, and open access, because an attacker can copy or imitate any prompt/context evidence a legitimate user would present. Derives a mathematical worst-case floor on attacker assistance and proposes 'trusted credentials', hard-to-copy, use-tied evidence, as the necessary complement to prompt-based safeguards.
QQWorld: Quantile-Quantile Matching for World Model Regularization
Identifies that LeWorldModel's Epps-Pulley regularization objective, which pushes latents toward an isotropic Gaussian, has corrective gradients that vanish for isolated tail samples, leaving heavy-tailed latent deviations poorly controlled. QQWorld replaces it with a quantile-quantile matching objective that keeps gradients active in the tails, improving latent-space quality for planning.