Harnessing AI to Enhance Mathematical Problem Solving

Dr. Po-Shen Loh of Carnegie Mellon University, discusses how AI is changing the landscape of mathematics and looks ahead at what might come. As algorithms have matured, mathematicians have embraced computation as means to accelerate math discoveries. Researchers integrate AI with "proof checking" tools, like the software Lean, to avoid errors more quickly. According to Loh, this makes it easier for large teams to collaborate and for peers to check each other's discoveries for accuracy. According to a study in the journal Nature, mathematicians anticipate that AI will guide human intuition, and help to prove unsolved conjectures.