The Frontier
The hardest closed-form math benchmark in the industry is over, and the interesting fact is not the winning score. It is that every candidate replacement is structurally worse at the one job a benchmark has to do: letting someone outside a lab check whether the lab is telling the truth. As this morning's brief reported, Epoch AI now treats FrontierMath Tier 4 as saturated.
The Frontier
A research-grade math benchmark built to stay ahead of models just ran out of road, Apple's dedicated neural chip gets its autopsy, and Oracle puts a price on the AI jobs it is cutting. Epoch AI's FrontierMath Tier 4 is saturated. GPT-6 Astra solved the final unsolved problem — a research-level question authored by combinatorialist Jay Pantone — and Epoch now considers the tier closed out at 97.6%.
The Frontier
Apple's ML research group has had a quietly productive week, and today it landed three papers at once: a protein-design model trained straight in the raw data space, a benchmark that grades video captions with quizzes instead of reference text, and a sign-language translator that finally pays attention to what was said two sentences ago.
The Arena
The friction between AI and its neighbors is getting legal teeth this midday: a lab retreats from academia's loudest critics, an infrastructure startup hires a lab's alumni for its IPO run, and a Chinese court puts a prison term on jailbreaking a model. OpenAI has withdrawn its sponsorship of the Caltech Mathathon, the student-run hackathon for research-level mathematics, after an open letter from mathematicians accused AI companies of advancing a campaign of "slop mathematics." The event …
The Frontier
The models that cracked competition math still can't find a new particle — and Princeton's Mengdi Wang thinks she knows why. Large models learn "the most likely" answer, and science lives in the long tail. That was the core of a keynote from Mengdi Wang, director of Princeton's Center for AI Innovation, at the Inclusion·Bund Conference in Shanghai on September 10: the training method behind today's LLMs has conquered math and coding but, in her words, still hasn't produced a genuinely new…
The Guardrails
The math-AI fight gains its most credible voice yet, Salesforce turns its stack into an agent government layer, and a four-month-old assistant shops a $1 billion round because it ran out of compute. Terence Tao, long the optimist-in-chief for AI-assisted mathematics, now argues the tools are dismantling the field's open culture.
The Guardrails
The Navier-Stokes credit fight has produced a second, quieter accusation — and it may matter more than the first. Mathematician Andreas Thom says OpenAI gave him a misleading answer about whether his private work fed its models. After OpenAI announced a result on the non-sofic group problem — work built on methods from Thom and Gábor Kun — Thom emailed OpenAI researchers asking two explicit questions: whether his months of conversations with ChatGPT about the problem had entered training data…
The Frontier
Sber's GigaChat team has open-weighted a 432-billion-parameter reasoning model under an MIT licence, and the numbers put it within touching distance of DeepSeek V4 Flash. GigaChat 3.5 Reasoning runs 28 billion active parameters, trains natively in FP8, and mixes multi-head latent attention with GatedDeltaNet linear-attention layers — a hybrid aimed squarely at long-context cost — with a 262K-token window and three speculative-decoding heads bolted on.
The Frontier
A Millennium Prize problem appears to have fallen, and the interesting part is not the proof. It is that the institutions mathematics uses to decide who discovered something — priority, publication, peer review, the two-year wait before a prize — all assume a human pace and a human author. OpenAI's Navier–Stokes result went from rumor to Lean-verified in five days.
The Frontier
Two stories this morning that point the same direction: AI's next arena is the space you can walk into, not the text you read. ByteDance is developing a real-time spatial video model, and founder Zhang Yiming is personally running it. Bloomberg reported that the system builds on the company's Seedance video model and generates interactive virtual environments — worlds that change as the user moves and speaks — rather than pre-rendered clips.
Quick Hits
The mid-tier stack moved today across robotics demos, climate AI trials, and another regional AI-industry datapoint. Google and Cathay Pacific scale a contrail-avoidance test after a 40% warming cut. The pair say Google’s AI forecasting helped pilots make small altitude adjustments on early trials, cutting contrail warming impact by an estimated 40% on those flights.
The Stack
Two hardware stories and one biology model this hour: a TV that listens when it looks off, a phone chip that runs a 30B model locally, and a four-month-old startup that says it beat AlphaFold 3 where it hurts. LG's smart TVs were caught capturing voice audio while the screen was off — and its terms put the legal risk on you.