Kevin Hartnett on Lean, Mathematical Proof and the Limits of AI Verification

Das ist das Originaltranskript des Videos, unverändert und unbearbeitet. Der überarbeitete Volltext, die Zusammenfassung und die Übersetzungen stehen auf der Artikelseite.