Mô hình OpenAI lật đổ giả thuyết Erdős 80 năm tuổi, đạt được cặp khoảng cách đơn n^(1+δ)

Theo Beating, mô hình suy luận tổng quát của OpenAI đã lật đổ giả thuyết khoảng cách đơn vị do Erdős đề xuất vào năm 1946. Giả thuyết cổ điển cho rằng số cặp điểm ở khoảng cách đơn vị trên mặt phẳng sẽ không vượt quá đáng kể n^(1+o(1)); tuy nhiên, cách xây dựng tập điểm mới của mô hình đạt được n^(1+δ) cặp điểm, trong đó δ là một hằng số dương, phá vỡ giới hạn trên được duy trì trong gần 80 năm.

Mô hình đã hoàn tất chứng minh này mà không cần các hệ thống toán học chuyên dụng hay công cụ tùy chỉnh. Các nhà toán học bên ngoài bao gồm Noga Alon, Tim Gowers và Arul Shankar đã xác minh chứng minh gốc và đăng một bài viết hỗ trợ trên arXiv, xác nhận rằng phép suy ra sử dụng các kỹ thuật nâng cao từ lý thuyết số đại số.