Những điều các nhà toán học nên biết về Hệ thống Chứng minh Định lý Lean: độ tin cậy & AI
What mathematicians should know about the Lean Theorem Prover: reliability & AI
Đoạn trích bài viết
Những điều các nhà toán học nên biết về Hệ thống Chứng minh Định lý Lean: độ tin cậy & AI
Toàn văn bài viết
Mở bài viết gốc
Đọc bài viết đầy đủ trên hacker-news
Mở bài gốc để xem trọn vẹn chi tiết và dẫn chứng.