Pada Mei, sebuah pertanyaan tentang titik-titik di bidang menghasilkan jawaban tak terduga. Pada September, laboratorium AI menerbitkan argumen tentang singularitas fluida, beserta berkas yang memungkinkan komputer memeriksa pembuktiannya. Di antara kedua pengumuman itu muncul contoh tandingan baru, batas yang lebih kuat, dan formalisasi Teorema Terakhir Fermat.
Perubahan dalam matematika AI layak dibahas lebih dari sekadar papan skor berjalan berisi dugaan yang berhasil dipatahkan. Hasil-hasil ini menjawab pertanyaan berbeda, ditopang bukti berbeda, dan menyisakan pekerjaan yang belum selesai. Contoh tandingan dapat membantah keyakinan tanpa menemukan jawaban terbaik yang mungkin. Batas yang diperbaiki dapat bermakna meski dugaan terkenal di dekatnya masih terbuka. Pembuktian yang diperiksa komputer dapat menetapkan suatu pernyataan tanpa menjelaskan mengapa gagasannya berguna di tempat lain.
Ini tinjauan kami atas perkembangan utama yang menghubungkan pengumuman OpenAI tanggal 20 Mei tentang jarak satuan dengan klaim Navier–Stokes pada September, berdasarkan peliputan hingga 22 September 2026. Tinjauan ini mencakup pengumuman penting dan riset yang muncul di antaranya. Ini peta rangkaian perkembangan tersebut, bukan inventaris lengkap semua makalah matematika berbantuan AI. Kami telah membaca pengumuman yang dikutip, pernyataan teorema yang relevan, pengantar riset, serta dokumentasi verifikasi. Kami tidak bertindak sebagai penelaah independen atas pembuktian ini atau membangun ulang formalisasinya.
Penilaian utama kami adalah bahwa bukti terkuat kemajuan memiliki dua bagian: mesin menghasilkan argumen matematika yang patut diperiksa dengan serius, dan orang-orang sudah menurunkan matematika lebih lanjut dari sebagian argumen tersebut. Apakah hal itu menjadi kemajuan berkelanjutan bergantung pada sumber daya yang dicurahkan untuk memeriksa, menjelaskan, dan memperluas pekerjaan itu.
Mei: contoh tandingan membuka jalur baru dalam geometri
Masalah jarak satuan mudah dibayangkan. Letakkan sekumpulan titik di permukaan datar dan hitung pasangan yang jaraknya tepat satu satuan. Seberapa besar jumlah pasangan itu dapat bertambah ketika titik ditambahkan?
Pengumuman OpenAI tanggal 20 Mei mengatribusikan konstruksi baru kepada model penalaran serbaguna internal yang dievaluasi pada sekumpulan masalah Erdős. OpenAI juga menerbitkan makalah pendamping terpisah dari para matematikawan eksternal yang memeriksa argumennya. Keberadaan dokumen kedua itu penting: pembaca dapat menelaah apa yang dipahami dan direkonstruksi oleh para matematikawan tersebut, di luar uraian laboratorium tentang modelnya. Pengumuman OpenAI.
Naskah awal mengonstruksi tak terhingga banyak himpunan titik dengan setidaknya n^(1+δ) pasangan berjarak satu satuan, untuk suatu δ positif yang tetap. Secara sederhana, peningkatan pada eksponennya bertahan ketika contoh makin besar. Hasil ini bertentangan dengan dugaan pertumbuhan hampir linear. Namun, hasil ini tidak menentukan jumlah maksimum persis jarak satuan untuk setiap jumlah titik; pencarian batas optimal yang lebih luas masih berlanjut. Naskah masalah jarak satuan.
Yang mengejutkan adalah asal konstruksi tersebut. Makalah pendamping menghubungkan hasil geometri itu dengan teori bilangan aljabar tingkat lanjut dan menyebut unsur-unsur matematika terdahulu. Para penulis menawarkan rekonstruksi yang disederhanakan dan agak digeneralisasi. Ini contoh berguna dari pekerjaan manusia setelah penemuan AI: mengenali mekanismenya, memperjelas ketergantungannya, dan mengubah argumen menjadi sesuatu yang dapat ditangani peneliti lain. Makalah pendamping para matematikawan.
Karena itu, pembaca yang ingin memahami arti hasil Mei sebaiknya mengikuti makalah-makalah sesudahnya sedekat pengumuman awal. Teknik baru mendapat jenis kredibilitas berbeda ketika peneliti menggunakannya untuk mengajukan dan menjawab pertanyaan lanjutan.
Mei hingga Juli: gagasannya mulai menyebar
Pada 27 Mei, Thomas Bloom, Will Sawin, Carl Schildkraut, dan Dmitrii Zhelezov mengunggah contoh tandingan terhadap dugaan jumlah dan hasil kali pada bilangan riil. Secara garis besar, masalah ini menanyakan seberapa besar suatu himpunan bertambah ketika unsur-unsurnya dijumlahkan atau dikalikan. Konstruksi mereka memungkinkan kedua himpunan hasil tetap lebih kecil daripada skala yang diduga hampir kuadratik. Para penulis secara eksplisit menyatakan bahwa contoh tandingan jarak satuan mendorong mereka untuk mempertimbangkan kembali medan bilangan berderajat tinggi. Mereka juga menjelaskan bahwa konstruksi akhirnya membutuhkan teori bilangan yang lebih sedikit daripada hasil sebelumnya. Makalah jumlah-hasil kali.
Ini contoh nyata hasil yang berasal dari AI mendorong matematika yang ditulis manusia. Namun, hal ini tidak membuktikan bahwa AI menulis makalah tindak lanjut tersebut, dan kita tidak seharusnya menghapus kontribusi para penulisnya dengan memasukkan pekerjaan mereka ke dalam hitungan keberhasilan laboratorium.
Pracetak Cosmin Pohoata, yang pertama kali dikirim pada 11 Juni dan direvisi pada 28 Juni, membawa rangkaian ini ke masalah Elekes–Rónyai. Makalah itu memberikan contoh polinomial yang nilainya pada himpunan tertentu bertambah lebih lambat dari perkiraan, dengan menggunakan unsur dari konstruksi jarak satuan dan jumlah-hasil kali terbaru. Makalah itu menjelaskan secara gamblang kaitan antara masalah-masalah tersebut. Makalah Pohoata.
Pada 6 Juli, Sungchul Lee, Pohoata, dan Daniel Zhu mengunggah hasil lanjutan tentang kisi Minkowski. Konstruksi mereka mempertahankan sifat jarak berulang di dalam himpunan bagian, dengan konsekuensi bagi pertanyaan mengenai jarak berulang dan segitiga sama kaki. Struktur ini lebih kuat daripada sekadar menunjukkan satu konfigurasi yang sangat kaya tanpa menelaah perilaku internalnya. Makalah kisi Minkowski.
Pembacaan optimistis memiliki bukti di sini. Hasil Mei menyediakan bahan yang dapat diubah dan digunakan kembali oleh peneliti lain dalam hitungan minggu. Ukuran keberhasilan yang kami usulkan adalah lahirnya metode yang dapat digunakan seperti itu, bersama upaya yang diperlukan untuk memahaminya. Hitungan mentah masalah yang terpecahkan akan melewatkan pembedaan ini.
Juli: contoh tandingan Jacobian menunjukkan pentingnya cakupan
Peristiwa mencolok lainnya menyangkut dugaan Jacobian. Uraian Terence Tao tanggal 21 Juli menelaah contoh tandingan yang dihasilkan menggunakan Fable AI: pemetaan polinomial dalam tiga variabel kompleks yang bersifat invertibel di sekitar kecil, tetapi secara keseluruhan mengirim titik-titik berbeda ke keluaran yang sama. Klaim umum dugaan itu gagal dalam tiga dimensi atau lebih; kasus dua dimensi masih terbuka. Tao memberikan rumus eksplisit dan menjelaskan geometri konstruksinya. Uraian matematika Tao.
Contoh tandingan eksplisit dapat membuat kontradiksi utamanya relatif mudah diperiksa melalui perhitungan. Menemukan alasan mengapa contoh semacam itu harus ada dan cara membangun contoh terkait memerlukan pekerjaan matematika lanjutan. Peristiwa Jacobian memungkinkan pembaca melihat perbedaan tugas-tugas tersebut dalam publikasi.
Pembedaan ini tetap penting pada September. Pracetak Arno van den Essen tanggal 15 September menyajikan jalur elementer menuju contoh tandingan yang, setelah perubahan koordinat linear, setara dengan contoh yang ditemukan Levent Alpöge. Ini penjelasan baru tentang konstruksi tersebut, bukan kekalahan independen kedua bagi dugaan aslinya. Makalah van den Essen.
Bagi manajer riset, rangkaian ini menyiratkan perubahan praktis dalam hal yang patut diberi penghargaan. Mendanai orang yang membuat penemuan rumit menjadi mudah dipahami dapat membuka pekerjaan lanjutan sebanyak mendanai pencarian lain untuk hasil utama. Ini penilaian kami atas rangkaian tersebut, bukan klaim bahwa universitas sudah mengubah insentifnya.
Agustus: ragam klaim matematika yang lebih luas
Rilis OpenAI tanggal 1 Agustus menyajikan sepuluh kelompok hasil di bidang matematika dan ilmu komputer teoretis. Perusahaan menyatakan versi internal Astra menghasilkan argumen-argumen itu; manusia bekerja bersama model untuk menyiapkan naskah, dan model menghasilkan sertifikat Lean. Uraian proses produksi ini berbeda dari pengumuman satu hasil pada Mei, serta secara eksplisit menyebut kontribusi penyiapan naskah. Pengumuman Agustus.
Kumpulan yang menyertainya, diperbarui pada 6 Agustus, melaporkan hal-hal berikut. Ini ringkasan klaim dalam makalah, bukan sepuluh sertifikasi terpisah dari BIG CHANGE:
- Pengemasan bola: batas atas asimtotik yang lebih tajam pada dimensi tinggi.
- Kode biner dan sferis: batas ukuran kode yang lebih kuat pada jarak tertentu.
- Teori grup: konstruksi grup nonsophic.
- Aljabar operator: contoh tandingan terhadap dugaan kekakuan Connes.
- Kompleksitas aritmetika: batas bawah sirkuit dan rumus yang lebih kuat untuk permanen.
- Gim kuantum: teorema pengulangan paralel eksponensial.
- Masalah kisi: hasil kekerasan aproksimasi yang lebih kuat untuk masalah vektor terdekat.
- Geometri konveks: pembuktian dugaan volume Ehrhart.
- Teori Ramsey: batas bawah super-eksponensial untuk bilangan Ramsey segitiga multwarna.
- Teori graf ekstremal: contoh tandingan terhadap dugaan kekompakan dan degenerasi.
Ragamnya penting, tetapi juga membuat satu angka total menyesatkan. Menemukan contoh tandingan, memperbaiki batas, dan membuktikan teorema umum memiliki konsekuensi berbeda. Hasil tentang tingkat kesulitan suatu masalah matematika juga tidak otomatis menunjukkan serangan terhadap sistem kriptografi yang telah digunakan. Penerapan memerlukan rangkaian penalaran dan bukti tersendiri.
Pada 10 Agustus, Anthropic menerbitkan kemajuan yang cakupannya lebih sempit terkait hipotesis Riemann. Perusahaan menyatakan model Claude yang belum dirilis memperbaiki batas bawah proporsi nol fungsi zeta yang terletak pada garis kritis. Para matematikawan Anthropic memeriksa pekerjaan itu, pakar eksternal menelaah makalahnya, dan formalisasi dibuat. Perusahaan secara tegas menyatakan bahwa Claude tidak menyelesaikan hipotesis Riemann dan teknik ini tidak diharapkan menyelesaikannya. Uraian Anthropic.
Makalah tertaut menyatakan batas yang sedikit di atas dua pertiga, kira-kira 67,25%, serta mengidentifikasi hasil analisis sebelumnya yang digunakannya. Ini pernyataan matematika asimtotik, bukan klaim bahwa pemeriksaan sampel besar nol secara berhingga membuktikan hipotesis. Pembedaan ini sangat penting: batas bawah atas proporsinya tidak menempatkan setiap nol yang relevan pada garis tersebut. Naskah tentang nol fungsi zeta.
Naskah ambisius lainnya juga beredar. Dokumen yang dihoskan di situs Alpöge mengusulkan struktur kompleks pada bola berdimensi enam. Konstruksinya dapat diperiksa, tetapi salinan yang kami akses tidak memberikan tanggal pengumuman yang dapat dipercaya atau uraian lengkap tentang kontribusi AI. Karena itu, kami menyertakannya sebagai usulan yang dapat diselidiki pembaca, tanpa menaikkannya menjadi tonggak kronologi yang telah ditetapkan secara independen. Naskah tentang bola enam dimensi.
Awal September: celah bilangan prima memperlihatkan batas verifikasi
Rangkaian pengumuman juga merambah celah antarbilangan prima. Makalah awal dari kolaborasi Axiom tanggal 3 September menyatakan bahwa terdapat tak terhingga banyak pasangan bilangan prima berurutan yang selisihnya paling besar 212. Makalah itu mengakui kontribusi kerja analitis Julia Stadlmann dan proyek Polymath terdahulu. Sertifikat Lean-nya juga menggunakan perkiraan analitis dan sertifikat variasional yang diperiksa secara terpisah sebagai hipotesis. Hasil ini memajukan pertanyaan tentang celah terbatas; dugaan bilangan prima kembar mensyaratkan tak terhingga banyak celah yang tepat sebesar dua. Makalah tim Axiom.
Repositori publik PrimeGaps186 dari OpenAI menyajikan batas yang lebih kecil lagi dengan kualifikasi penting. Pengembangan Lean-nya bersyarat pada tiga aksioma masukan yang mencakup dua perkiraan dari literatur dan batas integral numerik. Repositori itu menyatakan bahwa sertifikat numeriknya tidak menuntaskan aksioma-aksioma tersebut. Karena itu, pembaca perlu membedakan argumen matematika yang diusulkan dari bagian yang secara formal diperiksa dengan masukan tertentu. Tidak tepat menyebut artefak ini sebagai pembuktian tanpa syarat yang sepenuhnya formal dan hanya bertolak dari aksioma dasar. Repositori PrimeGaps186.
Naskah OpenAI lain membahas celah panjang: seberapa besar interval antara bilangan prima berurutan dapat terjadi. Naskah itu melaporkan perbaikan batas bawah untuk celah terbesar di bawah ambang yang terus meningkat. Ini pertanyaan ekstremal yang terpisah dari pencarian pasangan prima berdekatan yang tak terhingga banyaknya; kemajuan pada satu pertanyaan tidak boleh dihitung sebagai solusi bagi yang lain. Naskah tentang celah panjang.
Rincian ini membuat peristiwa celah prima sangat berguna. Dua angka dalam judul dapat terlihat seperti perlombaan sederhana. Setelah ketergantungan pembuktian terlihat, pertanyaan yang lebih baik adalah langkah mana yang telah ditetapkan dengan metode apa. Menyatakan asumsi secara terbuka tetap bernilai meskipun formalisasi belum lengkap.
4 September: formalisasi menjadi bagian dari kisah penemuan
Pengumuman Anthropic tanggal 4 September menyangkut teorema yang pembuktian matematikanya sudah dikenal: Teorema Terakhir Fermat. Klaim pencapaiannya adalah formalisasi Lean yang lengkap, sebagian besar dihasilkan Claude secara mandiri selama sebelas hari. Perusahaan menjelaskan arahan manusia serta platform kolaborasi yang membantu agen melacak ketergantungan. Perusahaan juga mengakui tradisi pembuktian matematika yang menjadi landasan pekerjaan ini. Pengumuman formalisasi.
Repositori publik memberikan bukti yang lebih spesifik daripada judulnya. Repositori itu menyatakan teoremanya, mencatat ketergantungan, dan mendokumentasikan pemeriksaan terhadap aksioma standar Lean serta pernyataan dalam Mathlib. Repositori tersebut juga menyebut dirinya artefak riset yang tidak dipelihara. Kami memeriksa dokumentasi ini, tetapi tidak menjalankan ulang proses build-nya. Repositori FLT.
Jika alat yang sama yang menghasilkan lebih banyak argumen kandidat juga membantu memformalkannya, kapasitas pemeriksaan pun dapat meningkat. Ini alasan kuat untuk optimistis. Peneliti berikutnya memperoleh sesuatu yang konkret untuk diperiksa. Namun, mereka tetap perlu mengetahui apakah hasil antara mudah digunakan kembali, apakah dependensinya tetap dapat dibangun, dan siapa yang memelihara artefak tersebut. Volume kode yang dihasilkan saja tidak dapat menjawab pertanyaan-pertanyaan itu.
Ada pilihan kelembagaan yang penting di sini. Laboratorium dapat merilis pembuktian sebagai demonstrasi tuntas atas modelnya, atau mendukungnya sebagai infrastruktur yang akan dikerjakan orang lain. Kedua pendekatan itu menimbulkan kewajiban berbeda setelah hari peluncuran. Pemeliharaan, contoh penjelas, dan rujukan stabil sepatutnya menjadi bagian dari anggaran riset.
8 September: apa yang sebenarnya diklaim hasil Navier–Stokes
Hasil tentang fluida memperjelas pertanyaan-pertanyaan ini. Pengumuman OpenAI tanggal 8 September, yang diperbarui pada 10 September, menyajikan solusi yang diusulkan untuk masalah keberadaan dan kehalusan Navier–Stokes. OpenAI mengatribusikan pekerjaan tersebut kepada model internal yang bekerja melalui agen koordinator, serta merilis argumen tertulis dan formalisasi Lean. OpenAI menyatakan tidak berniat mengklaim Hadiah Milenium. Pengumuman.
Ruang lingkup naskahnya adalah gerak fluida inkompresibel tiga dimensi dengan viskositas positif dan gaya luar yang dikonstruksi secara cermat. Berawal dari keadaan diam, solusi yang diusulkan mengembangkan kecepatan tak terbatas dalam waktu berhingga sementara energi totalnya tetap terbatas. Gayanya mulus serta terbatas dalam ruang dan waktu. Konstruksi matematisnya menggunakan pusaran yang menyusut dan koreksi yang diatur agar gaya sisanya tetap mulus. Ini klaim tentang solusi persamaan, bukan pengamatan dari eksperimen fisik atau simulator rekayasa baru. Naskah Navier–Stokes.
Gaya luar merupakan unsur penting untuk memahami cakupannya. Uraian resmi masalah Clay oleh Charles Fefferman mengizinkan gaya mulus dalam alternatif keruntuhan C dan D. Alternatif kehalusan global A dan B membahas persamaan tanpa gaya luar. Karena itu, hasil sah yang diajukan dapat menjawab alternatif Clay yang secara eksplisit diizinkan, sambil membiarkan pertanyaan keteraturan global tanpa gaya luar tetap belum terjawab. Menyebut gaya luar tidak relevan akan melebih-lebihkan teoremanya; menganggapnya di luar masalah yang dinyatakan akan keliru menggambarkan aturannya. Pernyataan resmi masalah.
OpenAI juga merilis argumen Euler terpisah, yang menyangkut fluida ideal tanpa viskositas. Naskah itu mengusulkan keruntuhan dalam waktu berhingga dari data awal mulus tanpa gaya luar. Persamaan Euler dan Navier–Stokes memang berkaitan, tetapi asumsi dan kesimpulan kedua makalah tersebut harus tetap dibedakan. Naskah Euler.
Sejarah riset di sekitarnya juga penting. Pernyataan European Mathematical Society tanggal 10 September mengakui pekerjaan Córdoba, Martínez-Zoroa, dan Zheng, bersama Alpöge dan Buckmaster serta kontribusi matematika terdahulu. Pernyataan itu juga mengangkat pertanyaan tentang akses, kepengarangan, dan atribusi. Uraian yang langsung beralih dari nama model ke teorema menghilangkan akumulasi gagasan yang memungkinkan pekerjaan ini. Pernyataan EMS.
Pada 11 September, Clay menanggapi dengan antusiasme yang terukur atas dugaan penyelesaian tersebut dan menyatakan bahwa evaluasi serta pembagian kredit akan mengikuti proses yang sengaja tidak diburu-buru. Ini tanggapan kelembagaan yang bermakna. Namun, ini bukan pemberian hadiah atau pernyataan bahwa seluruh aspek pekerjaan sudah selesai ditelaah. Pengumuman Clay.
Kesimpulan yang tepat bagi pembaca sudah cukup penting tanpa perlu dilebih-lebihkan: sebuah laboratorium AI telah merilis pembuktian yang diusulkan untuk menjawab masalah Milenium yang diakui, disertai artefak matematika dan formal yang dapat diperiksa, dan lembaga-lembaga utama menanggapinya dengan serius. Penerimaan lebih luas, atribusi, dan pemahaman masih memerlukan proses serta pekerjaan lanjutan.
Pemeriksaan pembuktian menjawab pertanyaan yang spesifik
Verifikasi formal mengubah bukti yang tersedia bagi peninjau. Pelaporan tentangnya juga harus lebih presisi.
Dokumentasi Lean membedakan pembuktian yang valid dari makna pernyataan yang dibuktikan. Pemeriksaan dasar yang berhasil menetapkan bahwa suatu pernyataan formal mengikuti definisi dan asumsinya. Pemeriksaan tambahan dapat mengungkap ketergantungan yang belum tuntas, mengaudit aksioma, dan membandingkan pembuktian dengan pernyataan yang dirumuskan secara independen. Dokumentasi itu menjelaskan verifikasi yang lebih kuat menggunakan pemeriksa eksternal, sekaligus tetap menyebut asumsi yang belum hilang. Panduan validasi Lean.
Bayangkan seorang peneliti membutuhkan batas yang berlaku bagi setiap masukan suatu algoritma. Asisten memberikan teorema yang benar secara formal, tetapi definisi masukan yang diperbolehkan mengecualikan kelompok sulit. Pembuktian dapat benar, sementara penerapannya oleh peneliti tetap tidak didukung. Ini contoh hipotetis yang menunjukkan mengapa penerjemahan antara pertanyaan dan pernyataan formalnya perlu dicermati.
Kebaruan menimbulkan jenis pemeriksaan lain. Sistem pembuktian tidak menetapkan apakah argumen yang sama pernah muncul dengan istilah berbeda dalam makalah lama, apakah atribusi sudah lengkap, atau apakah perbaikan yang diklaim mengubah sesuatu yang penting bagi penerapan. Penilaian tersebut memerlukan penelusuran literatur dan keahlian bidang terkait.
Karena itu, kami akan meminta laboratorium yang merilis hasil utama untuk menyediakan paket yang tahan lama: klaim persisnya dalam bahasa matematika biasa, padanan formal jika tersedia, pembuktian dan dependensinya, uraian jelas tentang kontribusi manusia dan model, serta catatan tentang apa yang telah ditelaah dan direvisi. Ini standar pelaporan yang kami usulkan. Standar ini memberi peneliti lain cara untuk mengetahui penanggung jawab dan mengulang pemeriksaan yang relevan.
Kelompok penasihat menanggapi masalah koordinasi yang makin besar
Pengumuman Advisory Group on Mathematics and Artificial Intelligence pada 21 September muncul dalam latar ini. Kelompok tersebut menyatakan dirinya independen, tidak dibayar, dan bersedia memberi saran kepada perusahaan AI terkait mana pun. Tugas langsungnya adalah memberi saran kepada OpenAI tentang perilisan hasil lanjutan yang menurut perusahaan telah diperolehnya. Kelompok ini menjanjikan rekomendasi publik dan secara eksplisit menyatakan tidak memiliki kuasa pengambilan keputusan di dalam perusahaan. Pengumuman di blog Terence Tao merupakan tulisan tamu dari kelompok tersebut. Pernyataan kelompok.
OpenAI menjelaskan mandat yang mencakup penelaahan, komunikasi, signifikansi, dan diseminasi. OpenAI juga menyatakan bahwa kelompok itu tidak bertanggung jawab memberi saran tentang laju kemajuan matematika internalnya. Karena itu, peran penasihat tersebut perlu dipahami sebagai saluran untuk penelaahan dan koordinasi, sementara keputusan tetap berada di perusahaan. Pengumuman OpenAI tentang kelompok penasihat.
Ada alasan untuk menyambut pengaturan ini. Koordinasi yang lebih baik dapat mengurangi pekerjaan penelaahan ganda, menemukan pakar yang tepat, dan memastikan uraian suatu hasil sesuai dengan dukungan buktinya. Keterbatasannya juga jelas: saran perlu ditanggapi, dan independensi saja tidak menyediakan mekanisme penegakan. Pembaca sebaiknya memantau rekomendasi yang diterbitkan dan tindakan perusahaan setelahnya.
Argumen skeptis juga menyangkut tujuan riset. Deklarasi Math and AI tanggal 11 September menyatakan bahwa perlombaan menyelesaikan masalah yang telah terdaftar dapat mengabaikan pengembangan pemahaman dan pelatihan matematikawan masa depan. Para penandatangan menguraikan risiko terhadap proses yang membuat gagasan dapat diajarkan dan digunakan. Ini posisi serius dari para pelaku disiplin tersebut, bukan pengukuran yang menunjukkan bahwa semua penggunaan AI sudah merugikannya. Deklarasi tersebut.
Henry Cohn mengembangkan argumen terkait dalam esai tamu di blog Tao pada 15 September: hasil yang kurang dijelaskan dapat membebani komunitas dengan pekerjaan besar untuk memahaminya. Kekhawatirannya juga mencakup insentif bagi orang yang melakukan pekerjaan penjelasan itu. Atribusi yang benar juga penting: esai ini ditulis Cohn, meskipun dihoskan Tao. Esai Cohn.
Kemajuan berikutnya seharusnya lebih mudah digunakan orang lain
Rangkaian Mei hingga September mendukung pandangan optimistis dengan contoh konkret. Contoh tandingan geometri mengilhami konstruksi lanjutan. Peneliti menemukan cara yang lebih jelas untuk menjelaskan pemetaan polinomial yang mengejutkan. Formalisasi menghasilkan artefak tambahan untuk memeriksa penalaran rumit. Unsur-unsur hubungan produktif antara keluaran model dan praktik matematika sudah terlihat.
Skenario pesimistisnya juga praktis. Laboratorium mungkin menghasilkan hasil yang diusulkan lebih cepat daripada kemampuan pihak lain untuk memahaminya, lalu menghitung pengumumannya sebagai kontribusi ilmiah yang sudah selesai. Penelaahan dapat menjadi beban yang ditimpakan kepada kelompok kecil pakar, sementara sumber daya dan prestise mengalir ke sistem yang menghasilkan tumpukan pekerjaan tersebut. Akses terbatas ke model dapat memperlebar ketimpangan antara pihak yang menghasilkan penemuan dan pihak yang diharapkan menilainya.
Pandangan kami, laboratorium, pemberi dana, dan jurnal seharusnya mengukur kedua sisi proses. Lacak penemuan kandidat, tetapi lacak juga penelaahan independen, penyederhanaan yang berguna, argumen yang diperbaiki, pustaka formal yang dapat digunakan kembali, serta pekerjaan lanjutan. Berikan penghargaan kepada orang-orang yang membuat hasil dapat dipahami. Terbitkan koreksi dengan ketekunan yang sama seperti pengumuman.
Bagi pembaca yang ingin mengikuti terobosan berikutnya, pertanyaan paling mengungkap bersifat spesifik: apa yang kini dapat dilakukan peneliti lain yang sebelumnya tidak bisa mereka lakukan? Jawabannya mungkin berupa membangun contoh tandingan, menetapkan jaminan yang lebih kuat, memeriksa argumen sulit, atau mengajarkan metode baru. Di situlah kemajuan AI matematika menjadi kemajuan matematika.
