AITLDR
OpenAI cracks math, Meta's Muse beats ChatGPT, Google bets $899 on Gemini

OpenAI cracks math, Meta's Muse beats ChatGPT, Google bets $899 on Gemini

AI is solving century-old math problems, out-downloading ChatGPT, and being blocked by Amazon — all in one Monday.

Subscribe free →
OpenAI's AI Has Solved Over 100 Open Math Problems — and the Mathematicians Advising It Have No Power to Slow It Down

OpenAI's AI Has Solved Over 100 Open Math Problems — and the Mathematicians Advising It Have No Power to Slow It Down

OpenAI has formed a math advisory group of outside experts as its AI systems rack up solutions to more than 100 previously unsolved mathematical problems. The catch: the advisory group is purely consultative and has no authority to pump the brakes on OpenAI's math research agenda. It's an oversight board with no oversight.

Why it matters: AI cracking open problems in mathematics isn't a party trick — it's a preview of AI doing genuine frontier science, and the structure here makes clear OpenAI won't let external advisors slow that down.


Meta's Muse Is Already Out-Downloading ChatGPT at the Same Stage of Life

Meta's Muse Is Already Out-Downloading ChatGPT at the Same Stage of Life

Meta's AI agent Muse has surpassed ChatGPT's early mobile traction, racking up more downloads and daily active users in the U.S. and Canada than OpenAI's app did over the same post-launch window, per Appfigures data. Meta is playing the distribution game — and with billions of existing social media users as a launching pad, it's not a fair fight.

Why it matters: If Muse can convert Meta's existing user base into daily AI agent habits, it could become the default AI interface for a massive chunk of the population before OpenAI or Google can respond.


Amazon Just Blocked Meta's Muse From Its Platform — and You Can See Exactly Why

Amazon Just Blocked Meta's Muse From Its Platform — and You Can See Exactly Why

Amazon has shut Muse out of Amazon.com, preventing Meta's AI agent from browsing or transacting on its marketplace. Amazon has its own foundation models and a thriving inference business — there's zero incentive to hand a competitor's AI agent access to the world's largest e-commerce platform.

Why it matters: This is the opening shot in what will likely become a platform war over AI agent access — expect every major tech incumbent to start drawing lines around their turf.


Google's $899 Googlebook Is a Hardware Bet That Gemini Is Worth Buying a New Laptop For

Google's $899 Googlebook Is a Hardware Bet That Gemini Is Worth Buying a New Laptop For

Google has unveiled the Googlebook lineup — five AI-native laptops from Acer, Asus, Dell, HP, and Lenovo, starting at $899. Gemini is baked into the cursor, dictation, widgets, and core OS interactions, while deep Android phone integration is the standout UX move. Preorders open today, units ship October 4th.

Why it matters: Google is making the same bet Microsoft made with Copilot PCs — that AI integration is a hardware upgrade cycle driver — but with tighter OS control and a cleaner implementation than anything Windows has shipped.


World Model Startups Are Flush With Cash and Saying Absolutely Nothing About What They're Building

World Model Startups Are Flush With Cash and Saying Absolutely Nothing About What They're Building

A deep look at the world-models space — companies building AI systems that simulate physical reality — finds founders, investors, and even data suppliers unwilling to disclose what they're actually building. The sector is swimming in funding and hype but operating with unusual secrecy even by AI startup standards.

Why it matters: World models could underpin the next generation of robotics, autonomous vehicles, and scientific simulation — the opacity suggests either genuinely novel approaches being protected, or valuations running ahead of anything real.


A Former Accountant Built an AI to Eliminate Accountants — Meet Tabby

A Former Accountant Built an AI to Eliminate Accountants — Meet Tabby

Tabby is a real-time AI bookkeeping platform that handles client paperwork and delivers live profit-and-loss data, built by someone who spent years doing that work manually. It's going after the full-service bookkeeping relationship, not just automating one-off tasks.

Why it matters: The most credible AI automation products are being built by domain insiders who know exactly where human labor is being wasted — and Tabby is a textbook example of that pattern hitting a massive, underserved market.

Quick Hits

  • →Apple is paying out a $250M settlement over its failure to deliver the AI-powered Siri it promised — if you bought an iPhone 15 Pro or iPhone 16 between June 2024 and March 2025, you can file a claim now. The Verge
  • →Kairos Power landed up to $100M from Samsung's construction arm to build its first 50MW nuclear reactor — which will eventually power Google's data centers. TechCrunch
  • →New Apple CEO John Ternus is facing the same question Tim Cook ducked for years: what's Apple's AI story — Bloomberg's Mark Gurman breaks it down on The Verge's podcast. The Verge
  • →Corridor raised a $25M seed round to build an AI-powered health benefits brokerage for small businesses, a segment traditional brokers have historically ignored. TechCrunch

AI TLDR

Get AI Daily in your inbox every morning — free

Free forever·Unsubscribe anytime·5 min read
Share this edition: