Mathematics in the Age of AI: Discovery, Reasoning, Verification, and Unease
Ken Ono · University of Virginia and Axiom Math
…examines reliability, attribution, unequal access, education and the future role of mathematicians. It argues for using AI to extend exploration while retaining mathematical judgment and strengthening trust through machine-checkable proofs.
Tue, Oct 20, 2026 · 18:00 UTC