Episode Details

OpenAI published three hundred and seventy-two mathematical results with machine-verifiable Lean proofs, nearly all generated from a single prompt to a single frontier model — the largest single output of AI mathematical research ever released. It follows August's ten-problem Astra breakthrough and last week's Meta math papers. Also: Mistral drops a one-trillion-parameter open-weights model, and EPIC documents what Meta Muse is actually doing with user data.