Các nhà toán học sử dụng S2 của Phòng thí nghiệm AI Thượng Hải để chứng minh giả thuyết 3D Ghys, được xác minh bằng Lean
Mathematicians Use Shanghai AI Lab's Intern-S2 to Prove 3D Ghys Conjecture, Verified in Lean
Đoạn trích bài viết
Một bằng chứng về trường hợp có chiều chung của một giả thuyết năm 1995 của Etienne Ghys đã được phát triển với Intern-S2 qua nhiều vòng đối thoại, và một nhóm Đại học Bắc Kinh đã chính thức hóa nó bằng Lean.
Toàn văn bài viết
Mở bài viết gốc
Đọc bài viết đầy đủ trên pandaily
Mở bài gốc để xem trọn vẹn chi tiết và dẫn chứng.