Câu trả lờiĐã xuất bản25 nguồn
Hai tuyên bố về chứng minh toán học của AI vẫn cần giới chuyên môn thẩm định
Ngày 26/10/2026, OpenAI nêu ba kết quả nghiên cứu do mô hình nội bộ tạo ra; Anthropic sau đó cũng tuyên bố Claude tìm được cách bác bỏ Giả thuyết Thời gian Mũ (ETH). OpenAI công khai hai bản thảo toán học kèm hình thức hóa bằng Lean; phần tài liệu về vật lý vẫn chưa được công bố trong quy trình thẩm định được tường...
Đăng bởiBiên tập bằng GPT-6 LunaHình ảnh được tạo bằng GPT Image 2
Câu trả lời nghiên cứu
Bài học chính
- Ngày 26/10/2026, OpenAI nêu ba kết quả nghiên cứu do mô hình nội bộ tạo ra; Anthropic sau đó cũng tuyên bố Claude tìm được cách bác bỏ Giả thuyết Thời gian Mũ (ETH).
- OpenAI công khai hai bản thảo toán học kèm hình thức hóa bằng Lean; phần tài liệu về vật lý vẫn chưa được công bố trong quy trình thẩm định được tường thuật.
- Các tuyên bố chưa được chuyên gia độc lập xác nhận. Một thuật toán thời gian dưới hàm mũ, nếu đúng, bác bỏ ETH nhưng không tự nó chứng minh P = NP.
Prompt AI
openai.comCreate a landscape editorial hero image for this Studio Global article: What did OpenAI and Anthropic claim their internal AI models achieved on October 26, 2026, and how do these unreviewed claims, their signifi. Article summary: On October 26, 2026, OpenAI claimed that its internal models had produced breakthroughs in harmonic analysis, computational complexity, and quantum field theory; Anthropic announced a competing claimed refutation of the . Topic tags: general, general web. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermarks, charts with fake numbers, clic
Ngày 26/10/2026, OpenAI cho biết các mô hình nội bộ của hãng tạo ra kết quả trong phân tích điều hòa, độ phức tạp tính toán và lý thuyết trường lượng tử. Vài giờ sau, Anthropic đưa ra tuyên bố cạnh tranh về Giả thuyết Thời gian Mũ (ETH). Những kết quả này có thể quan trọng vượt ra ngoài lĩnh vực AI, nhưng các bản tin khi đó cho biết chúng chưa được xác nhận độc lập. 2
3
7
OpenAI tuyên bố những gì?
Chứng minh giả thuyết làm trơn cục bộ. Kho mã công khai của OpenAI có bản thảo và phần hình thức hóa bằng Lean cho công trình Local smoothing for the Euclidean wave equation. Theo mô tả trong kho mã, chứng minh này thiết lập giả thuyết làm trơn cục bộ của Sogge đối với sóng trong mọi số chiều không gian từ hai trở lên. Kết quả cũng được cho là kéo theo các giả thuyết Kakeya về cực đại và số chiều, cùng các ước lượng hạn chế cầu của Stein trong phần nằm bên trong miền dự đoán. 17 Một bản tin khác cho biết giả thuyết của Sogge có từ năm 1991.
6 Phạm vi được nêu không đồng nghĩa với việc mọi phiên bản của giả thuyết hạn chế Stein đều đã được giải quyết.
Bác bỏ ETH. OpenAI nói mô hình của hãng tìm được một chứng minh bác bỏ ETH — giả thuyết về độ khó tính toán của các bài toán thỏa mãn công thức Boolean. Hãng cũng mô tả ETH là một giả định được dùng trong nhiều kết quả có điều kiện của khoa học máy tính. 13 Theo các bản tin, mô hình đưa ra kết quả vào ngày 16/10 và phần chứng minh được hình thức hóa bằng Lean vào ngày hôm sau.
32 Kho mã công khai của OpenAI đăng bản thảo mang tên The Exponential Time Hypothesis is False.
17
Nếu đúng, việc bác bỏ ETH có thể làm thay đổi địa vị của những kết quả dựa trên giả thuyết này. Tuy nhiên, thuật toán chạy trong thời gian dưới hàm mũ không mặc nhiên là thuật toán đa thức: chẳng hạn, 2^√n là dưới hàm mũ theo n nhưng vẫn tăng nhanh hơn mọi đa thức cố định. Vì thế, ngay cả một thuật toán 2^o(n) hợp lệ cho 3-SAT cũng sẽ bác bỏ ETH, nhưng riêng điều đó không chứng minh P = NP. Hai câu hỏi có liên quan, nhưng không thể xem là một. 13
33
Kết quả tồn tại trong lý thuyết trường lượng tử. OpenAI còn tuyên bố đã có chứng minh tồn tại chặt chẽ về mặt toán học cho một số lý thuyết trường lượng tử tương tác trong bốn chiều, bao gồm sắc động lực học lượng tử (QCD). 1 Các bản tin mô tả tuyên bố này là kết quả về sự tồn tại; chúng không cho thấy bài toán Thiên niên kỷ rộng hơn về Yang–Mills — trong đó có câu hỏi về khoảng khối lượng — đã được giải quyết.
1
16
Tuyên bố ETH riêng của Anthropic
Không lâu sau, Anthropic đưa ra tuyên bố rằng họ cũng bác bỏ được ETH. Một bản tin nêu tên bài báo là A 2^o(n) Time Algorithm for 3-SAT và ghi công Claude; bài viết cũng dẫn lời nhà toán học Levent Alpöge của Anthropic rằng thuật toán cốt lõi được mô hình nghiên cứu nội bộ tìm ra ngày 16/10 “không có sự tham gia của con người”, sau đó các nhà nghiên cứu làm việc với Claude để trình bày bài báo. 9
33 Đây là thông tin được tường thuật về quá trình tạo ra kết quả, không phải xác nhận độc lập rằng chứng minh đúng.
Điểm đáng chú ý là các bản tin cho biết cả hai phòng thí nghiệm đều xác định ngày có kết quả ETH cốt lõi là 16/10. 9
32 Theo tường thuật về nhóm thẩm định bên ngoài của OpenAI, việc xem xét dự kiến có Russell Impagliazzo, Ramamohan Paturi và Ryan Williams tham gia.
20 Nhưng câu hỏi quan trọng không phải phòng thí nghiệm nào công bố trước, mà là các chuyên gia độc lập có thể kiểm tra lập luận và xác nhận hệ quả của nó hay không. Những thông tin hiện có cho biết các tuyên bố vẫn chưa hoàn tất quá trình thẩm định độc lập.
3
5
33
Khác biệt trong cách công bố và câu hỏi về tính minh bạch
OpenAI mô tả các bản thảo do AI tạo ra là “dữ liệu nghiên cứu thô”, cần các học giả bên ngoài giúp chuyển thành hiểu biết khoa học. 2
11 Hãng đăng công khai các bản thảo về làm trơn cục bộ và ETH kèm phần hình thức hóa bằng Lean.
17 Ngược lại, theo các bản tin, nhóm vật lý giữ lại tài liệu do AI tạo ra trong lúc chuẩn bị bản trình bày riêng; David Gross được nêu tên trong nhóm chuyên gia bên ngoài liên quan đến công việc này.
11
32
Một số lo ngại về tính minh bạch cũng xuất hiện quanh các đợt công bố trước đó của OpenAI. Bản tổng hợp của AI Edge Briefing cho biết chỉ 10 trong số 719 bản thảo được phát hành có đầu ra chuỗi suy luận của mô hình; đồng thời, siêu dữ liệu có thể đọc bằng máy để liên kết bản thảo ngôn ngữ tự nhiên với các hiện vật hình thức hóa mà nhóm cố vấn yêu cầu đã không được cung cấp. 18 Đây là bối cảnh hữu ích khi đánh giá cách công bố, nhưng tự nó không xác nhận mọi phản đối được nêu về các thông báo ngày 26/10.
Điều cần phân biệt là một tuyên bố nghiên cứu gây chú ý với một kết quả đã được xác minh. OpenAI cho phép công chúng xem xét hai tuyên bố toán học qua bản thảo và tài liệu Lean, trong khi tài liệu vật lý vẫn chưa được công bố theo quy trình được tường thuật. Anthropic đưa ra tuyên bố ETH cạnh tranh cùng lời kể về cách mô hình tham gia tạo ra kết quả. Cho đến khi các chuyên gia bên ngoài kiểm tra chứng minh và xác nhận chúng thực sự cho thấy điều gì, chưa nên xem tuyên bố của bên nào là phát hiện khoa học đã ngã ngũ. 3
11
17
33
Studio Global AI
Tiếp tục nghiên cứu của bạn
Trang này bao gồm câu trả lời dựa trên nguồn mà bạn có thể tiếp tục bên trong Studio Global.
Người ta cũng hỏi
Câu trả lời ngắn gọn cho "Hai tuyên bố về chứng minh toán học của AI vẫn cần giới chuyên môn thẩm định" là gì?
Ngày 26/10/2026, OpenAI nêu ba kết quả nghiên cứu do mô hình nội bộ tạo ra; Anthropic sau đó cũng tuyên bố Claude tìm được cách bác bỏ Giả thuyết Thời gian Mũ (ETH).
Những điểm chính cần xác nhận đầu tiên là gì?
Ngày 26/10/2026, OpenAI nêu ba kết quả nghiên cứu do mô hình nội bộ tạo ra; Anthropic sau đó cũng tuyên bố Claude tìm được cách bác bỏ Giả thuyết Thời gian Mũ (ETH). OpenAI công khai hai bản thảo toán học kèm hình thức hóa bằng Lean; phần tài liệu về vật lý vẫn chưa được công bố trong quy trình thẩm định được tường thuật.
Tôi nên làm gì tiếp theo trong thực tế?
Các tuyên bố chưa được chuyên gia độc lập xác nhận. Một thuật toán thời gian dưới hàm mũ, nếu đúng, bác bỏ ETH nhưng không tự nó chứng minh P = NP.