OpenAI menyatakan modelnya membuktikan konjektur local smoothing, membantah Exponential Time Hypothesis, dan membuktikan keberadaan Yang–Mills

OpenAI mengumumkan tiga hasil di bidang matematika, ilmu komputer, dan fisika yang dihasilkan oleh modelnya. Semua yang disampaikan di bawah ini merupakan klaim OpenAI sendiri; sejauh ini belum ada yang diverifikasi secara independen, dan OpenAI mengatakan hasil-hasil tersebut diperiksa di Lean.

• Matematika (analisis harmonik). OpenAI menyatakan modelnya membuktikan konjektur local smoothing di setiap dimensi, yang menurutnya juga menyelesaikan konjektur Kakeya dan konjektur pembatasan Stein di semua dimensi, melalui persamaan diferensial parsial tambahan yang baru. OpenAI merilis uraian dalam bahasa alami yang ditulis model dan bukti Lean di repositori GitHub publik openai/math, mengikuti pendekatan dalam rilisnya pada 6 Oktober.
• Ilmu komputer. OpenAI menyatakan sistemnya membantah Exponential Time Hypothesis (ETH), sebuah konjektur tentang kompleksitas satisfiabilitas formula Boolean, dan bahwa bantahan tersebut diverifikasi di Lean. Ryan Williams akan memimpin kelompok bersama Russell Impagliazzo dan Ramamohan Paturi (yang mengajukan ETH bersama Francis Zane) untuk memverifikasi dan menjelaskannya. Atas permintaan kelompok tersebut, OpenAI telah memublikasikan bukti dalam bahasa alami dan formalisasi Lean.
• Fisika. OpenAI menyatakan modelnya menghasilkan bukti keberadaan yang ketat secara matematis untuk teori medan kuantum berinteraksi empat dimensi tertentu dengan medan gauge dan fermion, termasuk QCD dan penyelesaian terpadu Model Standar, serta sebagai submasalah, bukti keberadaan teori Yang–Mills murni, yang merupakan bagian dari masalah Hadiah Milenium Clay Mathematics Institute. OpenAI menyatakan bukti-bukti tersebut diverifikasi secara formal di Lean. Sebuah kelompok yang dipimpin David Gross, bersama Michael Douglas, Arthur Jaffe, Igor Klebanov, dan Nikita Nekrasov, akan mengawal karya ini, dan OpenAI akan menyerahkan keputusan tentang perilisan materi kepada mereka.

OpenAI menggambarkan naskah-naskah tersebut sebagai "data riset mentah" dan mengatakan pihaknya meminta pakar eksternal menjadi pengawal yang menyarankan strategi perilisan berbeda untuk tiap hasil. OpenAI menyebutkan tanggal-tanggal berikut untuk pengerjaan tersebut: keluaran local smoothing pada 18 Oktober (diformalkan di Lean keesokan harinya), bantahan ETH pada 16 Oktober (diformalkan pada 17 Oktober), dan bukti keberadaan Yang–Mills pada 9 September (QCD pada 18 September, dengan formalisasi Lean untuk Yang–Mills selesai pada 16 Oktober). Kelompok fisika meminta agar komunikasi dikirim ke alamat email khusus dan telah memutuskan untuk menahan artefak yang dihasilkan AI sementara mereka menulis sendiri uraian karyanya.

OpenAI mengatakan kolaborasi ini mengikuti empat prinsip: transparansi (tanpa perjanjian kerahasiaan), OpenAI tidak mencari kredit akademis, pengakuan bagi kelompok-kelompok tersebut, dan independensi (partisipasi bersifat sukarela dan tidak dibayar, serta anggota berbicara hanya atas nama mereka sendiri). OpenAI mengatakan akan mendanai konferensi tentang hasil ETH dan merujuk pada kontribusi terbarunya sebesar $5 juta kepada Simons Foundation untuk lokakarya dan program tentang hasil yang dihasilkan AI. OpenAI juga membuat perubahan kecil pada repositori GitHub, yang tercantum dalam berkas riwayatnya. Pada malam 26 Oktober, utas pengumuman di X mendapat 405 poin dan 30 komentar di X.