Mathematics in the Age of AI: Discovery, Reasoning, Verification, and Unease
AI and the Future of Mathematics — Mathematics Münster, CRC 1442, TRR 326 and TRR 358 · University of Virginia and Axiom Math
Ken Ono
University of Virginia and Axiom Math
1 talk