Maxwell Conjecture bị bác bỏ - GPT-5.6 Sol đóng góp ý tưởng hình học

Ba nhà toán học vừa bác bỏ Maxwell Conjecture, một giả thuyết tồn tại 19 năm, bằng một cấu hình 5 điện tích tạo ra ít nhất 24 điểm cân bằng, vượt xa trần dự đoán là 16, và ý tưởng hình học phía sau đến từ GPT-5.6 Sol.

Tóm tắt các điểm chính

• Maxwell Conjecture đặt trần (n−1)² cho số điểm cân bằng tĩnh điện của n điện tích. Với 5 điện tích, trần đó là 16.
• Philip Arathoon, Gavin Ball và Matthew Kvalheim xây dựng một cấu hình 5 điện tích đạt ít nhất 24 điểm cân bằng, một phản ví dụ trực tiếp, công bố trên arXiv ngày 29/7/2026.
• GPT-5.6 Sol đề xuất ý tưởng hình học: nhiễu loạn một cấu hình đối xứng bằng các điện tích nhỏ ngoài trục. Ba tác giả thực hiện toàn bộ phân tích, đại số máy tính và viết chứng minh.
• Kỹ thuật này có thể lặp lại, tạo ra tỷ lệ tiệm cận 10 điểm cân bằng trên mỗi điện tích, vượt tỷ lệ 25/7 mà Herbert Edelsbrunner, Christopher Fillmore và Gonçalo Oliveira đạt được trước đó trong cùng năm.
• Bài toán chưa qua bình duyệt chính thức, và trần chính xác thay thế (n−1)² hiện vẫn chưa được biết.

Maxwell Conjecture phát biểu điều gì?

Maxwell Conjecture khẳng định rằng nếu tất cả điểm cân bằng của điện thế do n điện tích tạo ra đều không suy biến, số điểm đó tối đa là (n−1)². James Clerk Maxwell nêu câu hỏi này trong một đoạn ngắn của cuốn Treatise on Electricity and Magnetism năm 1873. Câu hỏi bị lãng quên gần một thế kỷ, cho đến khi Marston Morse và Stewart Cairns đặt lại vấn đề tương tự vào năm 1969 mà dường như không biết Maxwell đã từng đề cập.

Phát biểu chính xác mà giới toán học hiện đang tranh luận xuất hiện năm 2007, khi Andrei Gabrielov, Dmitry Novikov và Boris Shapiro đọc kỹ đoạn văn của Maxwell và chuyển nó thành một giả thuyết hình thức. Trần này đúng hiển nhiên với 2 điện tích. Với 3 điện tích, chưa ai biết liệu 4 có thực sự là số tối đa hay không, ngoại trừ trường hợp đặc biệt khi cả ba điện tích bằng nhau.

Điểm cân bằng tĩnh điện là gì?

Điểm cân bằng là vị trí mà lực từ tất cả các điện tích trong một hệ triệt tiêu lẫn nhau hoàn toàn, khiến một hạt thử đặt tại đó không chịu lực tổng hợp nào. Mỗi điện tích tạo ra một trường lực. Khi đặt nhiều điện tích trong không gian, các trường này chồng lên nhau, đẩy và kéo theo nhiều hướng khác nhau tại mỗi điểm.

Việc đếm số điểm cân bằng không đơn thuần là một bài toán liệt kê. Số lượng và cách sắp xếp các điểm này giới hạn hình dạng của toàn bộ trường lực, tương tự cách các điểm bằng phẳng trên một dãy núi giới hạn cách dãy núi đó có thể được tạo hình. Một trần cho số điểm cân bằng thực chất là một tuyên bố về mức độ phức tạp mà một trường tĩnh điện được phép đạt tới.

Cấu hình 5 điện tích phản bác giả thuyết như thế nào?

Ba tác giả xây dựng một cấu hình 5 điện tích tạo ra ít nhất 24 điểm cân bằng không suy biến, vượt xa trần dự đoán 16 của Maxwell Conjecture. Cấu trúc được mô tả qua 4 bước:

1. Đặt ba điện tích đơn vị tại các đỉnh của một tam giác đều. Cấu hình này tạo ra 4 điểm cân bằng: một ở tâm, ba dịch chuyển vào trong dọc theo các cạnh.

2. Thêm hai điện tích nhỏ hơn nhiều trên trục đối xứng, một phía trên và một phía dưới mặt phẳng, tạo thành một hình chóp đôi tam giác nông.

