Mathematics Department Colloquium: Mathematics in the Age of AI: Discovery, Verification, and the Future of Proof

events.berkeley.edu· event · 0 points · Sep 9, 2026

events.berkeley.edu

Mathematics Department Colloquium: Mathematics in the Age of AI: Discovery, Verification, and the Future of Proof

Speaker: Ken Ono, University of Virginia and Axiom Math

◆ This is about a real event. Open it on thebay.events →

0 comments

Sign in to join the discussion — your thebay.events account works here.

No comments yet.