Câu trả lờiĐã xuất bản21 nguồn
Tranh cãi quanh 722 bản thảo toán học của OpenAI
AHM kêu gọi các nhà toán học ngừng hợp tác với OpenAI, cho rằng tung ra hàng loạt kết quả không đồng nghĩa với việc chúng đã được xác nhận theo quy trình khoa học. OpenAI công bố bản thảo, tài liệu hỗ trợ chứng minh và một số chứng minh được hình thức hóa bằng Lean; nhưng không phải mọi kết quả đều có hình thức này,...
Đă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
- AHM kêu gọi các nhà toán học ngừng hợp tác với OpenAI, cho rằng tung ra hàng loạt kết quả không đồng nghĩa với việc chúng đã được xác nhận theo quy trình khoa học.
- OpenAI công bố bản thảo, tài liệu hỗ trợ chứng minh và một số chứng minh được hình thức hóa bằng Lean; nhưng không phải mọi kết quả đều có hình thức này, còn mô hình tạo ra chúng vẫn chưa được công bố.
- Tranh cãi không chỉ xoay quanh giá trị toán học của các kết quả, mà còn về mức độ minh bạch và khối lượng công việc cần thiết để cộng đồng kiểm tra độc lập.
Prompt AI
openai.comCreate a landscape editorial hero image for this Studio Global article: Why has the Association for Human Mathematics (AHM) urged mathematicians to stop working with OpenAI after its October 6 release of AI-gener. Article summary: AHM urged mathematicians to stop working with OpenAI because it sees the October 6 release as a mass display of a company’s capability, not a responsible way to establish mathematical knowledge. It argues that hundreds o. 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
Hiệp hội Toán học vì Con người (Association for Human Mathematics, AHM) kêu gọi các nhà toán học ngừng hợp tác với OpenAI sau khi công ty công bố một bộ sưu tập lớn các bản thảo toán học vào ngày 6 tháng 10 năm 2026. Theo AHM, vấn đề không chỉ là một số chứng minh có thể sai: việc một công ty tung ra hàng loạt kết quả không thể thay thế quy trình kiểm tra, ghi nhận đầy đủ và trao đổi trong giới khoa học.45
Bộ sưu tập có thể chứa những kết quả đáng chú ý. Tuy nhiên, số lượng bản thảo, tài liệu chứng minh hay những tuyên bố gây ấn tượng tự chúng chưa phải là xác nhận khoa học. Cuộc tranh luận còn liên quan đến việc ai được tiếp cận mô hình, ai có thể thẩm định kết quả và ai phải gánh phần lớn công việc kiểm chứng.
OpenAI đã công bố những gì?
Thông báo ban đầu của OpenAI giới thiệu 722 bản thảo thuộc 17 lĩnh vực, được xếp thành 372 nhóm kết quả có liên quan. Vì vậy, con số 722 không có nghĩa là 722 phát hiện độc lập. Kho lưu trữ bao gồm các bản thảo cùng tài liệu hỗ trợ chứng minh và được phát hành theo giấy phép Apache-2.0.7
15
OpenAI cho biết mô hình đã thử giải khoảng 4.000 bài toán; mức tính toán trung bình cho mỗi kết quả tương đương khoảng ba giờ sử dụng chế độ ChatGPT Pro Thinking. Công ty cũng công bố 10 bản tóm lược rút gọn về quá trình suy luận của mô hình và các hình thức hóa bằng Lean cho một số chứng minh.7
12
16 Kho lưu trữ lưu ý rằng các kết quả đang ở những giai đoạn kiểm chứng khác nhau và không phải kết quả nào cũng có hình thức hóa bằng Lean. Danh mục hiện tại ghi nhận 719 bản thảo, thay vì 722 như thông báo ban đầu.
10
11
Trong số các kết quả được nêu có những tuyên bố liên quan đến các giả thuyết Mahler và số mũ vô tỉ chính xác của π. Không nên xem chúng là đã được xác nhận dứt điểm chỉ vì chúng xuất hiện trong các bản thảo.5
21
Vì sao AHM phản đối?
Trong tuyên bố của mình, AHM nói các nhà toán học “không yêu cầu công việc này” và gọi việc công bố hàng trăm tệp cùng lúc là “màn phô diễn sức mạnh”, chứ không phải một quy trình học thuật. Nhóm kêu gọi giữ thái độ hoài nghi và đặt con người vào trung tâm nghiên cứu, thay vì vội vàng chấp nhận hoặc xử lý hàng loạt kết quả do doanh nghiệp đưa ra.45
Một vấn đề thực tế là khối lượng công việc. Muốn đánh giá các bản thảo, chuyên gia cần đọc, kiểm tra lập luận và đặt từng kết quả trong bối cảnh các nghiên cứu đã có. Việc công bố tệp mở giúp cộng đồng có tài liệu để xem xét, nhưng không làm công việc ấy biến mất; phần lớn gánh nặng vẫn chuyển sang các nhà nghiên cứu.
AHM cũng liên hệ phản ứng của mình với cảnh báo từ Advisory Group on Mathematics and Artificial Intelligence, nhóm được thành lập để tư vấn cho các công ty AI về cách họ tương tác với nghiên cứu và cộng đồng toán học. Theo tuyên bố của AHM, nhóm tư vấn này từng khuyến cáo không nên dùng các mô hình nội bộ của doanh nghiệp để thử những bài toán toán học tiên tiến.45
Chứng minh Lean kiểm tra được gì?
Lean là một công cụ quan trọng: với những chứng minh đã được chuyển thành dạng hình thức trong hệ thống, máy tính có thể kiểm tra các bước lập luận. OpenAI cho biết mệnh đề chính của 162 bản thảo đã được hình thức hóa.5 Điều này giúp tăng khả năng kiểm tra các kết quả cụ thể ấy, nhưng không tự động xác nhận mọi khẳng định trong tất cả bản thảo.
Nếu chưa có hình thức hóa tương ứng, việc đánh giá vẫn phụ thuộc vào con người đọc và kiểm tra lập luận. Chính kho lưu trữ cũng ghi rõ các kết quả đang ở những giai đoạn xác minh khác nhau và không phải kết quả nào cũng kèm hình thức hóa Lean.10
11 Vì vậy, cần xem xét từng kết quả riêng biệt, thay vì coi toàn bộ bộ sưu tập là đã được chứng minh hoặc hoàn toàn vô giá trị.
Có thêm thông tin về quy trình, nhưng vẫn chưa đủ minh bạch
Các số liệu về khoảng 4.000 bài toán được thử, thời lượng tính toán trung bình và 10 bản tóm lược suy luận phần nào cho thấy cách tạo ra kết quả.7
12
16 Tuy nhiên, chúng không cung cấp lịch sử đầy đủ cho từng kết quả; mô hình cũng vẫn là hệ thống nội bộ, chưa mở để các bên độc lập kiểm tra.
7
11
Tổng số bài toán được thử cũng chưa đủ để cho biết rõ mô hình thành công thường xuyên đến mức nào trên một tập bài toán tiên tiến được xác định cụ thể. Muốn đánh giá hiệu suất và khả năng tái lập, các nhà nghiên cứu cần thêm thông tin về phương pháp và quá trình tạo ra từng kết quả.
OpenAI cho biết họ dự định tổ chức hội thảo và hội nghị để xem xét những kết quả quan trọng.7 Các hoạt động này có thể hỗ trợ việc kiểm tra, nhưng không thay thế việc công bố đủ thông tin để các nhà nghiên cứu khác độc lập đánh giá chứng minh được tạo ra như thế nào.
Cuộc tranh luận nói gì về vai trò của con người trong toán học?
Chưa có câu trả lời đơn giản. Một bộ sưu tập lập luận do AI tạo ra có thể chứa tiến bộ toán học thực sự, nhưng giá trị của nó sẽ phụ thuộc vào những kết quả đứng vững sau khi được kiểm tra độc lập — chứ không phải quy mô đợt công bố hay tầm vóc của các bài toán được nêu tên.7
10
Phản ứng của AHM đồng thời làm nổi bật những câu hỏi về việc ghi nhận công sức nghiên cứu của con người, thời gian cần thiết để đánh giá kết quả mới và nguy cơ ưu tiên hoặc nguồn lực dành cho nghiên cứu của con người bị thay đổi. Việc công bố các bản thảo không tự trả lời được những vấn đề ấy, nhưng khiến chúng trở nên cấp thiết hơn.45
Điều cần phân biệt là khả năng tạo ra nhiều khẳng định toán học với việc xác nhận chúng theo chuẩn khoa học. Cuộc tranh luận xoay quanh cả hai: AI có thể đóng góp gì cho toán học, và cần những quy tắc nào để đóng góp ấy có thể được kiểm tra, minh bạch và hữu ích thực sự cho cộng đồng.
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 "Tranh cãi quanh 722 bản thảo toán học của OpenAI" là gì?
AHM kêu gọi các nhà toán học ngừng hợp tác với OpenAI, cho rằng tung ra hàng loạt kết quả không đồng nghĩa với việc chúng đã được xác nhận theo quy trình khoa học.
Những điểm chính cần xác nhận đầu tiên là gì?
AHM kêu gọi các nhà toán học ngừng hợp tác với OpenAI, cho rằng tung ra hàng loạt kết quả không đồng nghĩa với việc chúng đã được xác nhận theo quy trình khoa học. OpenAI công bố bản thảo, tài liệu hỗ trợ chứng minh và một số chứng minh được hình thức hóa bằng Lean; nhưng không phải mọi kết quả đều có hình thức này, còn mô hình tạo ra chúng vẫn chưa được công bố.
Tôi nên làm gì tiếp theo trong thực tế?
Tranh cãi không chỉ xoay quanh giá trị toán học của các kết quả, mà còn về mức độ minh bạch và khối lượng công việc cần thiết để cộng đồng kiểm tra độc lập.