RT Dan Roberts: Kami mengumumkan tiga penemuan baru dalam matematika, ilmu komputer, dan fisika tentang analisis harmonik, teori kompleksitas, dan …

OpenAI menyatakan model internalnya menghasilkan tiga hasil: bukti konjektur local smoothing di semua dimensi, yang juga menyelesaikan konjektur Kakeya dan restriksi Stein; sanggahan Hipotesis Waktu Eksponensial yang diverifikasi Lean; dan bukti eksistensi yang ketat untuk teori Yang-Mills dan kromodinamika kuantum. Hasil-hasil itu telah diformalkan dalam Lean dan diserahkan kepada kelompok pakar eksternal, termasuk kelompok fisika yang dipimpin peraih Nobel David Gross, untuk diperiksa dan dijelaskan. Jika hasilnya bertahan, masalah-masalah terbuka selama puluhan tahun akan terselesaikan, termasuk bagian dari masalah Millennium Prize, dan AI akan beralih dari sekadar membantu menjadi penghasil matematika dan fisika terdepan.

• OpenAI2026-10-26 21:36