AI Bongkar Misteri Geometri 80 Tahun

Pomodo.id - OpenAI baru-baru ini membuat gebrakan besar dalam komunitas penelitian dengan merilis lebih dari 700 preprint matematika yang sepenuhnya dihasilkan oleh kecerdasan buatan. Rilis ini terjadi pada tanggal 6 Oktober 2026 di repositori perangkat lunak Github. Jumlah makalah yang dirilis sekaligus menjadi perhatian luas; beberapa matematikawan merayakan penemuan solusi untuk masalah yang sudah lama ada, sementara yang lain merasa kalau penelitian mereka telah tersalip, yang diungkapkan beberapa di antaranya di media sosial.

Pomodo.id - OpenAI baru saja meluncurkan koleksi besar riset matematika yang dihasilkan oleh model frontier internalnya, memberikan akses kepada matematikawan ke ratusan hasil yang dihasilkan mesin. Koleksi ini tersedia dalam repositori publik di GitHub yang berisi 722 manuskrip yang diorganisir ke dalam 372 keluarga riset. Karya ini mencakup berbagai bidang matematika murni, ilmu komputer teoretis, dan fisika matematika. Beberapa hasilnya menangani masalah yang memerlukan rantai pemikiran matematika yang panjang, menunjukkan potensi kolaborasi antara manusia dan kecerdasan buatan.

Pomodo.id - Dalam dunia kecerdasan buatan (AI) dan matematika, sebuah perubahan signifikan sedang terjadi berkaitan dengan bagaimana bukti formal matematika dan pemikiran AI dipahami dan diterapkan. Dhyey Mavani, seorang ahli yang bekerja dalam pengembangan AI, menyoroti bahwa ada perbedaan mendasar antara pemikiran AI dan proses pembuktian matematis yang formal. Dalam konteks ini, AI sering dipasarkan seolah-olah ia memiliki kemampuan berpikir yang sebanding dengan validasi formal yang dilakukan oleh sistem seperti Lean, sebuah alat yang digunakan untuk memverifikasi langkah-langkah dalam pembuktian matematis.

# AI OpenAI Pecahkan Konjektur Matematika Klasik Paul Erdős dalam Geometri Diskrit

# AI OpenAI Memecahkan Tantangan Matematika Erdős Berusia 80 Tahun