Weekly roundup

25–31 October 2026

The week's stories that will still matter next week, with the noise taken out.

Models & labs

OpenAI ships GPT-6.1 Terra for cheaper computer use

GPT-6.1 Terra is in ChatGPT Work and Codex for Plus, Pro, Enterprise and Edu, and in the API as gpt-6.1-terra.

Agents & coding

Oracle puts a governed runtime behind CX agents

Oracle’s Fusion Claw enables long-running agent work inside Fusion Customer Experience with approvals gating execution.

Video generation

Genie 4 simulates a world you can steer and hear

DeepMind’s new world model renders visuals and sound together and lets users change weather, camera or cast mid-run.

Creator tools

Apple puts an assistant in Pages, Keynote and Numbers

An assistant on Apple and OpenAI models can redraft Pages, design Keynote slides and chart in Numbers.

Story of the week

The single most consequential story of the week.

OpenAI ships GPT-6.1 Terra for cheaper computer use

GPT-6.1 Terra is in ChatGPT Work and Codex for Plus, Pro, Enterprise and Edu, and in the API as gpt-6.1-terra. List pricing is $1 input, $0.05 cached input and $5 output per million tokens, which OpenAI says is 50% below GPT-5.6 Terra and GPT-6.1 Sol.

Why it's the story of the weekCheaper tokens for screen-and-paperwork tasks widen what teams can afford to automate.

Where the industry gathered

The conferences, keynotes and festivals where people met in person this week.

1 events

AAPSCM 2026 Global Procurement, Supply Chain, AI & Logistics Summit

Conference26–27 Oct
Dallas, Texas

It shows how AI is being used in buying and supply-chain work, and where the field is heading.

  • Discussions centred on AI in procurement, supply-chain resilience and logistics.
  • The summit stressed responsible AI adoption and investment in workforce skills.
  • Organisers announced 2027 events in Riyadh (6–7 April) and Dallas (25–26 October).
EIN Presswire ↗

Models & labs

New models, the labs behind them, and the rules they answer to.

2 stories
Model

OpenAI ships GPT-6.1 Terra for cheaper computer use

GPT-6.1 Terra is in ChatGPT Work and Codex for Plus, Pro, Enterprise and Edu, and in the API as gpt-6.1-terra. List pricing is $1 input, $0.05 cached input and $5 output per million tokens, which OpenAI says is 50% below GPT-5.6 Terra and GPT-6.1 Sol.

Why it mattersCheaper tokens for screen-and-paperwork tasks widen what teams can afford to automate.

OpenAI ↗

Agents & coding

AI that acts on its own, and the tools developers build with.

2 stories
Product

Oracle puts a governed runtime behind CX agents

Oracle’s Fusion Claw enables long-running agent work inside Fusion Customer Experience with approvals gating execution. Initial apps cover territory plans, service health, field demand, CPQ migration and executive briefings.

Why it mattersBig-suite agents that respect existing approvals are ready for production use.

Oracle ↗

Video generation

The models and tools that make video.

3 stories
Model

Pika unveils H3 Flex, faster open-weights video model

Pika H3 Flex, a post-trained MiniMax H3, generates up to 15s 768p clips with synced audio in ~7s of transformer compute, takes up to 12 references, exports five audio stems, finishes up to 4K, and releases open weights.

Why it mattersFast, controllable, open-weights video helps pro workflows and local use.

pika.art ↗

Creator tools

The apps and platforms people make video with.

3 stories
Product

Copilot Fusion picks the model, and you pick the effort

GitHub’s router now chooses among Standard, High and Max, drafts with one model and escalates or critiques with another. Fusion Max scored 60 on the Artificial Analysis Coding Agent Index, within two points of Claude Code with Opus 5.5 Max, at about half the average API cost per task.

Why it mattersRouting turns model choice into a budget dial for day-to-day coding work.

GitHub ↗

Media & entertainment

AI in the films, shows, micro-dramas, music and ads people watch, the studios and platforms making them, and the rules for AI-made content.

3 stories

Chips & compute

Chips, data centres and the power behind them.

2 stories

Policy & safety

Laws, lawsuits and safety incidents.

2 stories
Policy

The FTC demands Anthropic executives testify

The FTC told Axios it demanded testimony from Anthropic executives in a consumer-harm probe, with 50-page civil investigative demands to Anthropic and OpenAI covering security incidents, safeguards, marketing and privacy policies.

Why it mattersA listing arrives as regulators escalate scrutiny of model safety and marketing.

Axios ↗

Robotics

Robots, self-driving and AI in the physical world.

3 stories
Product

Kodiak signs 75 driverless trucks into a carrier's own fleet

DTL Transport will pay per mile to run Kodiak’s driver on 75 trucks it owns, starting on I-10 Dallas–El Paso and I-20 Dallas–Atlanta. Kodiak calls it the first binding commitment by an interstate carrier to operate driverless trucks in its own fleet.

Why it mattersHighway autonomy is moving into per-mile contracts on existing fleets.

Kodiak ↗

Science & health

AI in biology, medicine, climate and maths.

3 stories
Research

OpenAI says academics checked a proof and knocked one down

OpenAI reported a model produced a proof of the local smoothing conjecture, checked in Lean, and a complexity-theory claim was refuted. A separate effort drafted a natural-language argument toward a Yang–Mills existence result; Lean work finished 16 Oct. OpenAI says it won’t claim academic credit.

Why it mattersLabs are releasing math and physics claims alongside external checks and retracts.

OpenAI ↗
Research

AI-guided team formalizes the ‘enormous theorem’ in Lean

Axiom Math coordinated swarms of AI agents and experts to produce ~43.1M lines of Lean for the Classification of Finite Simple Groups in 24 days, surfacing 34 noteworthy deviations and adding a new result.

Why it mattersAI-assisted formalization at extreme scale hints at a new era in mathematics.

axiommath.ai ↗

Open source

Open-weight models and community releases.

2 stories

Paper of the week

One research result, explained in plain words.

Axiom Math

AI-guided team formalizes the ‘enormous theorem’ in Lean

Axiom Math engineers and mathematicians

What they tried
They coordinated swarms of AI agents and experts to translate the 15,000-page Classification of Finite Simple Groups into Lean so a computer could check every step.
What they found
In 24 days they produced ~43.1 million lines of Lean, surfaced 34 noteworthy deviations from the literature, and added a new group-theory result while resolving issues like the Unbalanced Group Theorem.
Why it matters
Formalizing landmark proofs at this scale suggests AI can help verify and advance deep mathematics.

Money this week

The week's deals at a glance. The monthly review has the full picture.

28 deals

Next week

What's coming from 1 November to 7 November, and how sure we are about each.

6 things
MTWTFSSOct2627282930311Nov234567891011121314151617181920212223242526272829
  1. 31OctMistral Large 4 full weights dueMistral AIExpectedToday
  2. 1NovClimate summit focuses on ‘climate-responsible AI’COP31ExpectedTomorrow
  3. 4NovKimi K3.1 Pro full weightsMoonshot4days away
  4. 5–6NovBoxWorks 2026 in San Francisco5days away
  5. 7NovParadise with You premieresLifetime7days away
  6. Early NovKimi K3.1 Pro free downloadMoonshot AIExpected

Stories are summarized in plain language; follow the link before quoting a figure. Story images are shown from the publishers' own sites.