Đẩy nhanh khám phá khoa học

“Không còn nghi ngờ gì nữa, lời giải cho bài toán khoảng cách đơn vị là một cột mốc của toán học AI: nếu một con người viết bài báo này và gửi tới tạp chí Biên niên sử Toán học (Annals of Mathematics), rồi tôi được hỏi ý kiến nhanh, tôi sẽ đề nghị chấp nhận mà không chút do dự. Chưa có chứng minh nào do AI tạo ra trước đây tiến gần đến mức đó.”

“Chuỗi suy nghĩ (CoT) của mô hình cực kỳ thú vị. Điều đáng chú ý là đa số các suy nghĩ của mô hình đều hướng tới việc xây dựng một phản ví dụ cho cận trên mà giới toán học vẫn tin là đúng, thay vì cố gắng chứng minh cận trên đó. Điều này cho thấy rằng mô hình có sự kết hợp nào đó giữa trực giác tốt, sự sẵn sàng thử các cách tiếp cận mà cộng đồng cho là ít có khả năng thành công, và khuynh hướng thử xây dựng các cấu trúc.… Theo tôi, bài báo này cho thấy các mô hình AI hiện tại không chỉ là trợ thủ cho các nhà toán học con người – chúng có khả năng nảy ra những ý tưởng nguyên bản, tài tình, rồi triển khai chúng đến kết quả cuối cùng.”

“Đây thực sự là một công trình rất ấn tượng, và tôi sẽ chấp nhận nó cho bất kỳ tạp chí nào mà không do dự. Thực ra tôi cũng đã làm bài toán này trong thời gian ngắn và cố tạo ra một phản ví dụ, nhưng không đạt được tiến triển nào… Đây chắc chắn là một cấu trúc đáng e ngại để hiểu thấu ngay cả khi bạn biết chuyện gì đang diễn ra, và nếu tự mày mò thì còn khó hơn.”