Ground Truth.
AI, checked against the source.
← 2026-09-072026-09-08later →

OpenAI says an internal model resolved the Navier-Stokes Millennium Problem

2026-09-08

OpenAI published a proof, produced by about 10,000 coordinated AI agents over 88 hours, that three-dimensional fluid flow can break down in finite time, and released a machine-checked Lean formalization alongside it.

openai · mathematics · ai-agents · millennium-prize · formal-verification · lean

Buckmaster says OpenAI asked him to drop his Anthropic coauthor

2026-09-08

NYU mathematician Tristan Buckmaster published a signed account alleging OpenAI pressed him to remove his collaborator from authorship and told him going public would ruin his career; OpenAI's Sebastien Bubeck called the allegations false and inflammatory.

openai · anthropic · research-integrity · mathematics · credit · academia

Terence Tao calls the AI-assisted fluid blowup proofs a breakthrough

2026-09-08

A day before OpenAI announced its Navier-Stokes result, Terence Tao wrote that the new AI-assisted proofs of finite-time blowup for three fluid equations are a breakthrough with a high likelihood of extending to Navier-Stokes.

mathematics · terence-tao · ai-for-science · formal-verification · lean · fluid-dynamics

Google says attackers have moved from prompting to autonomous AI agents

2026-09-08

Google's threat intelligence team documented a financially motivated attacker that used an AI coding chatbot and a set of agent instructions to plan, build and run a mass credential-harvesting campaign end to end in under six hours.

cybersecurity · ai-security · ai-agents · threat-intelligence · credential-theft · prompt-injection

Attackers sent more than 100 million prompts to copy Google's models

2026-09-08

Google reported coordinated campaigns exceeding 100 million prompts aimed at systematically extracting its models' strongest capabilities, alongside theft of AI API credentials and hijacking of victim cloud accounts to run unauthorized AI workloads.

cybersecurity · model-extraction · ai-security · supply-chain · distillation · ai-agents

Mistral raises 3 billion euros with a European state on the cap table

2026-09-08

Mistral AI raised 3 billion euros at a 21 billion euro post-money valuation in a round led by Samsung Electronics, with the Grand Duchy of Luxembourg among the investors and sovereignty as the organising pitch.

mistral · funding · europe · open-weights · sovereignty · industry

DeepMind precomputed every single-letter change in human DNA

2026-09-08

Google DeepMind released AlphaGenome Atlas, a free one-petabyte database giving predicted molecular effects for all 9 billion possible single-letter changes to the human genome, and says it is not approved for any clinical use.

deepmind · genomics · alphagenome · ai-for-science · biology · health

The AI 2027 authors graded their own forecast at about 75% speed

2026-09-08

The authors of the AI 2027 scenario compared every quantitative prediction that has resolved against reality and found the world running at roughly three-quarters of their projected pace, a result one of them said surprised him in a bad way.

forecasting · ai-safety · agi · ai-2027 · governance · predictions

OpenAI ships ChatGPT Images 2.5 with a drawing tool

2026-09-08

OpenAI released ChatGPT Images 2.5, cutting image generation latency by up to half against the previous version and adding Sketch, which lets users draw directly in ChatGPT as a reference for a generated image.

openai · image-generation · chatgpt · product · api

LibreOffice had its biggest launch week and says no AI is a feature

2026-09-08

LibreOffice 26.8 was downloaded 1,031,162 times in its first seven days, the best opening week in the project's history, and The Document Foundation followed up by describing the absence of AI features as a deliberate position.

open-source · libreoffice · ai-backlash · privacy · local-first · desktop

← 2026-09-072026-09-08later →