AI Makin Jago Matematika. Inilah Alasannya.
Esai ini melaporkan model internal OpenAI membantah konjektur jarak satuan Erdős (terbuka sejak 1946), membuktikan konjektur Cycle Double Cover, dan memecahkan sepuluh masalah terbuka lainnya — dan menganalisis alasannya: model mencari secara depth-first dengan verifikator otomatis, menukar waktu dengan komputasi, sehingga petunjuk biasa menjadi dapat ditindaklanjuti dan upaya gagal menjadi petunjuk negatif. Mengutip matematikawan OpenAI Jacob Tsimerman: AI bisa bermain lebih lama dan di perairan lebih berbahaya daripada matematikawan tanpa kewalahan. Penting sebagai kerangka untuk memprediksi masalah apa yang akan dipecahkan AI berikutnya.
SUMBER
- Latent Space2026-10-23 15:19