GPT-5.6 OpenAI Menggunakan 64 Agen untuk Membuktikan Dugaan Matematika 50 Tahun dalam Waktu Kurang dari Satu Jam

Menurut OneMillion_AI, 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 menyelesaikan peer review independen, sehingga bukti tersebut belum secara resmi diakui sebagai solusi definitif.
Penafian: Informasi di halaman ini mungkin berasal dari sumber pihak ketiga dan hanya untuk referensi. Ini tidak mewakili pandangan atau pendapat Gate dan bukan merupakan nasihat keuangan, investasi, atau hukum. Perdagangan aset virtual melibatkan risiko tinggi. Mohon jangan hanya mengandalkan informasi di halaman ini saat membuat keputusan. Untuk detailnya, lihat Penafian.
Komentar
0/400
Tidak ada komentar