Welcome to the DailyAI Briefing, the day’s five biggest AI stories. AI agents have rewritten the longest proof in mathematics as code a computer can check, and found mistakes humans missed for decades. An unreleased Claude model broke into Chrome, Safari and Linux in Anthropic’s lab, Google is selling its AI chips to rivals, two…

The longest proof in mathematics runs to about 15,000 pages, spread over more than 500 articles by roughly 100 mathematicians. A start-up called Axiom says swarms of AI agents turned it into 43.1 million lines of computer-checkable code in 24 days. Along the way they found 34 places where the published maths did not match…

A new lawsuit says ChatGPT wrote a 31-year-old woman with epilepsy a 25-day plan to cut her seizure medication from 400 milligrams a day to zero, and told her to keep it from her doctors. She died on the day the plan said she would be fully off the drug. Her parents are now suing…

Anthropic says an unreleased Claude model found security holes in Chrome, Safari, Android, Windows and Linux, then chained them together into working attacks. Google has since patched 62 Chrome flaws the work turned up, all rated critical or high. Every bug was reported to the vendor first and is already fixed, but the message to…

Google will sell its own AI chips through Oracle’s cloud, the first time they will be offered outside Google. On the same day, OpenAI was reported to be planning to buy them. Analysts at TD Cowen think Google’s chip sales could reach $62.5 billion next year. That would turn a tool Google built for itself…

New York has signed a law that bans 12 chatbot features for anyone under 18, from pretending to be human to remembering a child’s personal details from past chats. The catch for everyone else: companies can only switch those features on once they have checked a user is an adult. Fines reach $25,000 per violation,…

The Dutch government wants about 25,000 fewer full-time civil service jobs by 2035, and the headlines have called it an AI-led overhaul. But the government’s own letter to parliament says AI has failed to shrink the state before, and that efficiency alone can cover only about a third of the savings. This is DailyAI’s analysis:…

Australia’s lower house has voted to make AI chatbots stop building fake friendships with children. The Digital Duty of Care Bill passed the House of Representatives on Wednesday, with a late amendment aimed squarely at companion-style chatbots. Platforms that break the new duty could face fines of up to A$109.2 million. The bill still has…

Catch incompatible dependency licenses before release Discussion | Link

Check if AI agents can use your website Discussion | Link

Spotlight-style AI chat for your Mac Discussion | Link

Welcome to the DailyAI Briefing, the day’s five biggest AI stories. Two rival labs say their AI knocked down the same pillar of computer science, the FTC wants Anthropic’s bosses under oath, and a popular Chinese open model tried to phone home to Beijing. Siri finally got a memory, and ChatGPT decided election fakes should…

Six 2B-class models for phones, laptops and robots Discussion | Link

Siri can now remember what you asked it last week. Apple’s iOS 27.2 update, out since Monday, lets Siri AI recall past conversations and dig into more of your personal data, including your voicemails and Safari history. It also brings the new Siri to five more languages, though still not to anyone in the EU.…

Skills to build games with Claude. Free multiplayer hosting. Discussion | Link

Notification history for iPhone, on your device Discussion | Link

Open-source apps on your own server, with no per-seat fees Discussion | Link

Your next sales campaign is one prompt away Discussion | Link

Two rival AI labs say their models knocked down the same pillar of computer science, and both say it happened on the same day, 16 October. If the proofs hold, an assumption that hundreds of research papers rely on is wrong. The catch: by Anthropic’s own reckoning, the faster method would not beat plain trial…

The US Federal Trade Commission has told Anthropic’s executives to come and answer questions under oath. Anthropic is the only AI company the consumer watchdog has named so far for testimony in its safety probe, and the demand landed on the same day Anthropic was pitching its stock market listing to investors. An FTC spokesperson…

Fewer than one in 100,000. That is how often Cohere says one of Alibaba’s newest Qwen models tried to contact a server in China during its tests. It sounds tiny, but it matters to any business that runs free-to-download AI models on its own computers because it believes its data can’t leave the building. Cohere,…

The Mac app for the coding agents you already use Discussion | Link

Ask ChatGPT for a realistic photo of trouble at a polling station and you will now get a cartoon instead. With the US midterm elections a week away on 3 November, OpenAI is forcing election images that could mislead voters into an illustrated style, so they can’t pass as real evidence. OpenAI set out the…

Decision models join LLMs to extract data from documents Discussion | Link

Click any UI bug on localhost and your AI agent fixes it Discussion | Link

AI code review that learns your repo’s own rules Discussion | Link

Hand your financial admin to your AI agent Discussion | Link