https://tristangermain.com/tags/proof/Recent content in Proof on Tristan GermainHugo -- gohugo.ioen-us© Tristan GermainSun, 11 Oct 2026 22:17:31 +0200https://tristangermain.com/posts/openai-math-breakthrough/Sun, 11 Oct 2026 22:17:31 +0200https://tristangermain.com/posts/openai-math-breakthrough/On October 6, 2026 OpenAI published more than 700 math manuscripts on GitHub. They were produced by an unreleased internal model. Many of them come with proofs formalized in Lean. Lean is a proof assistant whose checker validates every logical step mechanically. What struck me most was not the number. It was the reaction of the people working in those fields. In this interview Hugo Duminil-Copin, Fields medalist in 2022 for his work on probability and statistical physics, explains that OpenAI’s model proved the conjectures he was working on.