EP 652 : OpenAI Drops 722 Math Papers, Mistral Unveils ‘Le Chonk’, Hark Pro Assistant – AI News

<p>Ever wondered if AI could actually prove the next Millennium Prize problem? In this episode we dive into OpenAI’s jaw‑dropping release of 722 math papers – 162 of them written in Lean, a claim of a quasi‑Riemann hypothesis proof, and a single‑prompt workflow that cranks out results in three hours of ChatGPT Pro compute. We break down why Anthropic’s Levent Alpöge calls it &quot;the most significant moment in mathematical history&quot; and what this means for a future where chips, not humans, drive discovery.Next up, France’s Mistral AI throws its hat into the Western open‑model ring with the 1‑trillion‑parameter “Le Chonk.” We compare its 62 % coding score to China’s Kimi K3, highlight its cybersecurity rankings, and explain why the model’s quirky name might just be the morale boost the open‑AI community needed.We also introduce Hark Pro, the proactive assistant from Brett Adcock’s new startup. From booking movie tickets to juggling nine tasks at once on its Handoff cloud, Hark shows how personal AI can become a true digital sidekick – and even hints at hardware coming in 2027.Afterward we skim the rest of today’s AI buzz: Claude’s sidebar for Google Workspace, Alphabet’s Nano Banana 2.1 and EmbeddingGemma 2, Utah’s AI‑driven acne prescription, and more.Listen now, share with fellow AI enthusiasts, and subscribe so you never miss a breakthrough. Tools mentioned: Web Search API, Coddy, SitePrint, BP Builder, Incogni, Hark Pro, Nano Banana 2.1, EmbeddingGemma 2.</p>