3. Ba điểm cân bằng ở cạnh vẫn tồn tại sau khi thêm điện tích. Điểm ở tâm thì không: nó phân rã thành một họ 21 điểm cân bằng, gồm 10 điểm thuộc một chỉ số Morse và 11 điểm thuộc chỉ số còn lại.

4. Ba cộng hai mươi mốt cho ra ít nhất 24 điểm cân bằng không suy biến từ 5 điện tích, trong khi trần dự đoán chỉ là 16.

Giá trị các điện tích không phải chọn tùy ý. Các tác giả chọn một giá trị cụ thể sao cho số hạng bậc cao nhất trong điện thế của các điện tích nhỏ triệt tiêu số hạng tương ứng từ tam giác, đây chính là điều làm lộ ra cấu trúc chi tiết tạo ra 21 điểm cân bằng. Các tác giả sau đó áp dụng một lập luận transversality trên một tập điện tích đã nhiễu loạn nhẹ, để loại bỏ khả năng tồn tại điểm suy biến ở vị trí khác trong cấu hình.

Kỹ thuật này có thể lặp lại: thêm một cặp điện tích nhỏ nữa sẽ tạo thêm 20 điểm cân bằng với chi phí chỉ 2 điện tích, cho ra các cấu hình 3 + 2m điện tích với ít nhất 4 + 20m điểm cân bằng. Tỷ lệ tiệm cận này đạt 10 điểm cân bằng trên mỗi điện tích, vượt tỷ lệ 25/7 mà Herbert Edelsbrunner, Christopher Fillmore và Gonçalo Oliveira đạt được trước đó trong cùng năm.

GPT-5.6 Sol đóng góp cụ thể điều gì?

GPT-5.6 Sol đề xuất ý tưởng nhiễu loạn một cấu hình đối xứng bằng các điện tích nhỏ ngoài trục để làm một điểm suy biến phân rã, trong khi ba tác giả tự kiểm tra toàn bộ toán học và viết lập luận bằng lời văn của chính họ. Phần công bố đóng góp trong bài báo chỉ gồm vài câu, xác nhận rằng ý tưởng cho construction này đến từ một LLM (GPT-5.6 Sol của OpenAI), trong khi Mathematica và Maple xử lý phần tính toán và tạo hình.

Từ gợi ý đó, ba tác giả phát triển thành khai triển Taylor của các đa thức điều hòa, một phép phân loại 21 điểm cân bằng theo dấu Hessian, ba lần áp dụng định lý hàm ẩn, và một lập luận transversality. Sinh ra ý tưởng và chứng minh định lý là hai việc khác nhau với hai kiểu thất bại khác nhau: một ý tưởng không hoạt động chỉ tốn một buổi chiều, còn một chứng minh không hoạt động có thể dẫn đến việc phải rút bài.

Infinity đánh giá: Cách gọi đóng góp này là "chỉ một ý tưởng" đang đánh giá thấp giá trị thực sự của nó. Bất kỳ ai cũng có thể đề xuất nhiễu loạn một cấu hình đối xứng, nhưng phần khó là đề xuất đúng loại nhiễu loạn, với các điện tích trục nhỏ, trên đúng cấu hình nền, trong một không gian tìm kiếm gần như vô hạn các khả năng. Khả năng chọn đúng hướng để thử vốn chiếm một phần lớn công việc nghiên cứu toán học, và điều đáng chú ý ở đây là gợi ý này đến từ một mô hình chứ không phải từ trực giác tích lũy hàng thập kỷ của một chuyên gia.

Vì sao kết quả này quan trọng?

Maxwell Conjecture, một giả thuyết hình thức đã tồn tại 19 năm và từng là giả định tổ chức của cả một lĩnh vực nghiên cứu, giờ đây được chỉ ra là sai. Cần phân biệt rõ: Maxwell chỉ đặt câu hỏi và đưa ra một quan sát vào năm 1873, ông không phát biểu giả thuyết vừa sụp đổ. Giả thuyết chính thức chỉ ra đời năm 2007.

Phản ví dụ là một preprint arXiv dài 4 trang, chưa qua bình duyệt, với bước trung tâm là một phép phân loại Hessian được kiểm tra bằng đại số máy tính, nên các lưu ý thông thường vẫn cần áp dụng. Tuy nhiên lập luận ngắn gọn, tường minh và dễ để người khác kiểm chứng.

Việc biết trần (n−1)² là sai không đồng nghĩa với việc biết trần chính xác là bao nhiêu. Construction lặp của các tác giả đẩy cận dưới đã biết lên khoảng 10 điểm cân bằng trên mỗi điện tích, đây là một sàn chứ chưa phải đáp án cuối cùng. Ngay cả trường hợp 3 điện tích, câu hỏi liệu có thể tạo ra nhiều hơn 4 điểm cân bằng hay không vẫn còn bỏ ngỏ.

