Một mô hình của OpenAI đã giải quyết thành công bài toán toán học nổi tiếng làm khó nhân loại suốt 80 năm.
Giữa tháng 5, OpenAI thông báo một mô hình AI nội bộ đã bác bỏ giả thuyết khoảng cách đơn vị Erdős, một bài toán nổi tiếng trong hình học rời rạc đã làm khó các nhà toán học trong 80 năm qua. OpenAI đã cho một số nhà toán học tiếp cận sớm kết quả này và công bố phản ứng của họ. Tim Gowers – người đã giành Huy chương Fields, giải thưởng danh giá nhất trong toán học – viết rằng “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 quan trọng trong toán học AI”. Giáo sư Daniel Litt của Đại học Toronto viết rằng “đây là ví dụ đầu tiên về một kết quả được tạo ra một cách tự động”.
Giữa tháng 5, OpenAI thông báo một mô hình AI nội bộ đã bác bỏ giả thuyết khoảng cách đơn vị Erdős, một bài toán nổi tiếng trong hình học rời rạc đã làm khó các nhà toán học trong 80 năm qua.
OpenAI đã cho một số nhà toán học tiếp cận sớm với kết quả này và công bố phản ứng của họ. Tim Gowers – người từng đoạt Huy chương Fields, giải thưởng danh giá nhất trong toán học – viết rằng “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 quan trọng trong toán học AI”.
Giáo sư Daniel Litt của Đại học Toronto viết rằng “đây là ví dụ đầu tiên về một kết quả được tạo ra một cách tự động bởi AI mà tôi thấy thú vị, thay vì chỉ là một chỉ báo hàng đầu”.
Nguồn tin: Ars Technica AI — Tác giả: Kai Williams. Bản dịch tiếng Việt do AI thực hiện, có thể có sai sót.