Are There Problems Beyond the Reach of AI | World Science Festival

AI is fundamentally transforming mathematics, shifting the discipline from human-led proof generation to a collaborative model where AI solves complex, long-standing problems like the Erdos unit distance problem and the unique games conjecture. While AI excels at finding counterexamples and identifying obscure connections, human researchers remain essential for interpreting results, verifying logic, and defining the questions worth pursuing. This shift mirrors the transition of other scientific fields, where the human role evolves into that of an archaeologist uncovering and contextualizing discoveries. Beyond technical breakthroughs, the rapid advancement of AI necessitates urgent focus on alignment, safety, and the ethical implications of autonomous systems. As AI continues to challenge human exceptionalism, the future of mathematics relies on balancing the power of automated problem-solving with the human capacity for value-driven inquiry and deep conceptual understanding.