Một AI giải được câu đố hình học 80 năm tuổi. Các nhà toán học nghĩ gì về nó?
Tám thập kỷ sau khi Paul Erdős đưa ra bài toán khoảng cách đơn vị vào năm 1946, một AI đa năng đã tạo ra các cấu hình vượt qua các cận suy đoán đã tồn tại lâu nay, qua đó chứng minh ít nhất n^(1+δ) cặp điểm có khoảng cách đơn vị với một δ>0. Các nhà toán học tại Princeton đã xác minh kết quả, với những nhân vật như Tim Gowers và Arul Shankar gọi đây là một bước tiến đáng kể. Các ý chính: OpenAI giải câu đố năm 1946 của Paul Erdős bằng các cách dựng n^(1+δ) cặp điểm cách nhau đúng 1 đơn vị. Princ
Coinpedia·05-31 21:24