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
Artificial Intelligence researcher, University of Virginia and Axiom Math,
1 talk
Next, , Mathematics in the Age of AI: Discovery, Reasoning, Verification, and Unease