AI & Machine Learning

Zhipu's GLM-5.2 ships under an MIT license as a frontier coding alternative just after the US barred foreign nationals from Anthropic's Fable 5 and Mythos 5.

A new MIT CSAIL inference method has a model inspect its prompt in a Python REPL and recursively call itself over snippets, processing inputs beyond its context window.

A DeepMind preprint reports an LLM-and-Lean agent that autonomously solved 9 of 353 open Erdős problems and proved 44 of 492 OEIS conjectures for a few hundred dollars each.

Moonshot AI released Kimi K2.7-Code, an open-weight 1-trillion-parameter MoE coding model under a Modified MIT License, claiming roughly 30% lower thinking-token usage than K2.6 on self-run benchmarks.

Sanofi will license Owkin's K Pro platform for five years and co-develop autonomous AI agents for drug R&D, extending a partnership that began in 2021 and made Owkin a unicorn.

Anthropic launched Claude Fable 5 on June 9, a public version of its restricted Mythos model that falls back to Opus 4.8 on high-risk topics in under 5% of sessions.

Microsoft unveiled seven proprietary MAI models led by the 35B-active reasoning model MAI-Thinking-1, all trained from scratch without distillation as it reduces its dependence on OpenAI.

A Center for Democracy & Technology study built a taxonomy of 37 manipulative design patterns it found across major AI chatbots and companion apps.

The vendor-neutral foundation will partner with FinOps to extend the FOCUS billing spec to AI token spend, backed by 12 enterprises.

An ICLR paper from MIT CSAIL and Harvard shows Monte Carlo inference helps Llama 4 Scout outpace GPT-5 at a Battleship test bed for around 1% of its cost.

The 550-billion-parameter model activates 55 billion parameters per token, ships under the Linux Foundation's OpenMDW-1.1 license, and trades blows with China's Kimi-K2.6 on coding benchmarks.

OpenAI is extending Codex into finance and legal work, weeks after Anthropic expanded Claude for Legal with 12 plugins and 20-plus integrations.