Nghiên cứuĐiểm AI 85/100
Cùng sự kiệnHọc cách khám phá toán học thú vị: Định nghĩa mới về giá trị của các định lý
Nghiên cứu đề xuất phương pháp đo lường độ thú vị của định lý toán học dựa trên tỷ lệ giữa độ dài chứng minh và phát biểu, đồng thời huấn luyện mô hình 27B để dự đoán độ khó chứng minh hiệu quả hơn các mô hình hiện nay.
Cùng sự kiện, bài đại diện «Đột phá: LLM có thể tự khám phá các định lý toán học thú vị mà không cần con người»