AI đang đóng vai trò gì trong khám phá toán học?

Từ tháng 10/2025 đến đầu năm 2026, các công cụ AI đã giúp chuyển khoảng 100 bài toán trong cơ sở dữ liệu Erdős problem sang cột đã giải quyết, và Terence Tao từng duy trì một trang theo dõi việc này cho đến khi ngừng cập nhật vào cuối tháng 6/2026. Phần lớn đóng góp là tìm kiếm tài liệu, tức mô hình tìm ra một bài báo cũ đã giải quyết vấn đề từ trước. Một số trường hợp không dừng ở đó: một vài lời giải là lập luận nguyên bản do mô hình tổng hợp phần lớn, và Tao từng đánh dấu ít nhất một trường hợp là đạt cột mốc thực sự.

Mô hình chung xuất hiện xuyên suốt các trường hợp này, và khớp với những gì xảy ra ở Maxwell Conjecture: các mô hình AI giỏi ở việc đề xuất ứng viên, quét qua khối lượng tài liệu mà không một cá nhân nào có thể ghi nhớ hết, và tìm kiếm không gian các construction suốt đêm mà không mệt mỏi. Việc xác minh vẫn thuộc về con người và các trợ lý chứng minh như Lean.

Infinity nhận thấy ranh giới hiện tại nằm ở formal theorem proving, tức việc một mô hình tự tạo ra một chứng minh hoàn chỉnh, được kiểm tra bằng máy cho một bài toán cấp nghiên cứu mà không cần con người tham gia. Giới hạn không hẳn nằm ở khả năng sáng tạo: các mô hình hiện tại vẫn bịa nguồn tham chiếu, vẫn mất mạch lập luận trong các chuỗi suy luận dài, và vẫn giỏi tạo ứng viên hơn nhiều so với việc biết ứng viên nào đúng.

Những hiểu lầm phổ biến về kết quả này là gì?

GPT-5.6 Sol không tự chứng minh định lý một cách độc lập, mô hình chỉ đề xuất construction hình học, còn toàn bộ phần khai triển, phân loại Hessian và lập luận transversality là công việc của ba tác giả. Một số điểm khác cần làm rõ:

• Mathematica và Maple chỉ kiểm tra tính toán và tạo hình. Việc xác minh toán học do chính ba tác giả thực hiện, và họ nêu rõ điều này trong bài báo.
• Maxwell Conjecture không phải định lý chính thức của Maxwell. Maxwell chỉ đưa ra một quan sát năm 1873, còn Gabrielov, Novikov và Shapiro mới là người phát biểu giả thuyết vào năm 2007 dựa trên cách đọc đoạn văn đó.
• Bài toán chưa được giải quyết hoàn toàn. Giả sử phản ví dụ đứng vững, giới toán học chỉ biết (n−1)² là sai, chứ chưa biết trần đúng là gì, và trường hợp 3 điện tích vẫn còn bỏ ngỏ.

Kết luận

Maxwell Conjecture sụp đổ nhờ một sự kết hợp: một ý tưởng hình học do AI tạo ra, và ba nhà toán học bỏ công biến nó thành một chứng minh có thể kiểm chứng được. Điều đáng chú ý ở đây không nằm ở quy mô của đóng góp mà nằm ở hình dạng của nó: một mô hình không có lợi ích gì trong bài toán đã đề xuất một construction mà chính những người quan tâm nhất đến vấn đề này chưa từng thử trên cấu hình đó, và nó đã hoạt động. Câu hỏi rộng hơn về việc n điện tích có thể tạo ra tối đa bao nhiêu điểm cân bằng vẫn còn bỏ ngỏ, cũng như câu hỏi nghiên cứu sẽ trông như thế nào khi việc sinh ý tưởng không còn là nguồn lực khan hiếm.

Nguồn: Infinity - đơn vị cung cấp giải pháp Digital Marketing tích hợp cho doanh nghiệp — từ thiết kế website chuẩn SEO & UX/UI, dịch vụ AI SEO (GEO/AEO), PR Digital, sáng tạo nội dung số, quảng cáo trực tuyến (SEM/Ads) đến phân tích dữ liệu Marketing. Với nền tảng nghiên cứu và dữ liệu thực chiến, chúng tôi giúp doanh nghiệp xây dựng chiến lược thương hiệu bền vững và tăng trưởng có hệ thống trong kỷ nguyên AI.