Join us to discuss potential topics and speakers for the Seminar on Undergraduate Math Education (SUME) this semester. We encourage all those interested in attending SUME this semester to attend!
SUME Open House
Fri, Sep. 11 1:25pm (Zoom (…
A. I.
Ken Ono (Axiom Math)
X
Mathematics is entering a period of both promise and unease. AI systems now discover counterexamples and conjectures, produce research-level arguments, and generate formally verified proofs in systems like Lean. This talk offers a working map of the landscape, organized around three distinct modes: discovery, reasoning, and verification, and why confusing them is the fastest way to overclaim. After surveying recent landmarks, I will present case studies from my own work at Axiom Math. I will discuss what is real, what is hype, and how rigor survives. **The speaker is on Zoom. We suggest you attend on zoom (better experience for the speaker). Math 350 will be available for those who wish to share in-person viewing.**
Mathematics in the Age of AI: Discovery, Verification, and the Future of Proof
SUME Open House