AI trong toán học đang giải quyết một số vấn đề tốt nhất của lĩnh vực này nhanh hơn so với số vấn đề mới được phát hiện. Terence Tao, một giáo sư của UCLA được coi là nhà toán học thuần túy sống tốt nhất và là người nhận Huy chương Fields năm 2006, đã cảnh báo trên Mathstodon rằng AI đang làm cạn kiệt nguồn cung cấp các vấn đề mở tốt của lĩnh vực này. Các phòng thí nghiệm đã thử nghiệm các mô hình trên các vấn đề trong toán học, vật lý và y học, và vào tháng Năm, một mô hình của OpenAI đã bác bỏ giả thuyết khoảng cách đơn vị Erdős.
Terence Tao là giáo sư của UCLA, được đánh giá cao là nhà toán học thuần túy sống tốt nhất và đã nhận Huy chương Fields năm 2006. Trên Mathstodon, Tao cảnh báo rằng AI đang làm cạn kiệt nguồn cung cấp các vấn đề mở tốt trong lĩnh vực toán học, giảm bớt tập hợp các thách thức có sẵn cho các nhà nghiên cứu. Ông đã chỉ ra các công cụ trích xuất giải pháp mạnh mẽ và cảnh báo rằng việc sử dụng một cách bừa bãi có thể đạt được giải quyết vấn đề ngắn hạn ngay lập tức nhưng lại phải trả giá cho việc duy trì hệ sinh thái cho làn sóng tiến bộ tiếp theo. Ông cũng cảnh báo rằng thực tiễn này có thể cản trở việc hiểu biết về những tiến bộ đã đạt được. Những tuyên bố này tóm tắt mối quan tâm công khai của Tao về những ảnh hưởng lâu dài của AI đối với hệ sinh thái nghiên cứu toán học nói chung.
Các phòng thí nghiệm AI đã thử nghiệm các mô hình trên các vấn đề khó trong toán học, vật lý và y học. Vào tháng Năm, một mô hình của OpenAI đã bác bỏ giả thuyết khoảng cách đơn vị Erdős. Giả thuyết khoảng cách đơn vị Erdős liên quan đến việc có bao nhiêu cặp điểm trên một mặt phẳng có thể ngồi cách nhau đúng một đơn vị. Những thử nghiệm này đã bao gồm một loạt các vấn đề từ vật lý lượng tử đến toán học ứng dụng và y học.
Nhà nghiên cứu của Anthropic, Levent Alpöge, đã chạy bài toán khoảng cách đơn vị giống hệt qua Claude Mythos, mô hình cao cấp chưa phát hành của công ty, ngoại tuyến để nó không thể sao chép giải pháp đã công bố của OpenAI. Kỹ sư Anthropic, Sholto Douglas, mô tả kết quả của Mythos là một ‘chứng minh đáng yêu, đơn giản’ và cho biết nó ngắn hơn so với của OpenAI. Nhà toán học Daniel Litt đánh giá chứng minh của Mythos là ‘hơi tệ hơn’ so với phiên bản của OpenAI, mặc dù Mythos cũng xác định được giải pháp của OpenAI. Những đánh giá so sánh này đi kèm với việc thử nghiệm rộng rãi các mô hình trên những vấn đề khoa học khó.
Các phòng thí nghiệm AI đã đưa các mô hình vào thử nghiệm trên những vấn đề thách thức trong toán học, vật lý và y học. Vào tháng 5, một mô hình của OpenAI đã bác bỏ giả thuyết khoảng cách đơn vị Erdős, liên quan đến số lượng cặp điểm trên mặt phẳng có thể nằm cách nhau đúng một đơn vị. Các kết quả được báo cáo từ những thử nghiệm mô hình này đã trải dài từ vật lý lượng tử cho đến toán học ứng dụng và y học. Những thử nghiệm này đã được thực hiện bởi nhiều phòng thí nghiệm.
Tốc độ nhanh chóng của việc giải quyết vấn đề dựa vào AI đã làm dấy lên mối lo ngại về việc duy trì hệ sinh thái nghiên cứu toán học cho sự tiến bộ trong tương lai. Tài liệu này liên kết những mối quan tâm này với việc sử dụng bừa bãi các công cụ trích xuất giải pháp mạnh mẽ và chi phí tiềm ẩn đối với sự hiểu biết và phát triển lâu dài. Nội dung cũng đề cập đến các hệ thống AI tiên phong và các mô hình lý luận liên quan đến những phát triển này. Những đánh giá so sánh về các chứng minh và giải pháp được tạo ra bởi AI đã được báo cáo giữa các nhà nghiên cứu và kỹ sư.
Những phát triển này đã đặt ra câu hỏi về nguồn cung cấp các vấn đề mở trong toán học trong tương lai. Các kết quả được báo cáo trải rộng qua nhiều lĩnh vực khoa học.
Trí tuệ nhân tạo trong toán học gần đây đã tạo ra các giải pháp cho những vấn đề nổi bật và đã được thử nghiệm trên các thách thức trong các lĩnh vực khoa học liên quan. Việc giải quyết vấn đề nhanh chóng này đã gây ra những cảnh báo từ các nhà toán học hàng đầu, bao gồm Terence Tao, rằng điều này có thể làm giảm số lượng các vấn đề mở tốt và căng thẳng hệ sinh thái nghiên cứu. Những người quan sát đã liên kết các phát triển này với việc sử dụng các hệ thống AI tiên tiến và các mô hình suy luận mạnh mẽ, cũng như những tác động rộng hơn ở các lĩnh vực như vật lý và y học.
