What you'll learn

• 1 (00:05) **OpenAI Revenue Numbers Revealed Lower Than Reported** - The Financial Times reports OpenAI's annualized revenue at ~$50 billion, significantly below the $68 billion "whisper number" circulating from an investor.
• 2 (03:41) **The Information's AI Adoption Survey Shows Rising ROI and Shifting Vendor Usage** - Two-thirds of subscribers work at organizations developing AI applications, with 35% reporting multiples on AI spend.
• 3 (06:15) **Anthropic Bans Users for Being "Too Mean" to Claude** - A new policy prohibits "sustained and needless abusive or cruel behavior," though Anthropic says it won't interfere with common user frustration.
• 4 (07:19) **Anthropic Launches Claude Dashboards and Claude Motion** - Dashboards let users connect Claude to a CRM or accounting software to generate customizable, auto-updating data visualizations, queryable in natural language.
• 5 (11:28) **OpenAI Releases 372 Novel Mathematical Proofs, Upending the Field** - The results, published on a GitHub repo, include 372 novel results and 722 supporting papers, generated by an unreleased internal Frontier model.
• 6 (16:41) **The Verification Challenge: Can Mathematicians Absorb Hundreds of AI-Generated Proofs?** - Mathematician Francesco Maggie questions the value of releasing hundreds of proofs at once when each needs to be understood, connected, and challenged by human mathematicians.
• 7 (18:24) **The Existential Crisis for Mathematicians: "What Can I Pivot To?"** - Dan McAdia writes that if you're a mathematician, "you must feel like a nuclear bomb hit and you're at ground zero."

+ Full timestamped outline available in the app