UK's CMA wants AI assistants on Google's choice screens

Share
UK's CMA wants AI assistants on Google's choice screens

Regulation caught up with the chatbot-as-search-engine era today, OpenAI put mathematicians on the payroll of its math model's aftermath, and an agent startup says big SaaS is becoming "a database." Here's the day.


The UK's competition watchdog has proposed forcing Google to offer Android and Chrome users a choice of search engine when they first set up a device — and to repeat the question once a year. The CMA's updated proposals go further than choice screens for Bing and DuckDuckGo: AI assistants such as ChatGPT and Perplexity would be allowed onto the screens too, provided they meet the regulator's technical and security criteria — a direct answer to people increasingly "searching" by asking a chatbot instead of a search box. CMA chief executive Sarah Cardell said the regulator is "responding quickly to the rise of AI assistants, which people are increasingly using as their search service, but aren't included on Google's choice screens." The proposals would also require featured providers to fairly attribute publisher content, so users can see where an answer came from — a small clause with large consequences for the AI-search traffic war. Google has operated under the UK's strategic market status regime since October 2025, and the CMA has been tightening the screws since June; this consultation closes October 9, with a final decision on the conduct requirements expected by year-end. The takeaway: the choice screen is quietly becoming the regulatory beachhead for AI assistants — whoever gets listed there gets distribution no app store battle can match.


OpenAI says an internal model has resolved more than 100 open math problems since it began training on August 28 — and it has now handed nine leading mathematicians an advisory role in how those results reach the field. The group, hosted at Princeton's Institute for Advanced Study, includes Timothy Gowers, Martin Hairer, and Melanie Matchett Wood, and it can weigh in on vetting, releasing, and crediting results. It is not paid by OpenAI and has no say over how fast the model produces new results — which is the part the field keeps objecting to. We covered that complaint when 27 Fields Medalists signed a letter accusing labs of rushing results out — Mathematicians ask whether OpenAI can be trusted with unpublished math. Today's announcement reads as OpenAI's answer to that letter: humans get a formal seat in the loop, but the loop keeps running at model speed.


Agent startup Ema has raised $77 million in a Series B led by Bengaluru's Creaegis, with Accel, Section 32, and Prosus increasing their stakes, as AI begins competing directly for enterprise software and IT services budgets. According to TechCrunch, the round more than quadruples Ema's 2024 valuation and takes its total funding to $140 million. The company coordinates fleets of AI agents that run multi-step workflows across HR, IT, and finance on top of the apps a company already owns, and cofounder Surojit Chatterjee's pitch is blunt: big SaaS platforms are "mostly becoming like a database" that agents wrap around and, in some cases, replace outright. Ema claims more than 50 active enterprise deals, over 1 million active users, roughly 180% net dollar retention, and about 80% gross margins — figures that are the company's own and not yet independently confirmed, and the exact valuation went undisclosed.

What to watch: the CMA consultation closes October 9 — if the final requirements name AI assistants explicitly, expect Brussels to start drafting its own version within weeks.

Given a first-run choice screen, would you set an AI assistant as your default search? Tell us in the comments.

Read more

Byteification turns Qwen3 and Llama 3 into byte-level models

Byteification turns Qwen3 and Llama 3 into byte-level models

The tokenizer is the last piece of the language-model pipeline that was never learned end to end — and a Nature paper out this week shows it can be swapped out for less than one percent of a pretraining budget. Researchers have retrofitted four open subword language models into true byte-level models using less than 1% of a typical pretraining budget, and the result — published 7 October in Nature — closes the performance gap that has kept byte-level models a niche curiosity for nearly a decad

OpenAI's dots go mobile and can start your Codex work

OpenAI's dots go mobile and can start your Codex work

One product update and two benchmark papers this hour, all circling the same question: how much of the work can you actually hand over, and what happens to the part you didn't? OpenAI's dots — the always-on agents that get their own cloud computer — can now be created and configured entirely from the ChatGPT app on iOS and Android, and a dot can start Codex work or pick up an existing Codex thread on your behalf. The October 9 release, billed as the first of a fresh run of updates for dots, mo

Coding agents as a hospital: Cockroach's five-month results

Coding agents as a hospital: Cockroach's five-month results

The agentic-coding debate keeps being framed as speed versus trust. Cockroach Labs just published the most detailed trust-first ledger yet — five months of numbers, including the parts that didn't work. Cockroach Labs ran its codebase like a teaching hospital for five months and says the pipeline merged well over a million lines of code with seven total reverts. In the setup the company calls MOLT Sinai, GitHub issues are patients, merging is discharge, and the humans in charge are Chiefs of M

Today in AI — October 10, 2026

Today in AI — October 10, 2026

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 thr