Yapay zeka için çok motorlu matematik çekirdeği MathKernel duyuruldu
Öne çıkanlar
- MathKernel hem bir Python kütüphanesi hem de Model Context Protocol sunucusu olarak çalışıyor.
- SymPy, Z3, mpmath ve Lean gibi farklı motorlar tek bir orkestrasyon katmanında birleşti.
- Hesaplama sonuçları güven seviyesi, motor etiketi ve türetim geçmişiyle birlikte etiketleniyor.
Açık kaynaklı MathKernel projesi, büyük dil modellerinin ve yazılımların matematiksel iddiaları doğruluk dereceleriyle işlemesini sağlayan çok motorlu bir matematik çekirdeği olarak yayımlandı. Python kütüphanesi ve MCP sunucusu olarak sunulan sistem, dil modellerinin matematiksel mantığı yorumlamasını, arka plandaki hesaplama motorlarının ise sonuçlara kanıt üretmesini sağlıyor.
Sistem, tek bir çözücü yerine sembolik cebir, kalkülüs, sonlu cebir, çizge teorisi ve stokastik süreçler gibi farklı alanlara yönelik SymPy, Z3, Lean ve mpmath gibi motorları bir araya getiriyor. Çekirdek; kesin hesaplama, denetimli sertifikalar, sembolik sonuçlar ve biçimsel kanıtları birbirinden ayrı güven seviyeleriyle sınıflandırıyor. Hesaplama süreçlerinin kaynağı kayıt altına alınarak yaklaşık girdilerin kesin sonuç gibi gösterilmesi engelleniyor.
Proje, ayrık Fourier dönüşümlerinden diferansiyel geometriye ve sonlu elemanlar yöntemine kadar geniş bir matematiksel nesne koleksiyonunu destekliyor. Çekirdek, görselleştirme veya seslendirme gibi sunum katmanlarının matematiksel kanıt seviyesini değiştirmesini önleyen katı bir mimari ayrım uyguluyor.
Bu özet yapay zekâ ile hazırlanmıştır; ayrıntılar ve doğrulama için orijinal kaynağa başvurun.