How is AI reshaping mathematics? At #SIAMAN26, invited speaker @KenOno691 (@axiommathai & @UVA) will explore how tools like LLMs and proof assistants are changing discovery, verification, & the future of proof.

View the abstract & join us in Cleveland: https://meetings.siam.org/sess/dsp_programsess.cfm?SESSIONCODE=88469