Ken Ono and Terry Tao to discuss AI and mathematical formalization · Digg

/TECH

Ken Ono and Terry Tao to discuss AI and mathematical formalization

The August 8 discussion focuses on the Lean proof assistant.

Combined views

677

2 posts, first seen 12h ago

11 likes

Ken Ono and Terry Tao to discuss AI and mathematical formalization

The August 8 discussion focuses on the Lean proof assistant.

Source Posts on X

PS Patrick Shafto@patrickshafto

4:44 PM · Jul 16, 2026

1625TECH

This looks amazing!

The Conversation on X

2 posts

KO Ken Ono@KenOno691

3:56 PM · Jul 16, 2026

1/3 Thrilled to sit down with Fields Medalist Terry Tao on Aug 8th to discuss the intersection of AI & Math! Since joining @axiommathai in December, exploring these frontiers through formalization has been my focus. An absolute honor to moderate. @leanprover

PS Patrick Shafto@patrickshafto

4:44 PM · Jul 16, 2026

1625TECH

This looks amazing!

Ken Ono@KenOno691

1/3 Thrilled to sit down with Fields Medalist Terry Tao on Aug 8th to discuss the intersection of AI & Math! Since joining @axiommathai in December, exploring these frontiers through formalization has been my focus. An absolute honor to moderate. @leanprover

Combined views

677

2 posts, first seen 12h ago

11 likes1 saves

1 saves

3 reposts

Digg Deeper

Ask a question below.

Published answers will appear here.

Source Posts on X

PS Patrick Shafto@patrickshafto

4:44 PM · Jul 16, 2026

1625TECH

This looks amazing!

3 reposts

Digg Deeper

Ask a question below.

Published answers will appear here.