Enam makalah matematika dibuat bersama Muse Spark—Meta menyebut lima menjawab pertanyaan terbuka

Meta menyatakan pada 2 Oktober bahwa matematikawan yang bekerja bersama Muse Spark menghasilkan enam makalah penelitian, dan lima di antaranya membahas pertanyaan yang sebelumnya belum terjawab. Namun, pengumuman itu menggambarkan riset yang dipandu manusia dengan bantuan AI—bukan klaim bahwa chatbot secara mandiri menyelesaikan enam persoalan. 17

Apa saja yang dibahas dalam enam makalah itu?

Topiknya tersebar di beberapa cabang matematika. Di antaranya:

• Probabilitas dan geometri: The Strict Threshold for Gaussian Ellipsoid Fitting menetapkan ambang sekitar (n \sim d^2/4) untuk menentukan apakah sebuah matriks semidefinit positif dapat memenuhi kendala yang ditentukan oleh vektor Gaussian acak. 1
• Teori grup: salah satu hasil menyajikan grup dengan 384 elemen sebagai contoh penyangkal bagi sebuah konjektur yang diajukan pada 2024. 20
• Aljabar: On Solvable Evolution Algebras and a Conjecture by García-Martínez and Pérez-Rodríguez membahas konjektur yang disebut dalam judulnya. 4
• Optimisasi: Tightness of the Cycle-Based Relaxation for Completed Length-Three Alpha-Cycles mengkaji apakah suatu relaksasi berbasis siklus bersifat ketat. 4
• Fisika matematika: daftar publikasi Meta mencakup String Two-Point Function = Height Function on a Curve. 4
• Persamaan diferensial: ada pula penelitian tentang ledakan solusi dalam waktu terbatas untuk solusi radial berenergi negatif pada persamaan Schrödinger biharmonik nonlinier yang kritis terhadap massa.

Angka yang diumumkan Meta perlu dibaca dengan cermat: perusahaan itu mengatakan lima dari enam makalah menjawab pertanyaan yang sebelumnya terbuka. Daftar makalah yang tersedia belum menunjukkan secara jelas dan terverifikasi, satu per satu, makalah mana yang berkaitan dengan lima pertanyaan tersebut. 174

Peran matematikawan dalam kolaborasi

Para peneliti menggunakan Muse Spark 1.1 dan 1.2 dalam Thinking Mode melalui antarmuka chat meta.ai biasa, tanpa perangkat riset khusus. Menurut Meta, matematikawan memandu riset dan mengembangkan argumen bersama model, lalu kelompok matematikawan lain meninjau hasilnya. Makalah-makalah itu juga menandai bagian yang terutama ditulis oleh peneliti dan bagian yang disusun dengan bantuan AI. 17

Dalam salah satu contoh teori grup, laporan lain menyebut Muse Spark menulis program pencarian untuk GAP, perangkat lunak matematika. Matematikawan kemudian memeriksa contoh penyangkal tersebut dan menyelesaikan argumennya. Jadi, model tidak memverifikasi hasilnya sendiri. 20

Apa yang belum bisa disimpulkan?

Makalah-makalah ini menunjukkan bahwa AI dapat berkontribusi dalam riset matematika yang diawasi manusia. Namun, keberadaan makalah tersebut tidak otomatis membuktikan bahwa hasilnya eksklusif, atau bahwa keluaran matematika model selalu dapat diandalkan. Sejumlah laporan lain menyebut beberapa hasil serupa dicapai secara independen oleh tim berbeda, sehingga kemungkinan tumpang tindih perlu diperhitungkan saat membahas siapa yang lebih dahulu memperoleh hasil.

Peninjauan oleh matematikawan juga berbeda dari verifikasi formal. Dalam verifikasi formal, bukti ditulis dalam bahasa yang sangat terstruktur agar komputer dapat memeriksanya langkah demi langkah. Penjelasan Meta menyebut peninjauan oleh manusia, tetapi bahan yang tersedia belum memastikan apakah bukti di setiap makalah juga diperiksa dengan perangkat pembuktian formal. 17

Muse Spark diperkenalkan pada 8 April 2026 sebagai model pertama dari Meta Superintelligence Labs. Makalah yang diumumkan pada Oktober memperlihatkan penggunaan model dalam kolaborasi riset lanjutan. Namun, hasil ini bukan bukti bahwa klaim matematika yang dihasilkan AI bebas dari kesalahan; penilaiannya tetap membutuhkan pemeriksaan argumen dan verifikasi independen.