AI đang khắc phục điểm yếu giải toán cao cấp
Một số mô hình AI như ChatGPT, Meta AI, Gemini từng bị chê không thể giải toán, nhưng vấn đề đang dần được khắc phục. Kỹ sư phần mềm Neel Somani thử nghiệm khả năng toán học trên mô hình GPT 5.2 của OpenAI và phát hiện điều thú vị: AI có thể giải toán ở cấp độ cao thay vì chỉ dừng ở mức giải bài tập sách giáo khoa.
Một số mô hình AI như ChatGPT, Meta AI, Gemini từng bị chê không thể giải toán, nhưng vấn đề đang dần được khắc phục.
Kỹ sư phần mềm Neel Somani thử nghiệm khả năng toán học trên mô hình GPT 5.2 của OpenAI và phát hiện điều thú vị: AI có thể giải toán ở cấp độ cao thay vì chỉ dừng ở mức giải bài tập sách giáo khoa. Ông nghiên cứu các bài toán Erdős - tập hợp hơn 1.000 giả thuyết của nhà toán học Hungary Paul Erdős, hiện được lưu trữ trực tuyến trên website cùng tên với mức độ phức tạp trải dài từ bài toán sơ cấp đến những vấn đề nằm ở ranh giới cao nhất của toán học hiện đại.
Erdős được xem là một trong những nhà toán học xuất sắc thế kỷ XX, với hàng trăm công trình toán học ở các lĩnh vực tổ hợp, lý thuyết đồ thị, số, xấp xỉ, tập hợp và xác suất. Để ghi nhận những cống hiến của ông, từ năm 2015, Hungary đã thành lập một cuộc thi có tên "Thách thức toán học quốc tế Paul Erdős".
Somani đã đưa một bài toán Erdős có độ phức tạp cao vào ChatGPT và để AI xử lý. Trong 15 phút, lời giải hoàn chỉnh đã được đưa ra. Thông qua công cụ đánh giá độc lập Harmonic, mọi bước giải và kết quả đều chính xác.
Minh họa khả năng AI có thể giải toán. Ảnh:ChatGPT
Theo Somani, chuỗi suy luận trên ChatGPT thậm chí ấn tượng hơn khi liệt kê ra các tiên đề toán học như công thức Legendre, tiên đề Bertrand và định lý Ngôi sao David (Star of David Theorem). So với lời giải của nhà toán học Noam Elkies ở Đại học Harvard đưa ra năm 2013, ChatGPT có giải pháp được đánh giá hoàn chỉnh hơn.