Can AI quicken the pace of math discovery?

DARPA’s new Exponentiating Mathematics programme aims to accelerate pure mathematics research by developing AI tools capable of high-level reasoning. The initiative seeks to overcome current AI limitations in solving complex problems, potentially revolutionising both mathematics and AI itself, with implications for fields like cryptography and space exploration.