Dana Moshkovitz on NPR! AI is shaking up the field of mathematics. But what comes next?

UTCS professor Dana Moshkovitz recently joined All Things Considered on NPR in a segment exploring how artificial intelligence is upending the world of higher mathematics.

In the interview, Moshkovitz discusses what happened when OpenAI released a repository of more than 370 mathematical proofs, including a candidate solution to the Unique Games Conjecture—a notoriously difficult theoretical problem she had planned to spend decades working on. She addresses the burden mathematicians now face in verifying poorly written, computer-generated proofs for subtle errors. reflecting on both the incredible potential AI holds for the field and the personal impact of having her primary research goal upended overnight.

Listen to the full episode on NPR.