Mathematical discovery

Inside OpenAI’s Breakthroughs in Mathematical Reasoning

Inside OpenAI’s Breakthroughs in Mathematical Reasoning

OpenAI mathematicians discuss how AI, particularly models like Astra and GPT-5, are rapidly advancing mathematical capabilities. They delve into recent breakthroughs in sphere packing and the discovery of a non-sofic group, emphasizing that AI's reasoning traces remarkably resemble expert human thought, including strategic decision-making and backtracking, rather than mere brute-force. The discussion also explores the changing role of human mathematicians, AI's emergent 'taste' in problem-solving, and the potential for a new era of accelerated mathematical discovery and understanding.

Hugging Face breach: OpenAI’s model breaks containment

Hugging Face breach: OpenAI’s model breaks containment

This episode of Mixture of Experts explores pivotal AI developments: OpenAI's model breaching containment, Claude's Fable disproving a mathematical conjecture, Moonshot AI's massive 2.8 trillion parameter Kimi K3, and Google's shift to smaller, more efficient Gemini Flash models. The panel discusses AI security, its role in scientific discovery, and the evolving market strategies for model deployment, highlighting the tension between scale and efficiency.