Muse Spark matematik araştırmalarına katkı sundu; çalışmaları matematikçiler yönetti

Meta, 2 Ekim’de yaptığı açıklamada matematikçilerin Muse Spark’la birlikte altı araştırma makalesi hazırladığını ve bu çalışmaların beşinin daha önce açık olan sorulara yanıt verdiğini duyurdu. Buradaki iddia, bir sohbet botunun altı matematik problemini tek başına çözdüğü değil; araştırmacıların yönettiği çalışmalarda yapay zekâdan destek alındığı. 17

Makaleler hangi alanları kapsıyor?

Çalışmalar matematiğin farklı dallarına yayılıyor. Öne çıkan örnekler şöyle:

• Olasılık ve geometri: The Strict Threshold for Gaussian Ellipsoid Fitting, rastgele Gauss vektörlerinin tanımladığı koşulları sağlayan pozitif yarı-belirli bir matrisin varlığı için yaklaşık (n \sim d^2/4) eşiğini ortaya koyuyor. 1
• Grup teorisi: Çalışmalardan biri, 2024’te ortaya atılan bir varsayımı çürüten 384 elemanlı bir grup sunuyor. 20
• Cebir: On Solvable Evolution Algebras and a Conjecture by García-Martínez and Pérez-Rodríguez adlı makale, başlığında adı geçen varsayımı ele alıyor. 4
• Optimizasyon: Tightness of the Cycle-Based Relaxation for Completed Length-Three Alpha-Cycles, belirli bir çevrim temelli gevşetme yönteminin ne zaman sıkı olduğunu inceliyor. 4
• Matematiksel fizik: Meta’nın yayımladığı çalışmalar arasında String Two-Point Function = Height Function on a Curve başlıklı makale de bulunuyor. 4
• Diferansiyel denklemler: Yayın listesinde, kütle-kritik biharmonik doğrusal olmayan Schrödinger denklemi için radyal ve negatif enerjili çözümlerin sonlu zamanda patlamasını konu alan bir çalışma da yer alıyor.

Meta’nın “altı makalenin beşi açık sorulara yanıt veriyor” ifadesi ile her bir makalenin hangi soruya karşılık geldiği arasında, erişilebilen yayın listelerinde açık ve bağımsız biçimde doğrulanmış bir eşleştirme bulunmuyor. Bu nedenle her makaleyi ayrı bir açık problemin kesin çözümü olarak değerlendirmemek gerekiyor. 174

Araştırmacılar modeli nasıl kullandı?

Matematikçiler Muse Spark 1.1 ve 1.2’yi Thinking Mode’da, özel olarak araştırma için tasarlanmış bir sistem yerine standart meta.ai sohbet arayüzü üzerinden kullandı. Meta’nın açıklamasına göre araştırma ekibi çalışmaları yönlendirdi, modelle fikirleri araştırdı ve matematiksel argümanları geliştirdi; ardından başka bir matematikçi grubu çalışmaları gözden geçirdi. Makalelerde, hangi bölümlerin ağırlıklı olarak araştırmacılarca, hangilerinin yapay zekâ desteğiyle yazıldığı da belirtiliyor. 17

Bu ayrım sonuçları değerlendirirken önemli. Model fikir, argüman veya kod üretimine katkı sağlayabilir; ancak Meta’nın anlattığı süreçte problemleri seçme ve çalışmaları inceleme görevleri insanlarda kaldı. Grup teorisi örneğinde Muse Spark’ın GAP adlı matematik yazılımı için arama programı yazdığı, matematikçilerin ise bulunan karşı örneği kontrol edip kanıtı tamamladığı aktarılıyor. 20

Sonuçların sınırları ve doğrulama meselesi

Bu makaleler, bir yapay zekâ modelinin denetimli matematik araştırmasına katkıda bulunabildiğine dair örnekler sunuyor. Ancak tek başlarına sonuçların yalnızca bu ekip tarafından bulunduğunu ya da modelin matematiksel çıktılarının genel olarak güvenilir olduğunu kanıtlamıyor. Bazı sonuçlara başka ekiplerin bağımsız olarak da ulaştığına ilişkin haberler var; bu örtüşme, kimin ne zaman hangi katkıyı yaptığı değerlendirilirken önem taşıyor.

Matematikçilerin bir kanıtı incelemesi, biçimsel doğrulamadan farklıdır. Biçimsel doğrulamada kanıt, bilgisayarın adım adım denetleyebileceği katı bir dile aktarılır. Meta’nın açıklaması insan incelemesinden söz ediyor; ancak mevcut bilgiler, makalelerdeki her kanıtın bir kanıt asistanıyla makine tarafından kontrol edildiğini göstermiyor. 17

Muse Spark, 8 Nisan 2026’da Meta Superintelligence Labs’in ilk modeli olarak tanıtılmıştı. Ekimde yayımlanan çalışmalar, modelin daha sonraki bir dönemde araştırma işbirliğinde nasıl kullanıldığına dair örnekler sunuyor. Yine de altı makale, yapay zekânın ürettiği matematiksel iddiaların hatasız olduğu anlamına gelmiyor: Bunun için kanıtları incelemek ve sonuçları bağımsız biçimde doğrulamak gerekiyor.