Các nhà khoa học được OpenAI chỉ định để xác minh tuyên bố mới nhất rằng một trong các mô hình nội bộ của họ đã bác bỏ thành công Giả thuyết Thời gian Mũ đã từ chối xác nhận tuyên bố này. Họ viện dẫn những tranh cãi trước đây xoay quanh các thông báo toán học của phòng thí nghiệm AI này, vốn theo họ thường bị phóng đại.

Giả thuyết Thời gian Mũ, mà phòng thí nghiệm do Altman lãnh đạo tuyên bố đã giải được, là thước đo độ khó của bài toán thỏa mãn Boolean — một vấn đề liên quan đến câu hỏi P so với NP và một phỏng đoán làm nền tảng cho hàng trăm bài báo khoa học máy tính.

Ryan Williams của MIT, Russell Impagliazzo và Ramamohan Paturi của Đại học California, San Diego sẽ dẫn đầu nhóm chịu trách nhiệm xác minh độc lập các kết quả về giả thuyết ban đầu do Impagliazzo và Paturi đề xuất, cùng với Francis Zane.

Cộng đồng toán học chưa chấp nhận tuyên bố của OpenAI về ETH

Ba nhà nghiên cứu đứng đầu nhóm kiểm chứng tuyên bố đã viết trong một bức thư ngỏ gửi cộng đồng chuyên ngành rằng “việc chúng tôi tham gia không nên được xem là sự chứng nhận cho tuyên bố này”, đồng thời nói thêm rằng “một kết quả có tầm quan trọng như vậy cần được xem xét kỹ lưỡng và độc lập”.

Trong bài đăng trên tài khoản X của mình, Williams cho biết nhóm không ký thỏa thuận bảo mật (NDA) và sẽ không được trả công cho công việc “kiểm tra cởi mở và độc lập” mà ông cùng các đồng nghiệp được đề nghị thực hiện sau khi “một mô hình nội bộ của OpenAI đưa ra kết quả được cho là bác bỏ ETH”.

Williams nói thêm rằng OpenAI đã đồng ý với yêu cầu công bố toàn bộ dữ liệu thô đằng sau kết quả. Phòng thí nghiệm AI này cũng đồng ý tài trợ một hội nghị về những hệ quả của kết quả đó.

Vì sao giới toán học không ủng hộ tuyên bố của OpenAI nếu chưa có bằng chứng

Những tuyên bố trước đây của OpenAI trong lĩnh vực toán học đã không diễn ra như dự kiến. Một nhóm nhà nghiên cứu độc lập đang kiểm tra tuyên bố của OpenAI, dù phòng thí nghiệm này đã xác nhận lời giải bác bỏ mà các mô hình nội bộ tìm ra vào ngày 16 tháng 10 trong Lean ngay ngày hôm sau. Bài viết giải thích và chứng minh Lean đã được đăng lên GitHub.

Lean là một ngôn ngữ dùng máy tính để kiểm tra chứng minh. Tuy nhiên, ngay cả phương pháp này cũng đã bị Anders Hansen của Cambridge và các đồng tác giả phản biện. Trong một bài báo, họ lập luận rằng một hình thức hóa được Lean xác minh vẫn có thể biên dịch thành công nhưng không khớp với chứng minh bằng ngôn ngữ tự nhiên mà nó được cho là biểu diễn. Họ lấy công trình về Navier–Stokes của OpenAI làm nghiên cứu tình huống.

Thomas Bloom, nhà toán học quản lý trang web về các bài toán Erdős, đã đáp lại tuyên bố hồi tháng 10 năm 2025 của phó chủ tịch OpenAI Kevin Weil rằng GPT-5 đã giải được 10 bài toán Erdős chưa có lời giải bằng cách gọi đó là “sự bóp méo nghiêm trọng sự thật”.

Bloom giải thích rằng mô hình chỉ tìm ra các bài báo đã có sẵn mà bản thân ông chưa biết đến, chứ không tìm ra lời giải mới cho những giả thuyết nổi tiếng do Paul Erdős nêu ra.

Sự việc đó đã trở thành chủ đề để Yann LeCun của Meta và Demis Hassabis của Google DeepMind công khai chế giễu.

OpenAI đã phải rút lại ba bài trong vòng một ngày sau khi công bố hàng loạt 722 bản thảo chưa qua phản biện về 372 bài toán toán học vào ngày 6 tháng 10, do một lỗi dấu khiến một lập luận và hai bài báo phụ thuộc vào lập luận đó mất hiệu lực. Phòng thí nghiệm AI này đã chỉnh sửa thêm 14 bài khác. Nhà toán học Alex Townsend của Cornell dự đoán theo thời gian sẽ còn có thêm nhiều lỗi được công khai.

Tiếp đó là vụ ồn ào về Navier–Stokes hồi tháng 9, khi nhà toán học Tristan Buckmaster cáo buộc OpenAI đã sử dụng một phương pháp mà ông và một đồng nghiệp vốn đang nghiên cứu, trong khi phòng thí nghiệm AI tuyên bố mô hình của họ đã giải quyết bài toán Navier–Stokes.

OpenAI phủ nhận cáo buộc đó.

Thêm hai kết quả, ba cách công bố

ETH là một trong ba tuyên bố OpenAI đưa ra trong cùng một thông báo.

Trong toán học, OpenAI cho biết các mô hình của họ đã chứng minh được giả thuyết làm trơn cục bộ, do Christopher Sogge nêu ra năm 1991, trong mọi số chiều; kết quả này cũng sẽ giải quyết các giả thuyết Kakeya và Stein về hạn chế. Phòng thí nghiệm đã công bố bài viết giải thích và một chứng minh Lean.

Trong vật lý, OpenAI cho biết các mô hình đã chứng minh sự tồn tại của một số lý thuyết trường lượng tử trong bốn chiều, trong đó có một phần thuộc bài toán của Giải thưởng Thiên niên kỷ do Viện Toán học Clay đặt ra. Một nhóm do nhà khoa học đoạt giải Nobel David Gross dẫn đầu quyết định tạm thời không công bố tài liệu do AI tạo ra và tự viết bài trình bày công trình.

OpenAI cho biết họ không tìm kiếm sự ghi nhận học thuật và đã trao 5 triệu đô la cho Quỹ Simons để tổ chức các hội thảo về những kết quả do AI tạo ra. Công ty thừa nhận mỗi cách trong ba cách công bố của mình đều có những đánh đổi và cho biết họ muốn nhận phản hồi về cách nào hiệu quả.

Đừng chỉ đọc tin tức tiền mã hóa. Hãy hiểu chúng. Đăng ký nhận bản tin của chúng tôi. Miễn phí.