Pada September, OpenAI mengumumkan solusi yang tampak untuk salah satu dari tujuh masalah hadiah Millennium dalam matematika: Navier-Stokes, pertanyaan yang lama tentang persamaan yang menjelaskan perilaku fluida. Meskipun perusahaan kemudian merilis ratusan hasil, tidak ada bukti baru Millennium yang disertakan, meskipun beberapa temuan menunjukkan kemajuan pada lima pertanyaan terbuka yang tersisa.
Apa yang disebut pertanyaan-pertanyaan khusus ini? Mereka sulit bahkan untuk sebagian besar matematikawan. Salah satunya adalah hipotesis Riemann, dirumuskan dalam sebuah paper tahun 1859 oleh matematikawan Jerman Bernhard Riemann. Ia berkaitan dengan bilangan prima dan distribusinya di garis angka. Seiring angka berkembang besar, prima menjadi lebih jarang. Riemann mengusulkan hipotesis yang menyediakan formula yang tepat untuk memperkirakan berapa banyak prima yang ada di bawah setiap bilangan yang diberikan. Ia meninggal pada usia 39 tahun sebelum kembali ke masalah ini. Peter Sarnak, seorang matematikawan di Universitas Princeton dan Institute for Advanced Study, menyebutnya sebagai "masalah besar" dan bercita-cita bahwa satu bukti "akan menjadi monumental secara matematis".
Hasil yang terkait dengan quasi-hipotesis Riemann telah diverifikasi oleh Lean, asisten bukti komputer, dan dianggap kemungkinan benar. Namun, ia tidak cukup untuk memecahkan masalah Millennium asli. Alex Kontorovich, ketua departemen matematika di Rutgers, menggambarkannya sebagai "pembelajaran fundamental" namun menyadari bahwa ide yang benar-benar baru akan diperlukan untuk membuktikan hipotesis lengkap.
Masalah lain yang tersisa meliputi konjektur Birch dan Swinnerton-Dyer, dirumuskan pada awal tahun 1960 oleh matematikawan Britania Bryan John Birch dan Sir Peter Swinnerton-Dyer menggunakan komputer awal, EDSAC-2.
Sumber: New York Times Top Stories · Diringkas oleh HeadlinesBriefing