The Frontier
Cost set the tone as the week closed: DeepSeek refreshed its Flash line at a fraction of the frontier's price per task, Blackstone wants more than 10 percent to help finance Anthropic's chip purchases, and the semiconductor week ended with memory stocks in free fall. Models & Research * DeepSeek's V4.1-Flash-1017 does coding and agent work for under 20 cents a task.
The Arena
A day that split neatly in two: the frontier labs spent it proving things nobody could check (a 26-year-old cryptographic mystery, a proof its own author didn't understand) while the rest of the industry argued about money — an IPO valuation that just got cheaper, founders who sold $3.3 billion of stock, and $137 million of synthetic election ads. Models & Research * Claude solved a 26-year-old cryptography mystery in under half an hour, and the answer was timestamps.
The Arena
A day the money wobbled: Barclays told clients enterprise AI isn't showing up in the hardware numbers yet, Dell dropped 11%, and the same questions followed OpenAI into eight state courthouses and two EU probes. Meanwhile a 35B model learned to run on a phone, and the biggest Starlink story of the day was about who actually controls it. Models & Research * A 35B model now runs offline on a phone in about 3GB of memory.
The Frontier
A day that belonged to mathematics and money: two separate AI systems pushed through problems humans had stalled on for decades, while chip chiefs, bond desks and finance ministers argued about who pays for the next buildout. Models & Research * GPT-6 Astra closes out a 57-year circle-packing problem.
The Arena
A day where the boring machinery took center stage: proof checkers, order books, warehouses and the humble text message — plus fresh arguments about who gets to declare any of it safe. Models & Research * Mathematicians get a reliability primer for the Lean Theorem Prover. A guest post by Thomas Hales on Terence Tao's blog walks through what Lean actually guarantees — and devotes itself to the "Summer of Soundness Bugs," the string of kernel bugs found this summer that let false proofs…
The Arena
A day of pushback and product moves: mathematicians told OpenAI to stay out of their field, Anthropic rewrote the rules for treating Claude, and the leaderboard business showed it can pay. Models & Research * Mathematicians call for an OpenAI boycott. The Association for Human Mathematics published a statement urging researchers to stop working with the company after OpenAI dumped hundreds of AI-generated proofs, calling the release "not a demonstration of scholarship, but a demonstration…
The Arena
OpenAI and Anthropic traded headline launches earlier today, both covered as they landed; the rest of October 7 was about where AI actually runs — on your laptop, inside the rack, across the domain registry — and what else shows up on those machines, up to and including malware taking orders from a poem. Models & Research * A 12-model panel found that Chinese models are the biggest conformists.
The Arena
A day of second-order moves: the labs are buying task data from software vendors instead of scraping the web, Waymo is borrowing to fund the robot world, and the biggest bank in the US just put a number on what Anthropic's latest model cost it in risk. Models & Research * OpenAI is training GPT-6 Astra on Ironclad's real contracting work.
The Arena
The day the ecosystem stopped pretending everyone is a partner: Meta and Microsoft quietly cut their Claude budgets, Washington gave AI policy a new name, and New York City put lab executives under oath. Elsewhere, one model learned to drive a robot, and Mac users finally got Apple Intelligence off their disks. Models & Research * Reka AI's Rho-1 collapses the multimodal stack into a single 19-billion-parameter model.
The Arena
A quiet news day with the scaffolding on full display: nobody shipped a frontier model, but the machinery around them — disk drives, sovereign floats, bond syndicates, age checks and interest rates — all moved at once. Models & Research * A streaming-video agent that decides what to remember topped Hugging Face's daily papers.
The Arena
Money and guardrails moved on the same day: Anthropic put a target date on its IPO, Google took its data-center plan to the launch pad, California subpoenaed OpenAI, and the small fast "decision model" niche that Altman teased at DevDay got open competition from two directions at once. Models & Research * AWS open-sourced Strands Decider 2B — a 2-billion-parameter model that can't write a word, built only to pick between options.
The Arena
A frontier model launch you can't use yet, a Senate subcommittee that got stood up by its star witness, and the first private lawsuit over the Hugging Face hack — plus a memory quarter that shows exactly where the AI money is piling up. Models & Research * Google released Gemini 4 Argon, its most advanced model yet — but the rollout starts with a hand-picked group of cybersecurity partners, not the public.