/AI1d ago

Mathematician Ken Ono says LLMs and proof assistants are transforming how pure mathematics is discovered, verified, and proven

The presentation is scheduled for the SIAM Annual Meeting.

2509910.9K
#723Carina Hong
Patrick Shafto
Axiom
Ken Ono
SIAM
Original postCarina Hong#723
SIAM@TheSIAMNews

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

9:59 AM · Jun 5, 2026 · 6.4K Views
Sentiment
Sentiment building, check back later.
Cluster Engagement
Posts from X
Most Activity
Most Activity
VIEWS2.4KLIKES19RETWEETS3
Axiom@axiommathai

Proud to see @KenOno691 speaking at the annual conference of SIAM, one of the three major mathematical societies in the US!

SIAM@TheSIAMNews

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

22hViews 2.4KLikes 19Bookmarks 1
BOOKMARKS5
Ken Ono@KenOno691

Looking forward to this.

SIAM@TheSIAMNews

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

18hViews 2.1KLikes 13Bookmarks 5