Loading video...
Video Failed to Load
Mathlib is Lean library that has formalized a lot of humanity's math concepts and proofs. Grant speculated about a really interesting possibility: You could just have different AIs fork MathLib and build their own parallel math civilization. Lean guarantees that whatever new conjectures they come up with would be... show more
59,779 views • 14 days ago •via X (Twitter)
0 Comments
No comments available
Comments from the original post will appear here
