OpenAI’s math agents have a proof to answer for
OpenAI has released a Lean-checked Navier–Stokes proof from a 10,000-agent system, bringing independent mathematical review and questions of credit into focus.
Frontier AI
Astra puts cyber controls in the release path
OpenAI says Astra has crossed its Critical cyber threshold, turning release access, monitoring and defensive-use limits into the main safety test.
Astra's ARC score depends on the harness
ARC Prize's Astra evaluation shows why frontier-agent scores need their harness, memory condition, action count and cost beside the headline number.
Gemini 3.8 Flash holds token prices as Cyber access stays limited
Google launched Gemini 3.8 Flash at the same introductory token prices as 3.7 Flash, while routing Gemini 3.8 Flash Cyber through a restricted defender program.
Claude Fable 5.1 ties coding gains to data custody
Anthropic's Claude Fable 5.1 launch links long-running coding claims, cheaper cache reads and customer-controlled monitoring data.
Gemini gives video analysis an agentic mode
Google has added agentic video understanding to Gemini, exposing targeted processing steps for developers handling longer video workloads.
Lyria 3.5 turns Gemini into a full-song tool
Google has opened Lyria 3.5 across Gemini and the Gemini API, pairing full-song controls with structured output and SynthID provenance.