GPT-5.6 của OpenAI sử dụng 64 tác nhân để chứng minh một giả thuyết toán học 50 năm trong chưa đầy 1 giờ

2026-07-11 01:29:22

Theo OneMillion_AI, GPT-5.6 Sol Ultra của OpenAI đã triển khai 64 tác nhân phụ để cung cấp một bản chứng minh hình thức cho Conjecture Cycle Double Cover—một bài toán toán học được đưa ra cách đây khoảng 50 năm—trong chưa đầy một giờ. OpenAI đã công bố đầy đủ prompt và phần chứng minh, đồng thời mã đã được mã nguồn mở dưới dạng Lean và chính thức hóa. Mã đã vượt qua quá trình xác minh qua Lean kernel. Tuy nhiên, đây vẫn là kết quả do OpenAI công bố; cộng đồng toán học vẫn chưa hoàn tất phản biện độc lập, nên bản chứng minh hiện chưa được chính thức công nhận như một lời giải xác định.

Xem nguồn

Tuyên bố miễn trừ trách nhiệm: Thông tin trên trang này có thể đến từ các nguồn bên thứ ba và chỉ mang tính chất tham khảo. Thông tin này không phản ánh quan điểm hoặc ý kiến của Gate và không cấu thành bất kỳ lời khuyên tài chính, đầu tư hoặc pháp lý nào. Giao dịch tài sản ảo tiềm ẩn rủi ro cao. Vui lòng không chỉ dựa vào thông tin trên trang này khi đưa ra quyết định. Để biết thêm chi tiết, vui lòng xem Tuyên bố miễn trừ trách nhiệm.

Tin tức liên quan

2giờ trước

Apple kiện OpenAI về hành vi chiếm đoạt bí mật thương mại trong giao dịch, vào ngày 10 tháng 7, cáo buộc có sự liên quan của cựu giám đốc điều hành

18giờ trước

B.AI tích hợp bộ mô hình OpenAI GPT-5.6 vào mạng API

20giờ trước

OpenAI ra mắt dòng GPT-5.6 gồm ba mô hình; Sol cải thiện hiệu quả 54%, Terra giảm giá còn một nửa

22giờ trước

OpenAI ra mắt ChatGPT Work cho Ứng dụng và Tệp vào ngày 10 tháng 7

07-10 00:04

OpenAI công bố ra mắt đầy đủ các mô hình dòng GPT-5.6 và tác nhân tích hợp ChatGPT vào ngày 10 tháng 7

Phân tích chuyên sâu