🎙 EP 371: 700+ AI-Solved Math Papers & Mistral Launches 1-Trillion Parameter "Le Chonk"
Got something to say to this podcast? Send a voicemail, and you might hear yourself on the next episode!
OpenAI published a GitHub repository containing 722 research-grade mathematical manuscripts across 372 result families generated by an unreleased internal frontier model, complete with Lean formalizations for automated verification. Meanwhile, French AI startup Mistral AI unveiled Mistral Large 4, a 1-trillion parameter multimodal model nicknamed “Le Chonk,” trained on 4,000 GPUs to offer Europe a sovereign alternative for cybersecurity, chip design, and financial reasoning.
We’ll talk…
The skinny
The skinny isn't ready yet — notes appear once the transcript is processed.