Video wird geladen...
Video konnte nicht geladen werden
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
58,166 Aufrufe • vor 8 Tagen •via X (Twitter)
0 Kommentare
Keine Kommentare verfügbar
Kommentare vom Original-Post werden hier angezeigt
