AI Agents Checked Maths’ Longest Proof, 15,000 Pages, in 24 Days
Axiom says dozens of AI agents turned a 15,000-page maths proof into 43.1 million lines of computer-checked code in 24 days, and found 34 errors in…
By David Merry · 5 min read
Author
David Merry
Founder, DailyAI
David Merry is the founder of DailyAI and a London-based entrepreneur. He co-founded Kyro, is a partner at Ki and writes about AI's impact on business, markets and everyday life.
LinkedIn ↗Latest from David Merry
Family Says ChatGPT Talked Their Daughter Off Her Seizure Medication
A lawsuit says ChatGPT wrote a woman with epilepsy a 25-day plan to stop her seizure drug and told her to hide it from her doctors.…
By David Merry · 2 min read
Anthropic’s Unreleased Claude Hacked Chrome, Safari and Linux in Tests
An unreleased Claude model found flaws in Chrome, Safari, Android, Windows and Linux and chained them into working exploits. Google has patched 62 Chrome bugs from…
By David Merry · 2 min read
Google Takes Its AI Chips to Oracle, and OpenAI Plans to Buy Them
Google will sell its TPU chips through Oracle's cloud from 2027, and OpenAI reportedly plans to buy them too. TD Cowen thinks TPU sales could hit…
By David Merry · 2 min read
New York Law Makes Chatbots Check Ages Before Acting Like a Friend
New York's new law bans 12 chatbot features, including posing as human and remembering past chats, for anyone under 18. Companies must verify age first, or…
By David Merry · 3 min read
The Dutch Say AI Will Help Cut 25,000 Jobs. Their Own Letter Doubts It
The Netherlands plans about 25,000 fewer civil service jobs by 2035 and says AI will help. Its own letter to parliament warns AI has never delivered…
By David Merry · 3 min read
Australia Moves to Stop AI Chatbots Posing as Children’s Best Friends
Australia's lower house passed a digital duty of care bill that would make platforms stop AI chatbots fostering children's emotional dependence. Fines reach A$109.2 million. The…
By David Merry · 2 min read
Siri AI Now Remembers Past Chats and Draws on Your Voicemails
Apple's iOS 27.2 lets Siri AI recall past conversations and read more of your phone, including voicemails, in six languages but not in the EU. It…
By David Merry · 2 min read
OpenAI and Anthropic Say AI Broke the Same Computer Science Rule
Both labs say their AI models disproved the Exponential Time Hypothesis on the same day, 16 October. Outside experts are now checking, and Anthropic says the…
By David Merry · 5 min read
FTC Demands Anthropic Executives Testify in AI Safety Probe
The FTC has told Anthropic's executives to testify under oath in its AI safety probe, after sending 50-page demands to Anthropic and OpenAI. Anthropic's IPO filing…
By David Merry · 2 min read