Enam kertas matematik hasil kerjasama ahli matematik dengan Muse Spark

Pada 2 Oktober, Meta mengumumkan enam kertas penyelidikan matematik yang dihasilkan oleh ahli matematik dengan bantuan Muse Spark. Syarikat itu berkata lima kertas tersebut menjawab persoalan yang sebelum ini belum mempunyai penyelesaian. Namun, ini ialah kisah penyelidikan yang dibimbing manusia dengan bantuan AI—bukan dakwaan bahawa chatbot menyelesaikan enam masalah secara bersendirian. 17

Apakah bidang yang dikaji?

Kertas-kertas itu meliputi beberapa cabang matematik. Antara hasil yang dilaporkan ialah:

• Kebarangkalian dan geometri: The Strict Threshold for Gaussian Ellipsoid Fitting menetapkan ambang sekitar (n \sim d^2/4) bagi menentukan sama ada matriks semidefinit positif boleh memenuhi kekangan yang ditentukan oleh vektor Gaussian rawak. 1
• Teori kumpulan: satu hasil mengenal pasti kumpulan yang mempunyai 384 unsur sebagai contoh balas kepada suatu konjektur yang dicadangkan pada 2024. 20
• Algebra: On Solvable Evolution Algebras and a Conjecture by García-Martínez and Pérez-Rodríguez membincangkan konjektur yang dinamakan dalam tajuknya. 4
• Pengoptimuman: Tightness of the Cycle-Based Relaxation for Completed Length-Three Alpha-Cycles mengkaji sama ada suatu kaedah pengenduran berasaskan kitaran adalah ketat. 4
• Fizik matematik: String Two-Point Function = Height Function on a Curve ialah antara penerbitan yang disenaraikan. 4
• Persamaan pembezaan: senarai penerbitan turut merangkumi kajian tentang letusan dalam masa terhingga bagi penyelesaian radial ber tenaga negatif untuk persamaan Schrödinger tak linear biharmonik kritikal jisim.

Angka yang diumumkan Meta perlu dibaca dengan cermat: syarikat itu berkata lima daripada enam kertas menjawab persoalan terbuka. Namun, senarai kertas yang tersedia tidak menunjukkan dengan jelas padanan satu demi satu antara keenam-enam kertas itu dengan lima persoalan tersebut. 174

Bagaimana ahli matematik menggunakan Muse Spark?

Para penyelidik menggunakan Muse Spark 1.1 dan 1.2 dalam Thinking Mode melalui antara muka sembang biasa di meta.ai—tanpa sistem penyelidikan khas. Menurut Meta, ahli matematik membimbing penyelidikan dan membangunkan hujah bersama model itu, sebelum kumpulan ahli matematik yang lain menyemak hasil kerja tersebut. Kertas-kertas itu turut menandakan bahagian yang drafnya terutama disediakan oleh penyelidik dan bahagian yang disediakan dengan bantuan AI. 17

Peranan manusia penting ketika menilai hasil ini. Model boleh menyumbang idea, hujah atau kod, tetapi pemilihan masalah dan semakan penyelidikan melibatkan ahli matematik. Dalam contoh teori kumpulan, laporan luar menyebut Muse Spark menulis program carian untuk GAP, sebuah perisian matematik; ahli matematik kemudian menyemak contoh balas itu dan melengkapkan hujahnya. 20

Apa yang masih belum dipastikan?

Kertas-kertas ini menunjukkan bahawa model AI boleh menyumbang kepada penyelidikan matematik yang diselia manusia. Namun, ia tidak membuktikan bahawa hasil tersebut eksklusif atau bahawa jawapan matematik model itu sentiasa boleh dipercayai. Laporan lain menyebut beberapa hasil turut dicapai secara bebas oleh pasukan lain, menjadikan isu pertindihan penting apabila menilai keutamaan penemuan.

Semakan ahli matematik juga tidak sama dengan pengesahan formal. Dalam pengesahan formal, bukti ditulis dalam bahasa khusus yang membolehkan komputer menyemaknya langkah demi langkah. Penerangan Meta menyebut semakan manusia, tetapi bahan yang tersedia tidak mengesahkan sama ada bukti bagi setiap kertas diperiksa menggunakan pembantu bukti komputer. 17

Meta memperkenalkan Muse Spark pada 8 April 2026 sebagai model pertama daripada Meta Superintelligence Labs. Kertas-kertas pada Oktober menunjukkan penggunaan model itu dalam kerjasama penyelidikan kemudian, tetapi bukan bukti bahawa dakwaan matematik yang dijana AI bebas daripada kesilapan. Untuk menilainya, hujah dalam kertas perlu diteliti dan disahkan secara bebas.