Iklan
Campus Commercial Park: rukost di kawasan kampus
C.CO Park menghadirkan kawasan ruko dan kost dalam satu gerbang, dirancang untuk mahasiswa dan penghuni sekitar kampus. Cocok untuk yang mencari aset produktif dengan pengelolaan kawasan yang tertata.
OpenAI mempublikasikan 722 manuskrip matematika hasil kerja model kecerdasan buatan yang belum dirilis ke publik pada 6 Oktober 2026. Dokumen itu diunggah ke sebuah repositori GitHub dan dikelompokkan menjadi 372 keluarga hasil yang saling berkaitan. Langkah ini menyusul desakan kelompok penasihat matematika dan kecerdasan buatan di Institute for Advanced Study agar setiap laboratorium membuka cara memperoleh hasil semacam itu.
Bagi publik, rilis tersebut menyentuh dua hal sekaligus. Pertama, batas antara alat bantu hitung dan penemu pengetahuan baru semakin kabur. Kedua, kepercayaan pada klaim laboratorium teknologi diuji karena model yang menghasilkan manuskrip itu masih tertutup. Polemik yang muncul bukan sekadar soal benar atau salah satu rumus, melainkan soal siapa yang boleh memeriksa dan mengulang hasilnya.
Sebagian matematikawan menyambut baik karena jawaban atas soal lama akhirnya tersedia. Sebagian lain menahan diri karena bukti yang bisa direplikasi belum lengkap. Perdebatan itu membuat berita ini penting bukan hanya bagi peneliti, tetapi juga bagi siapa pun yang memakai kecerdasan buatan untuk pekerjaan sehari-hari.
OpenAI, Kecerdasan Buatan, dan 722 Manuskrip Matematika
Dalam halaman resmi berjudul Sharing AI progress in mathematics, OpenAI menyatakan telah berkonsultasi dengan Advisory Group on Mathematics and Artificial Intelligence sebelum menerbitkan hasil. Hasil dirilis sebagai repositori GitHub dengan protokol revisi dan sitasi. Perusahaan juga menyebut masih menjajaki lokasi penyimpanan lain yang dikelola komunitas sesuai pedoman panitia.
Rincian teknis dibuka sebagian. Repositori memuat formalisasi banyak bukti dalam Lean, bahasa pemrograman yang memungkinkan komputer memeriksa logika pembuktian secara bertahap. Ada pula 10 ringkasan penalaran model, estimasi komputasi yang dipakai, dan statistik jumlah soal yang dicoba. OpenAI menyebut rata-rata hasil memakai komputasi setara sekitar tiga jam mode berpikir di ChatGPT Pro.
Menurut catatan repositori yang dikutip AI Stock Wire, model diberi sekitar 4.000 soal selama evaluasi. Himpunan hasil dibentuk dengan mengelompokkan keluaran model lalu menyaringnya pada tingkat kebermaknaan tertentu. Dua pengecualian disebut khusus, yaitu kawasan bebas nol untuk fungsi zeta Riemann dan pembuktian dugaan Hodge untuk satu kelas objek geometri bernama varietas abelian CM.
Dari Navier-Stokes sampai Dugaan Hodge
Sorotan utama bukan pada jumlah berkas, melainkan pada jenis soal yang diklaim terselesaikan. Menurut AI Stock Wire, pada 21 September 2026 OpenAI menyatakan sebuah model yang mulai dilatih pada 28 Agustus berhasil menyelesaikan persamaan Navier-Stokes, salah satu dari tujuh soal Millennium Prize yang berhadiah satu juta dolar Amerika, serta lebih dari 100 soal terbuka di berbagai cabang matematika.
Persamaan Navier-Stokes menggambarkan aliran fluida dan sudah lama menjadi ujian berat karena sifat turbulensinya sulit dibuktikan secara formal. Dugaan Hodge menyangkut hubungan antara bentuk geometri dan struktur aljabar, dan termasuk salah satu soal paling terkenal yang belum terpecahkan. Bila klaim itu bertahan setelah diperiksa, dampaknya akan terasa di banyak bidang, mulai dari prakiraan cuaca sampai teori bilangan.
Namun repositori yang sama mengakui bahwa belum semua bukti diterjemahkan ke Lean. Catatan di repositori menyebut sebagian hasil yang belum diformalkan masih mungkin bermasalah dan penulisnya berjanji memperbaiki temuan itu dengan cepat. Pengakuan itu penting dibaca sebagai tanda bahwa verifikasi mesin baru mencakup sebagian dari tumpukan manuskrip, bukan keseluruhannya. Pembaca sebaiknya tidak menyamakan status formal pada satu berkas dengan status seluruh katalog.
