币界网 đưa tin, OpenAI công bố GPT-5.6 SOL Ultra gọi 64 sub-Agent, mất chưa đến 1 giờ, để đưa ra một bản chứng minh cho giả thuyết « vòng lặp song trùng phủ định » kéo dài khoảng 50 năm. OpenAI đã công khai đầy đủ prompt và toàn văn bản chứng minh, đồng thời mã nguồn mở phiên bản Lean để hình thức hóa, các đoạn mã liên quan đã được kiểm tra thông qua nhân (kernel) của Lean. 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 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 », không thể nói thẳng là « 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
  • 5
  • 1
  • Retweed
Bình luận
Thêm một bình luận
Thêm một bình luận
SnackFi
· 1giờ trước
Những phỏng đoán từ 50 năm trước đã được AI giải quyết chỉ trong 1 giờ, khiến các nhà toán học chịu áp lực nặng nề
Xem bản gốcTrả lời0
NekoValidator
· 1giờ trước
64 sub-Agent phối hợp với nhau, kiến trúc này có vẻ khá thú vị
Xem bản gốcTrả lời0
CandleSitter
· 2giờ trước
AI chứng minh toán học một giả thuyết, diễn biến cốt truyện nhanh quá rồi
Xem bản gốcTrả lời0
NeonVortexTunnel
· 2giờ trước
OpenAI mở mã nguồn mã Lean, ít nhất là thái độ đúng đắn
Xem bản gốcTrả lời0
DewdropSapling
· 2giờ trước
Chờ qua phản biện ngang hàng đi, đừng vội mở sâm panh
Xem bản gốcTrả lời0
  • Đã ghim