Mô hình chung phá vỡ các bài toán hình học khó khăn suốt 80 năm, điều này có phần hơi quá đáng

Theo giám sát Beating, một mô hình suy luận chung của OpenAI lần đầu tiên phá vỡ giả thuyết khoảng cách đơn vị của mặt phẳng Erdős.
Thông qua cấu trúc tập điểm mới, nâng cấp số lượng khoảng cách đơn vị lên n^{1+δ}, phá vỡ dự đoán giới hạn gần 80 năm.
Mô hình không sử dụng công cụ đặc biệt, mà còn kết hợp các công cụ sâu trong số học đại số vào hình học Euclid.
Các học giả bên ngoài đã phát hành giải thích, chỉ ra rằng quá trình suy luận liên quan đến các ý tưởng của Ellenberg–Venkatesh, Golod–Shafarevich và các phương pháp khác.
Thành tựu này được xem là bước ngoặt trong toán học AI, cho thấy mô hình chung có thể đề xuất ý tưởng sáng tạo và thúc đẩy chứng minh mà không cần công cụ chuyên dụng.