GPT-5.6 OpenAI Menggunakan 64 Agen untuk Membuktikan Dugaan Matematika 50 Tahun dalam Waktu Kurang dari Satu Jam
Menurut OneMillionAI, OpenAI GPT-5.6 Sol Ultra menerapkan 64 sub-agen untuk memberikan bukti formal dari Conjecture Cycle Double Cover—masalah matematika yang diajukan sekitar 50 tahun lalu—dalam waktu kurang dari satu jam. OpenAI telah memublikasikan prompt lengkap dan buktinya secara penuh, serta membuka kode sumber versi yang diformalkan dalam Lean. Kode tersebut telah lolos verifikasi melalui kernel Lean. Namun, ini masih merupakan hasil yang dipublikasikan OpenAI; komunitas matematika belum
GateNews·07-11 01:29
