Modernizing Math with Artificial Intelligence

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.