GPT-5.6 mengatur 64 Agent, dalam waktu 1 jam memberikan bukti dugaan 50 tahun

robot
Pembuatan abstrak sedang berlangsung
Menurut pemantauan Beating, OpenAI menyatakan bahwa GPT-5.6 Sol Ultra memanggil 64 sub-agen, hanya dalam waktu kurang dari 1 jam, untuk memberikan sebuah bukti atas dugaan “loop double coverage” yang kurang lebih berusia 50 tahun.

OpenAI telah memublikasikan prompt lengkap dan keseluruhan naskah pembuktian, serta membuka-sumber versi formal Lean. Kode terkait telah lolos verifikasi melalui pemeriksaan inti (kernel) Lean. Namun, ini tetap merupakan hasil yang dirilis oleh OpenAI. Dunia matematika belum menyelesaikan tinjauan independen, sehingga untuk sementara hanya bisa mengatakan “memberikan bukti”, bukan “secara resmi menyelesaikan”.
Lihat Asli
Halaman ini mungkin berisi konten pihak ketiga, yang disediakan untuk tujuan informasi saja (bukan pernyataan/jaminan) dan tidak boleh dianggap sebagai dukungan terhadap pandangannya oleh Gate, atau sebagai nasihat keuangan atau profesional. Lihat Penafian untuk detailnya.
  • Hadiah
  • Komentar
  • Posting ulang
  • Bagikan
Komentar
Tambahkan komentar
Tambahkan komentar
Tidak ada komentar
  • Disematkan