Follow your favourite podcasts, listen offline and in the car with CarPlay and Android Auto, and always pick up where you left off. Free to try.
Researchers at the Université Libre de Bruxelles have shown that ChatGPT-5.2 can help solve previously unproven geometric problems, contributing to the transformation of a mathematical conjecture into a formal theorem. Using a method dubbed “vibe-proving,” the AI generated novel logical structures—while human oversight ensured rigorous validation.
This episode explores how AI is moving beyond pattern recognition into creative problem-solving, potentially accelerating breakthroughs in theoretical mathematics and reshaping the future of scientific discovery.
