Ben Zipperer

Terence Tao argues AI brings a new "crisis in the foundations of mathematical values and practices" that could ultimately leave the field stronger, like the foundational upheaval a century ago teorth.github.io/tao-web/slid...