1/ AxiomProver đã giải quyết được giả thuyết mở của Fel về các syzygie của các nửa nhóm số học, tự động tạo ra bằng chứng chính thức trong Lean mà không cần sự hướng dẫn của con người. Đây là lần đầu tiên một hệ thống AI giải quyết được một vấn đề nghiên cứu chưa được giải quyết trong toán học lý thuyết và tự kiểm chứng.
Bài viết này được dịch máy
Xem bản gốc
Từ Twitter
Tuyên bố từ chối trách nhiệm: Nội dung trên chỉ là ý kiến của tác giả, không đại diện cho bất kỳ lập trường nào của Followin, không nhằm mục đích và sẽ không được hiểu hay hiểu là lời khuyên đầu tư từ Followin.
Thích
Thêm vào Yêu thích
Bình luận
Chia sẻ
Nội dung liên quan
