Google DeepMind's AlphaProof

98 views

Skip to first unread message

unread,

Jul 25, 2024, 10:07:36 PM7/25/24

to Metamath

There is a youtube video about using AI to create mathematical proofs for Lean.

You can find it by searching for "Google DeepMind's AlphaProof MASSIVE MATH BREAKTHROUGH - AI teaches itself mathematical proofs"

Reply all

Reply to author

Forward

0 new messages