GPT-5.6 điều chỉnh 64 Agent, trong một giờ đưa ra chứng minh giả thuyết 50 năm.

Theo giám sát của Động Sát Beating, OpenAI cho biết GPT-5.6 Sol Ultra đã gọi 64 sub-agent, trong vòng chưa đầy 1 giờ, đưa ra một chứng minh cho "Giả thuyết Song Phủ Kép Chu Kỳ" đã tồn tại khoảng 50 năm.

OpenAI đã công bố toàn bộ prompt và văn bản chứng minh, đồng thời mã nguồn mở phiên bản hình thức hóa Lean. Mã liên quan đã vượt qua kiểm tra nội bộ của Lean. Tuy nhiên, đây vẫn là kết quả do OpenAI công bố. Cộng đồng toán học chưa hoàn tất quá trình xác minh độc lập, vì vậy tạm thời chỉ có thể nói là "đưa ra chứng minh", chứ chưa thể khẳng định là "chính thức giải quyết".