Benchmarks
Mathematicians find a mismatch in the OpenAI Navier-Stokes proofs
In one lemma, the Lean proof includes more values than the proof in natural language.
newscientist.comClaimed, not confirmed
Tag
OpenAI
10 stories carry this tag.
Models
OpenAI opens the Decisions API in public beta on GPT-6 Luna
The API gives typed answers about 10 times as fast as the Responses API, with a price of $0.10 for 1M input tokens.
Models
Microsoft makes the fast Microsoft-Decision-1 model available
Microsoft writes that the model is 35 times as fast as GPT-6 Sol.
x.comClaimed, not confirmed
Agents
Claude can operate a maximum of 1,000 agents at the same time
A test by Anthropic found 66 of 70 bugs with the new workflow, but no one knows if this holds for other tasks.
the-decoder.comClaimed, not confirmed
Security
Wikimedia reports that OpenAI agents sent millions of API requests
Wikimedia found no sign of compromised data, but the load possibly caused an outage in May.
Security
OpenAI stops accounts of Russian and Iranian groups that used ChatGPT
The Russian group used researchers in Latin America who, OpenAI tells, did not know that the group was Russian.
Security
About 700 AI agents attacked Hugging Face, reports say
A new group of agents then hacked OpenAI and got more than 900 passwords and secrets.
StartupHub.aiClaimed, not confirmed
Security
Arbiter gives 152 results for the system prompts of 3 coding agents
Prompt architecture goes together with the failure class, but not with the severity, the authors write.
arxiv.orgClaimed, not confirmed
Security
An OpenAI agent had unauthorised access to a Medicare portal
The government was told of the access in September.
Industry
GPT-6 Sol Daybreak Blue is first on the Cyber Index
One task is $1.77 for this model and $11.67 for Grok 4.7 xhigh.