AI tạo phản ví dụ cho giả thuyết “unit distance” của Erdős

Giả thuyết ban đầu của Erdős

Erdős từng xây dựng các tập điểm sắp xếp gần giống lưới √n × √n. Cấu hình này tạo ra khoảng

n^(1 + Ω(1 / log log n))

cặp điểm cách nhau 1 đơn vị.

Ông phỏng đoán rằng kết quả này về cơ bản đã gần tối ưu — nghĩa là số cặp khoảng cách 1 chỉ tăng gần tuyến tính theo n, chứ không thể đạt dạng n^(1+δ) với δ cố định dương.

Trong khi đó, một kết quả quan trọng của Spencer, Szemerédi và Trotter (1984) cho thấy giới hạn trên

ν(n) = O(n^(4/3)).

Khoảng cách lớn giữa cận dưới và cận trên khiến bài toán trở thành một vấn đề trung tâm trong hình học rời rạc.

Phản ví dụ do AI tạo ra

Công trình mới cho thấy tồn tại các họ tập điểm trên mặt phẳng sao cho

ν(n) ≥ n^(1+δ)

với δ > 0 cố định và vô hạn giá trị n.

Điều này mâu thuẫn trực tiếp với giả thuyết của Erdős, vì giả thuyết cho rằng ν(n) chỉ có thể tăng nhỉnh hơn tuyến tính một chút (dạng n^(1+o(1))).

Nói cách khác, cấu hình mới cho thấy có thể tạo ra nhiều hơn theo cấp đa thức số cạnh khoảng cách 1 so với những gì người ta từng tin là tối đa.

Ý tưởng toán học chính: từ lưới hình học sang lý thuyết số

Các cấu hình cổ điển thường dựa vào lưới hoặc cấu trúc hình học đơn giản. Phương pháp mới lại đi theo hướng hoàn toàn khác: lý thuyết số đại số.

Ở mức khái quát, chứng minh sử dụng một số thành phần toán học sâu:

• Các trường số hoàn toàn thực được sắp xếp thành tháp trường lớp vô hạn với tính chất tách đặc biệt
• Các cấu trúc kiểu Golod–Shafarevich, đảm bảo sự tồn tại của những tháp trường vô hạn với cấu trúc số học được kiểm soát
• CM fields, thu được bằng cách thêm đơn vị ảo i vào các trường số

Những cấu trúc này sinh ra các lattice nhiều chiều có rất nhiều phần tử có chuẩn bằng 1. Khi ánh xạ cấu trúc đó xuống mặt phẳng Euclid, các quan hệ chuẩn 1 tương ứng với nhiều cạnh khoảng cách 1 giữa các điểm.

Điểm mạnh của phương pháp là lý thuyết số cho phép tạo ra nhiều quan hệ khoảng cách phong phú hơn so với cách xây dựng bằng lưới truyền thống.

Vì sao điều này bác bỏ giả thuyết Erdős

Sự khác biệt nằm ở tốc độ tăng trưởng.

Giả thuyết Erdős cho phép tối đa

n^(1 + o(1))

cặp khoảng cách 1.

Trong khi đó, cấu hình mới đạt

n^(1 + δ)

với δ dương cố định. Khi n tăng, khoảng cách giữa hai biểu thức này ngày càng lớn, nên giả thuyết ban đầu không thể đúng.

Sự kiểm chứng của các nhà toán học

Sau khi kết quả được đưa ra, một nhóm các nhà toán học đã công bố bản tóm lược đã được con người kiểm chứng của lập luận cùng với các nhận xét về ý nghĩa của nó.

Những người tham gia bao gồm Noga Alon, Timothy Gowers, Thomas Bloom, Will Sawin, Melanie Matchett Wood và nhiều nhà nghiên cứu khác.

Tài liệu của họ giải thích cách lập luận kết nối nhiều nhánh của lý thuyết số — đặc biệt là các ý tưởng liên quan đến Golod–Shafarevich towers và các kỹ thuật đại số sâu — để tạo ra cấu hình hình học dẫn tới phản ví dụ.

Vì sao kết quả này thu hút chú ý lớn

Kết quả được chú ý vì nó có thể là một trong những trường hợp đầu tiên mà hệ thống AI tạo ra lời giải mới cho một giả thuyết toán học nổi bật, thay vì chỉ tìm lại lời giải đã tồn tại trong tài liệu.

Trong các thử nghiệm trước đây, đôi khi AI đưa ra lời giải đúng nhưng sau đó phát hiện rằng kết quả đã có trong văn học toán học. Trong trường hợp này, công trình được trình bày như một phản ví dụ mới cho giả thuyết tồn tại từ năm 1946.

Nếu cộng đồng toán học cuối cùng xác nhận hoàn toàn chứng minh này, đây có thể trở thành một cột mốc quan trọng cho toán học hỗ trợ bởi AI.

Điều gì sẽ xảy ra tiếp theo

Các kết quả lớn trong toán học thường trải qua quá trình kiểm tra kéo dài. Những bước tiếp theo có thể bao gồm:

• kiểm chứng chi tiết từng phần của chứng minh
• tìm các cách trình bày đơn giản hơn
• nghiên cứu hệ quả đối với các bài toán hình học rời rạc liên quan

Dù kết luận cuối cùng ra sao, công trình này cho thấy một xu hướng mới trong nghiên cứu toán học: kết hợp hệ thống suy luận tự động với sự kiểm chứng của con người để khám phá những cấu trúc toán học phức tạp.