EP 652 : OpenAI Drops 722 Math Papers, Mistral Unveils ‘Le Chonk’, Hark Pro Assistant – AI News
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 "the most significant moment in mathematical history" 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…
The skinny
The skinny isn't ready yet — notes appear once the transcript is processed.