AI news, roughly super. A daily briefing from what the AI YouTube world actually said.

Tuesday, September 8, 2026

Coverage: 60 videos reviewed (0 partial or status unknown); videos under 45 s were not reviewed. Dates are UTC upload dates. Vendor claims are labelled as such.

New today

OpenAI said its internal system produced a Lean-verified Navier-Stokes blowup proof
OpenAI said on Sept. 7, 2026, according to presenter Fahd Mirza, that an internal AI system produced a Lean-verified proof that fluid can form a singularity, using about 10,000 agents that exchanged nearly 5 million messages over roughly 88 hours. A message shown on screen states existence of forced blowup in R3 and T3. NYU's Tristan Buckmaster said in an X thread, as read by the presenter, that OpenAI research lead Sebastian Bubeck told him an internal model had produced a roughly 100-page proof by the same narrow approach as his own work with an Anthropic-employed co-author. Buckmaster said he was offered a joint release or a write-up crediting the model. Buckmaster also said he asked whether the model had been trained on or had access to a private Codex session where he drafted the work, was told the model did not look up user data, and received no answer on training. The presenter relayed the claims; no independent verification appears in the video.

Creators report GPT-6 Astra in Codex built games, apps and edited video in single sessions
Several creators reported hands-on results with OpenAI's GPT-6 Astra, mostly through Codex, in videos uploaded Sept. 8, 2026. Julian Goldie said Astra with Blender MCP built a racing game in 7 minutes, later laggy, with a tunnel rebuild in about two minutes, and that it fixed Hermes Desktop voice mode in about 45 seconds from a screenshot. Nate Herk said Codex with Astra and Hyperframes cut a 65-second intro to 28 seconds in two iterations (about 18 and 10 minutes). Two Minute Papers' host said Astra wrote a ray tracer and reproduced a honey-coiling paper simulation as single-page HTML files, the latter in under an hour. The AI Advantage showed a city-management app said to be built by Astra without prompt or cost details. These are single-run, self-reported results. Goldie also said a month earlier he would have chosen Claude but now prefers ChatGPT/Codex, and noted the island game controls moved in only one direction. Julian Goldie's yi4Al__H5fU#0 repeats content from his livestream WwcLgc6gwj0.

Tencent released Hy4 Preview, a 770B-parameter open-weight model, per sponsored video
Tencent released Hy4 Preview, an open-weight mixture-of-experts model under Apache 2.0, according to the presenter of a sponsored AI Code King video. He said it has 770B total and 49B active parameters, a context over 1 million tokens, and weights on Hugging Face in BF16 and FP8. The presenter relayed vendor benchmarks of 92.3 on GPQA Diamond, 85.4 on Terminal Bench and 82.9 on SWE-bench multilingual, plus a Tencent internal blind evaluation (163 experts, 203 engineering tasks) scoring it 2.99 out of 4 against 2.94 for Kimi K3 and 2.92 for GLM 5.3. He said it trails Opus 5 and GPT 5.6 on most tasks. Tencent said the model helped optimize its own training pipeline, raising end-to-end throughput about 31.8% against its baseline. The presenter said the weights are about 1.8 TB in BF16 and need about 900 GB in FP8. Figures are vendor claims relayed secondhand.

OpenAI launched GPT Image 2.5 Sunburst and Flare in API, ChatGPT and Codex
OpenAI launched GPT Image 2.5 in two variants, Sunburst and Flare, available in the API, ChatGPT and Codex, according to its launch video. OpenAI described Sunburst as its most capable image model, with sharper detail, lighting and textures and better edit consistency, and Flare as the fastest. OpenAI said Flare is over 50% faster than GPT Image 2 at equal quality, a vendor claim without measurement shown. Both support transparent backgrounds.

Continuing stories

Also notable

Models & learning