Berkongsi kemajuan AI dalam matematik
Kami menerbitkan pelbagai hasil matematik baharu yang dihasilkan oleh model perbatasan dalaman.
Dalam usaha menyeragamkan cara kami berkongsi hasil dengan komuniti matematik, kami telah mendapatkan pandangan daripada Kumpulan Penasihat Matematik dan Kecerdasan Buatan di Institut Pengajian Lanjutan(dibuka dalam tetingkap baru) yang bebas untuk membangunkan amalan terbaik. Kami juga menerapkan nasihat dan saranan mereka yang diterbitkan untuk umum(dibuka dalam tetingkap baru) dalam cara kami menerbitkan hasil ini.
Untuk penerbitan ini, kami menerbitkan hasil tersebut dalam repositori GitHub, berserta protokol untuk semakan semula makalah dan sitasi. Kami terus meneroka pilihan lain yang dihoskan oleh komuniti untuk penerbitan ini dan yang memenuhi garis panduan jawatankuasa tersebut. Bagi penerbitan akan datang, kami komited untuk terus meningkatkan mutu makalah melalui penambahbaikan sitasi, huraian matematik dan penyampaian hasil agar lebih mudah difahami.
Dalam repositori GitHub kami, kami turut berkongsi pemformalan banyak bukti tersebut dalam Lean, iaitu bahasa pengaturcaraan yang membolehkan bukti matematik disemak oleh komputer. Kami akan mengemas kini repositori dengan lebih banyak pemformalan apabila tersedia.
Untuk menggalakkan ketelusan dan keterbukaan saintifik, kami juga menerbitkan butiran tambahan dalam repositori tentang cara kami memperoleh hasil tersebut. Butiran ini merangkumi 10 ringkasan penaakulan model, anggaran sumber pengkomputeran yang digunakan berdasarkan penggunaan Pro di ChatGPT, serta statistik tentang bilangan masalah yang cuba diselesaikan. Secara purata, setiap hasil menggunakan sumber pengkomputeran yang setara dengan kira-kira tiga jam masa berfikir ChatGPT Pro.
Kami mahu kemajuan ini meluaskan batas pengetahuan manusia dan membuka jalan kepada kemajuan selanjutnya dalam matematik. Kami akan membiayai siri bengkel, persidangan dan program khas yang bertujuan memperdalam pemahaman tentang hasil penting yang dihasilkan oleh AI—kami akan berkongsi lebih lanjut tentang perkara ini dalam masa terdekat.
Kami mahu memperkasakan saintis secara langsung dengan keupayaan terkini dan sedang berusaha untuk menyediakan model yang menghasilkan dapatan ini secara bertanggungjawab. Oleh itu, penting untuk kami terus menilai model perbatasan dalaman kami dalam bidang matematik dan sains lain agar kami dapat mempercepat pembangunan alat untuk memajukan bidang tersebut. Kami akan terus mengambil tindakan berdasarkan maklum balas komuniti dan mengemas kini piawaian kami bagi pendedahan kemajuan saintifik penting pada masa hadapan.
