ตามการติดตามของ Beating OpenAI ระบุว่า GPT-5.6 Sol Ultra เรียกใช้ Agent ย่อย 64 ตัว ใช้เวลาไม่ถึง 1 ชั่วโมง เพื่อเสนอหลักฐานสำหรับ "ข้อสันนิษฐานการครอบคลุมแบบวนซ้ำ" ที่มีมานานประมาณ 50 ปี
OpenAI ได้เปิดเผย prompt และข้อความเต็มของหลักฐานอย่างสาธารณะ พร้อมทั้งเปิดซอร์สเวอร์ชันที่เป็นทางการในรูปแบบ Lean โค้ดที่เกี่ยวข้องผ่านการตรวจสอบด้วย Lean kernel อย่างไรก็ตาม นี่ยังคงเป็นผลลัพธ์ที่เผยแพร่โดย OpenAI ชุมชนคณิตศาสตร์ยังไม่เสร็จสิ้นการตรวจสอบอย่างอิสระ ดังนั้นในตอนนี้จึงพูดได้เพียงว่า "เสนอหลักฐาน" เท่านั้น ไม่สามารถพูดได้โดยตรงว่า "แก้ไขอย่างเป็นทางการ"

