GPT-5.6 giúp bác bỏ giả thuyết Maxwell — nhưng không phải giả thuyết mà mọi người nghĩ
OpenAI
Một bản in trước trên arXiv tuyên bố bác bỏ cái gọi là giả thuyết Maxwell về số điểm cân bằng tối đa cho các điện tích điểm, với ý tưởng chính được gán cho mô hình GPT-5.6 Sol của OpenAI. Giả thuyết được đưa ra vào năm 2007, liên quan đến giới hạn (n−1)² điểm cân bằng không suy biến cho n điện tích. Phản ví dụ sử dụng cấu hình năm điện tích tạo ra ít nhất 24 điểm cân bằng, vượt quá con số dự đoán là 16.
Ngày 29 tháng 7, một bài viết ngắn có tiêu đề 'The Maxwell Conjecture is False' (Giả thuyết Maxwell là sai) xuất hiện trên arXiv. Sáng hôm sau, đồng tác giả Philip Aratun viết trên mạng xã hội rằng giả thuyết này là sai và AI đã tìm ra phản ví dụ, còn các nhà toán học chỉ đơn thuần truyền đạt lại kết quả đó. Greg Brockman, chủ tịch OpenAI, đã chia sẻ lại bài viết này và tin tức nhanh chóng lan rộng. Tuy nhiên, nhiều người đã hiểu sai ý nghĩa, tưởng rằng nó liên quan đến các phương trình Maxwell, dẫn đến những câu hỏi về điện từ học. Giả thuyết thực sự, được Gabrielov, Novikov và Shapiro đưa ra năm 2007, liên quan đến số lượng tối đa các điểm cân bằng không suy biến (non-degenerate) đối với n điện tích điểm, được đề xuất là không vượt quá (n−1)². Phản ví dụ liên quan đến ba điện tích đơn vị đặt tại các đỉnh của một tam giác đều (tạo ra bốn điểm cân bằng) và thêm hai điện tích rất nhỏ dọc theo một trục vuông góc, chia điểm cân bằng trung tâm thành 21 điểm mới, tổng cộng ít nhất là 24 điểm. Độ lớn của các điện tích được thêm vào phải có tỷ lệ theo ε³ với một hệ số được xác định duy nhất. Bản in trước (preprint) này ghi nhận công của mô hình ngôn ngữ GPT-5.6 Sol trong việc đề xuất ý tưởng xây dựng, trong khi các tác giả đã kiểm chứng phần toán học, với Mathematica và Maple được sử dụng để kiểm tra. Ý nghĩa của kết quả này đã gây tranh luận: một số người cho rằng nó chỉ mang tính chuyên biệt hẹp (niche), nhưng nó đóng vai trò như một bài kiểm tra đối với AI, và nó vẫn để lại câu hỏi chưa có lời giải về bậc tăng trưởng thực sự, trong khi các giới hạn trước đó có dạng siêu mũ (super-exponential). Kết quả này chưa qua bình duyệt (peer review) và chưa được hình thức hóa trong Lean, nhưng nó mang tính sơ cấp và có thể tái tạo được, và chưa có ai công khai phản đối trong vòng năm ngày qua.
Nguồn: Habr — хаб ИИ —
bản gốc
