AI Giải Thêm Nhiều Bài Toán Erdős

Tóm tắt AI

OpenAI cho biết một mô hình nội bộ đã đưa ra phản ví dụ cho bài toán khoảng cách đơn vị của Erdős từ năm 1946, và sau đó công bố một mô hình chưa phát hành tên Astra đã đạt thêm nhiều tiến bộ toán học, gồm ba bài toán Erdős nữa. Giới toán học nhận định các kết quả này cho thấy AI đang trở thành công cụ đáng kể trong nghiên cứu toán học, đặc biệt ở tổ hợp và tổ hợp số học.