Câu trả lờiĐã xuất bản21 nguồn
Vì sao OpenAI rút ba trong số 722 bản thảo toán học?
Ngày 7/10/2026, OpenAI rút ba bản thảo khỏi bộ 722 bản thảo công bố trước đó, sau khi lỗi dấu +1/−1 làm hỏng một lập luận và ảnh hưởng đến hai bài viết dựa trên lập luận ấy. Danh mục cập nhật còn 719 bản thảo thuộc 372 nhóm; OpenAI cũng cho biết đã sửa 14 bản thảo khác và cập nhật tài liệu tham khảo trong 13 bài viế...
Đă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 7/10/2026, OpenAI rút ba bản thảo khỏi bộ 722 bản thảo công bố trước đó, sau khi lỗi dấu +1/−1 làm hỏng một lập luận và ảnh hưởng đến hai bài viết dựa trên lập luận ấy.
- Danh mục cập nhật còn 719 bản thảo thuộc 372 nhóm; OpenAI cũng cho biết đã sửa 14 bản thảo khác và cập nhật tài liệu tham khảo trong 13 bài viết liên quan.
Prompt AI
openai.comCreate a landscape editorial hero image for this Studio Global article: What led OpenAI to withdraw three of the 722 mathematics manuscripts it released on Oct. 6 in a public GitHub repository, how were these man. Article summary: OpenAI withdrew three manuscripts less than a day after releasing 722 AI-generated mathematics manuscripts on October 6, 2026. A sign error broke a proof about Weil classes, and two papers that relied on that proof could. 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 7/10, chưa đầy một ngày sau khi đưa 722 bản thảo do một mô hình nội bộ tạo ra lên GitHub, OpenAI thông báo rút ba bản thảo toán học. Nguyên nhân là một lỗi dấu trong chứng minh của một bài viết, làm sụp đổ lập luận chính và ảnh hưởng đến hai bài viết phụ thuộc vào kết quả đó. Sự việc nhắc rằng công bố bản thảo không đồng nghĩa với việc các kết luận trong đó đã được kiểm chứng độc lập. 24
35
OpenAI đã công bố những gì?
Ngày 6/10, OpenAI đăng lên GitHub các bản thảo do một mô hình nội bộ chưa được phát hành công khai tạo ra. Kho tài liệu được sắp xếp thành 372 nhóm, mỗi nhóm gồm những bài viết có liên quan — chẳng hạn kết quả chính, lập luận bổ trợ, hệ quả hoặc các cách chứng minh khác. Các chủ đề trải rộng từ đại số, hình học đến khoa học máy tính. 1
35
38
Vì vậy, 722 bản thảo không tương đương với 722 kết quả độc lập. Một số bài dựa vào lập luận hoặc cấu trúc được trình bày trong những bài khác cùng nhóm; chính mối liên hệ này khiến lỗi trong một bản thảo kéo theo việc rút thêm hai bản thảo khác. 1
24
Lỗi dấu làm hỏng lập luận trong ba bản thảo
Vấn đề nằm ở Algebraicity of Weil classes on split abelian eightfolds. Trong một bước quan trọng, bản thảo gán dấu +1 cho một phép toán hình học, trong khi theo quy ước của chính bài viết, dấu đúng phải là −1. Sai sót này làm hỏng lập luận triệt tiêu được dùng để hỗ trợ cấu trúc mà bài viết xây dựng. 21
24
27
Hai bản thảo khác dựa vào công trình đó: Algebraicity of Kuga–Satake Correspondences for K3 Surfaces và The rational Hodge conjecture for products of K3 surfaces. Khi lập luận nền tảng không còn đứng vững, các kết luận phụ thuộc vào nó cũng không thể được chứng minh bằng lập luận ấy; vì vậy OpenAI rút cả ba bản thảo. Đây là thất bại của các chứng minh trong những bài viết này, không phải bằng chứng bác bỏ các giả thuyết mà chúng đề cập. 21
24
35
Kho bản thảo thay đổi ra sao?
Bản cập nhật ngày 7/10 ghi nhận ba bản thảo bị rút, 14 bản thảo khác được chỉnh sửa và tài liệu tham khảo trong 13 bài viết liên quan được cập nhật. Danh mục giảm từ 722 xuống còn 719 bản thảo, nhưng vẫn được chia thành 372 nhóm. 1
24
28
Kho GitHub và tài liệu giới thiệu của OpenAI lưu ý rằng các kết quả đang ở những mức độ kiểm chứng khác nhau, và một số có thể còn lỗi. OpenAI cho biết cách chia sẻ công trình có tham khảo ý kiến của Nhóm tư vấn về Toán học và Trí tuệ nhân tạo. Bối cảnh đó cho thấy nên xem các bản thảo là tài liệu cần được xem xét, thay vì những phát hiện đã ngã ngũ. 1
33
39
Lean có thể kiểm tra điều gì — và không thể xác nhận điều gì?
Một số kết quả trong bộ tài liệu có bản hình thức hóa bằng Lean, một trợ lý chứng minh giúp máy tính kiểm tra các chứng minh đã được viết theo dạng hình thức. Tuy nhiên, các báo cáo hiện có dùng những cách đếm khác nhau: một bản tổng hợp cho biết khoảng 300 trong số 719 kết quả chính đã được hình thức hóa; một nguồn khác thống kê 162 trong số 722 bản thảo có bản hình thức hóa cho kết quả chính. Đây là hai đơn vị đo khác nhau, và không con số nào có nghĩa là mọi khẳng định trong các bài viết tương ứng đều đã được xác thực độc lập. 25
33
36
Việc tham khảo ý kiến nhóm tư vấn và có một số chứng minh được hình thức hóa là những thông tin hữu ích để đánh giá đợt công bố, nhưng không thay thế việc đọc và kiểm tra lập luận cũng như phạm vi của từng kết luận. Các bản thảo bị rút cho thấy cần xem xét cả những bài viết có liên kết với nhau: một lỗi trong lập luận dùng chung có thể ảnh hưởng đến nhiều công trình. 24
33
39
Kết luận: các kết quả còn lại vẫn cần được kiểm chứng
Việc rút ba bản thảo cho thấy một lập luận cụ thể đã thất bại và hai bài viết phụ thuộc vào lập luận đó không thể đứng vững nhờ nó. Điều này không chứng minh rằng các bản thảo còn lại đều sai — cũng không chứng minh rằng chúng đúng. Mỗi kết quả cần được đánh giá riêng, dựa trên chứng minh, giả định và mối phụ thuộc vào các công trình liên quan. 1
21
35
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 "Vì sao OpenAI rút ba trong số 722 bản thảo toán học?" là gì?
Ngày 7/10/2026, OpenAI rút ba bản thảo khỏi bộ 722 bản thảo công bố trước đó, sau khi lỗi dấu +1/−1 làm hỏng một lập luận và ảnh hưởng đến hai bài viết dựa trên lập luận ấy.
Những điểm chính cần xác nhận đầu tiên là gì?
Ngày 7/10/2026, OpenAI rút ba bản thảo khỏi bộ 722 bản thảo công bố trước đó, sau khi lỗi dấu +1/−1 làm hỏng một lập luận và ảnh hưởng đến hai bài viết dựa trên lập luận ấy. Danh mục cập nhật còn 719 bản thảo thuộc 372 nhóm; OpenAI cũng cho biết đã sửa 14 bản thảo khác và cập nhật tài liệu tham khảo trong 13 bài viết liên quan.