Bitjie Network melaporkan, OpenAI mengumumkan bahwa GPT-5.6 SOL Ultra memanggil 64 sub-agen, selesai dalam kurang dari 1 jam, untuk memberikan sebuah pembuktian atas dugaan “recursive double coverage” yang memakan sekitar 50 tahun. OpenAI telah mempublikasikan prompt lengkap dan seluruh naskah pembuktian, serta meng-open source versi formal Lean; kode terkait telah melewati pemeriksaan oleh kernel Lean. Namun, ini tetap merupakan hasil yang dirilis oleh OpenAI, dan komunitas matematika belum menyelesaikan tinjauan independen, sehingga untuk sementara hanya bisa disebut “memberikan bukti”, bukan langsung “menyelesaikan secara resmi”.