06/05/2026
How is AI reshaping mathematics?
At , Ken Ono (Axiom Math and University of Virginia) will explore how tools such as large language models and formal proof assistants are changing mathematical discovery and verification.
In his invited presentation, “Mathematics in the Age of AI: Discovery, Verification, and the Future of Proof,” Ono will examine how these approaches can support research while raising new questions about rigor, attribution, and how mathematical ideas are developed, checked, and communicated.
Join us at to hear this and other invited presentations throughout the program. Read the full abstract:
https://meetings.siam.org/sess/dsp_programsess.cfm?SESSIONCODE=88469