Para peneliti meningkatkan metode pembuktian AI, menyelesaikan masalah Aldous dan dugaan enam puluh tahun

robot
Pembuatan abstrak sedang berlangsung

AIMPACT Pesan, 4 Mei 2026 (UTC+8), para peneliti telah meningkatkan dan menyesuaikan metode pembuktian yang awalnya berasal dari GPT-5.4 Pro, yang baru-baru ini digunakan untuk menyelesaikan masalah Eldos 1196. Dengan menggeneralisasi kerangka matematika dari penemuan AI ini, tim peneliti bersama juga membuktikan sebuah teorema yang diajukan oleh Erdős, Sárközy, dan Szemerédi selama enam puluh tahun. Pesan ini dipublikasikan oleh WesRoth pada 4 Mei 2026 melalui Twitter, menyebutkan kolaborasi dan generalisasi aplikasi metode pembuktian, tetapi tidak memberikan rincian teknis spesifik. (Sumber: InFoQ)

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
  • Sematkan