Sau khi AxiomProver đạt điểm tuyệt đối tại kỳ thi Putnam, chúng tôi cảm thấy đây là thời điểm thích hợp để chuyển từ các cuộc thi Olympic toán học sang toán học "người lớn" - nghiên cứu! Chúng tôi cũng cảm thấy việc lựa chọn một lĩnh vực xây dựng lý thuyết là rất quan trọng. Đây là trường hợp thử nghiệm khiêm tốn đầu tiên cho hành trình trở thành một nhà toán học AI.
Bài viết này được dịch máy
Xem bản gốc
Axiom
@axiommathai
02-06
1/ AxiomProver has solved Fel’s open conjecture on syzygies of numerical semigroups, autonomously generating a formal proof in Lean with zero human guidance.
This is the first time an AI system has settled an unsolved research problem in theory-building math and self verifies.
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
