Câu trả lờiĐã xuất bản12 nguồn
AlphaProof Nexus giải 9 bài toán Erdős: cần hiểu đúng những con số
Bản tiền ấn phẩm tháng 5 năm 2026 báo cáo AlphaProof Nexus giải 9 trong 353 bài toán Erdős và chứng minh 44 trong 492 phỏng đoán OEIS — tương ứng khoảng 2,5% và 8,9% các tập được thử nghiệm. Nhóm nghiên cứu cho biết chuyên gia đã kiểm tra xem phát biểu Lean của từng lời giải Erdős có phản ánh đúng phỏng đoán ban đầu...
Đă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
- Bản tiền ấn phẩm tháng 5 năm 2026 báo cáo AlphaProof Nexus giải 9 trong 353 bài toán Erdős và chứng minh 44 trong 492 phỏng đoán OEIS — tương ứng khoảng 2,5% và 8,9% các tập được thử nghiệm.
- Nhóm nghiên cứu cho biết chuyên gia đã kiểm tra xem phát biểu Lean của từng lời giải Erdős có phản ánh đúng phỏng đoán ban đầu hay không.
- Các số liệu là những kết quả chọn lọc trong những tập bài toán cụ thể; chúng chưa tự chứng minh tính mới, ý nghĩa toán học hay khả năng tự nghiên cứu đáng tin cậy của hệ thống.
Prompt AI
openai.comCreate a landscape editorial hero image for this Studio Global article: What does Google DeepMind’s October 8, 2026 Science paper, following its May arXiv preprint, report about AlphaProof Nexus’s solutions to ni. Article summary: The May preprint reports a meaningful but selective advance: AlphaProof Nexus resolved nine of 353 Erdős problems and proved 44 of 492 OEIS conjectures, with reported computing costs of a few hundred dollars per solved E. Topic tags: general, academic, general web, user generated, government. 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, wate
Bản tiền ấn phẩm đăng tháng 5 năm 2026 cho biết AlphaProof Nexus của Google DeepMind đã giải 9 trong 353 bài toán Erdős còn mở và chứng minh 44 trong 492 phỏng đoán từ OEIS, tức Bách khoa toàn thư trực tuyến về các dãy số nguyên. Nhóm nghiên cứu ước tính chi phí tính toán ở mức vài trăm USD cho mỗi bài toán Erdős được giải. 17
Đây là kết quả đáng chú ý trong việc dùng AI để tìm kiếm chứng minh hình thức. Nhưng các con số ấy không đồng nghĩa hệ thống có thể giải mọi bài toán chưa có lời giải, cũng không tự xác nhận rằng mỗi kết quả đều mới hoặc có ý nghĩa lớn trong toán học.
Những con số cho thấy điều gì?
Tính trên các tập được đánh giá, 9/353 tương đương khoảng 2,5% số bài toán Erdős; 44/492 tương đương khoảng 8,9% số phỏng đoán OEIS. Đây là tỷ lệ thành công trong những tập cụ thể mà nhóm nghiên cứu đưa vào thử nghiệm, không phải xác suất hệ thống sẽ giải được một câu hỏi toán học bất kỳ. 17
Các tác giả cho biết sau mỗi lời giải Erdős, chuyên gia trong nhóm đã kiểm tra xem phát biểu được mã hóa bằng Lean có diễn đạt trung thực phỏng đoán gốc hay không. Đây là bước quan trọng: một chứng minh hình thức chỉ giải quyết đúng bài toán nếu mệnh đề được hình thức hóa khớp với điều mà bài toán ban đầu muốn hỏi. 17
Chi phí được nêu cũng cần đọc đúng phạm vi. Mức “vài trăm USD” là chi phí cho mỗi bài toán Erdős được giải; riêng con số này chưa cho biết tổng chi phí của các lượt tìm kiếm thất bại hay hiệu quả kinh tế của toàn bộ quá trình. 17
Lean kiểm tra chứng minh, nhưng không trả lời mọi câu hỏi
Theo mô tả trong bản tiền ấn phẩm, AlphaProof Nexus là một khuôn khổ tìm kiếm chứng minh có AI hỗ trợ. Trong quy trình này, chứng minh được viết theo dạng hình thức bằng một hệ thống như Lean, rồi trình kiểm tra của Lean xác nhận lập luận có tuân theo mệnh đề đã nhập hay không. 17
Việc Lean chấp nhận một chứng minh mang lại cơ sở mạnh để tin rằng lập luận hình thức là hợp lệ đối với mệnh đề đó. Nhưng nó không tự xác nhận mệnh đề có khớp với bài toán gốc hay không, kết quả đã từng được chứng minh trước đó chưa, hoặc kết quả có ý nghĩa đến đâu. Vì vậy, việc nhóm nghiên cứu nói rằng chuyên gia đã đối chiếu phát biểu Lean với các phỏng đoán Erdős là một phần thiết yếu khi đánh giá thành tích được công bố. 17
Những gì nguồn hiện có chưa xác nhận
Một bản tin đăng tháng 10 cho biết hai trong số các kết quả Erdős liên quan đến những câu hỏi Paul Erdős và András Sárközy đặt ra năm 1970. Đây là thông tin từ báo chí thứ cấp, không phải mô tả trực tiếp trong bản tiền ấn phẩm được trích dẫn ở đây. 19
Các nguồn hiện có gồm bản tiền ấn phẩm tháng 5 và một số bài báo thứ cấp, nhưng không có toàn văn bài báo Science tháng 10 hoặc các đánh giá độc lập chi tiết để thẩm định từng tuyên bố. Vì thế, những nguồn này chưa đủ xác nhận phiên bản mô hình được nêu, các kết quả cụ thể về hình học đại số và tối ưu hóa min-max, hay chiến lược chứng minh có thực sự mới hay không. Chúng cũng chưa giải quyết được các tranh luận được nêu về lời giải có trước, thay đổi câu chữ bài toán, tác nhân AI khác, chứng minh dùng chỗ giữ chỗ, hoặc việc con người hướng dẫn tìm phản ví dụ.
Cách đánh giá thận trọng
Muốn thẩm định một kết quả, cần xem từng bài toán: đối chiếu phỏng đoán gốc với phiên bản hình thức hóa, kiểm tra toàn bộ chứng minh, rà soát tài liệu toán học đã công bố và ghi nhận rõ con người đã tham gia ở những khâu nào. Các con số được báo cáo khiến AlphaProof Nexus đáng để nghiên cứu như một công cụ tìm kiếm chứng minh; tự chúng chưa đủ để kết luận hệ thống đang tự tiến hành nghiên cứu toán học, hay xác định độ mới và tầm quan trọng của từng kết quả. 17
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 "AlphaProof Nexus giải 9 bài toán Erdős: cần hiểu đúng những con số" là gì?
Bản tiền ấn phẩm tháng 5 năm 2026 báo cáo AlphaProof Nexus giải 9 trong 353 bài toán Erdős và chứng minh 44 trong 492 phỏng đoán OEIS — tương ứng khoảng 2,5% và 8,9% các tập được thử nghiệm.
Những điểm chính cần xác nhận đầu tiên là gì?
Bản tiền ấn phẩm tháng 5 năm 2026 báo cáo AlphaProof Nexus giải 9 trong 353 bài toán Erdős và chứng minh 44 trong 492 phỏng đoán OEIS — tương ứng khoảng 2,5% và 8,9% các tập được thử nghiệm. Nhóm nghiên cứu cho biết chuyên gia đã kiểm tra xem phát biểu Lean của từng lời giải Erdős có phản ánh đúng phỏng đoán ban đầu hay không.
Tôi nên làm gì tiếp theo trong thực tế?
Các số liệu là những kết quả chọn lọc trong những tập bài toán cụ thể; chúng chưa tự chứng minh tính mới, ý nghĩa toán học hay khả năng tự nghiên cứu đáng tin cậy của hệ thống.
Nguồn
arxiv.orgAdvancing Mathematics Research with AI-Driven Formal ...
elmundo.esGoogle DeepMind logra que una IA resuelva problemas matemáticos que llevaban más de 50 años sin solución
science.orgAt futuristic meeting, AIs took the lead in producing and reviewing all the studies