Google DeepMind, AlphaProof Nexus adlı yeni bir matematiksel çerçeve tanıttı. Bu sistem, ünlü matematikçi Paul Erdos'un listesindeki dokuz açık problemi bağımsız olarak çözmeyi başardı. Bunların bazıları yarım asırdan fazla süredir çözülememişti. Sistem ayrıca, Tam Sayı Dizileri Çevrimiçi Ansiklopedisi'ndeki (OEIS) 44 hipotezi kanıtladı ve cebirsel geometrideki 15 yıllık bir sorunu çözdü. Bu konuda Ixbt.com haber veriyor.
AlphaProof Nexus sisteminin temel özelliği, Gemini 3.1 Pro dil modeli ile Lean resmi matematik doğrulama sisteminin uyumudur. Standart LLM modellerinden farklı olarak bu sistem, kanıtları doğal dilde değil, Lean programlama dilinde adım adım oluşturur. Her adım derleyici tarafından otomatik olarak kontrol edilir. Bir hata oluşursa, Lean kesin bir mesaj döndürür ve model bir sonraki denemede bundan ders çıkarır. Bu yaklaşım, yapay zekanın mantıksal hatalar (halüsinasyon) yapmasını önler.
Araştırmacılara göre, tek bir problemi çözmek için harcanan hesaplama maliyeti birkaç yüz doları buldu. Sistem, özellikle Mathlib kütüphanesinin iyi geliştiği kombinatorik, sayı teorisi ve dışbükey optimizasyon gibi alanlarda yüksek sonuçlar gösterdi. Yine de, Erdos'un 353 açık probleminden şu ana kadar sadece dokuzu çözüldü; bu da yapay zeka için daha yapılacak çok iş olduğunu gösteriyor.
DeepMind uzmanları, AlphaProof Nexus'un matematikçilerin yerini almayacağını, aksine yeni bir araştırma aracı haline geleceğini vurguluyor. Sistem tarafından sunulan tüm resmi kanıtlar GitHub platformunda yayınlandı. Bu çalışma, OpenAI gibi rakiplerin matematiksel araştırma alanındaki başarılarının arka planında gerçekleştirildi. Örneğin, daha önce OpenAI, kendi akıl yürütme modeliyle Erdos'un mesafeler hakkındaki hipotezini çürütmüştü.
“Zamin”i Telegram'da okuyun!
