OpenAI Mengumumkan Tiga Penemuan Baru AI dalam Matematika, Ilmu Komputer, dan Fisika

OpenAI menyatakan modelnya menghasilkan tiga hasil baru: bukti konjektur penghalusan lokal di semua dimensi, yang juga akan menyelesaikan konjektur Kakeya dan restriksi Stein; bukti terverifikasi Lean bahwa Hipotesis Waktu Eksponensial salah; dan bukti keberadaan yang ketat secara matematis untuk kromodinamika kuantum dan penyelesaian terpadu Model Standar, termasuk teori Yang-Mills murni. Naskah matematika dan ilmu komputer serta formalisasi Lean bersifat publik, sementara artefak fisika ditahan oleh kelompok kolaborasi eksternalnya, yang akan menulis karya itu sendiri. Ini penting karena, jika klaim tersebut bertahan dalam pemeriksaan independen, itu akan menjadi momen bersejarah bagi sains yang digerakkan AI, tetapi untuk saat ini klaim tersebut masih merupakan klaim OpenAI yang sedang ditelaah pakar luar, bukan hasil yang terkonfirmasi secara independen.

• Sam Altman2026-10-26 21:36