GPT-5.6 triển khai 64 Agent, trong 1 giờ đưa ra chứng minh 50 năm giả thuyết

robot
Đang tạo bản tóm tắt
Theo dõi Beating 监测, OpenAI cho biết, GPT-5.6 Sol Ultra đã gọi 64 “sub Agent”, trong chưa đầy 1 giờ, để đưa ra một bản chứng minh cho giả thuyết “vòng lặp hai lớp phủ” kéo dài khoảng 50 năm.

OpenAI đã công khai đầy đủ prompt và toàn văn phần chứng minh, đồng thời mã nguồn cũng được mở trên nền tảng Lean bản dạng hình thức. Mã liên quan đã vượt qua kiểm tra của Lean kernel. Tuy nhiên, đây vẫn là kết quả do OpenAI công bố. Giới toán học vẫn chưa hoàn tất việc thẩm định độc lập, vì vậy tạm thời chỉ có thể nói “đưa ra bản chứng minh”, chứ không thể nói “giải quyết chính thức”.
Xem bản gốc
Trang này có thể chứa nội dung của bên thứ ba, được cung cấp chỉ nhằm mục đích thông tin (không phải là tuyên bố/bảo đảm) và không được coi là sự chứng thực cho quan điểm của Gate hoặc là lời khuyên về tài chính hoặc chuyên môn. Xem Tuyên bố từ chối trách nhiệm để biết chi tiết.
  • Phần thưởng
  • Bình luận
  • Đăng lại
  • Retweed
Bình luận
Thêm một bình luận
Thêm một bình luận
Không có bình luận
  • Đã ghim