Çin’de geliştirilen bir yapay zeka sistemi, Amerikalı matematikçi Dan Anderson tarafından 2014 yılında ortaya atılan ve uzun süredir çözülemeyen bir cebir problemini çözmeyi başardı. İnsan müdahalesi olmadan 80 saat içinde çözüldü
Haberi okuduğunuz için teşekkürler, bizi takip etmeyi unutmayın!
Pekin Üniversitesi bünyesinde Dong Bin liderliğinde geliştirilen sistem, onlarca yıllık matematik literatürünü analiz ederek problemi yaklaşık 80 saat içinde çözdü. Araştırmacılar, sürecin neredeyse tamamen insan müdahalesi olmadan gerçekleştiğini belirtti.
Yeni sistem iki ana bileşenden oluşuyor. “Rethlas” adı verilen bileşen, matematikçilerin izlediği yöntemlere benzer şekilde çözüm stratejileri geliştiriyor. Ardından “Archon” isimli ikinci sistem, bu çözümü doğrulanabilir bir yapıya dönüştürüyor. Bu aşamada, interaktif bir teorem ispatlayıcı ve programlama dili olan Lean 4 kullanılıyor.
Araştırmacılar çalışmanın henüz hakem değerlendirmesinden geçmediğini ve arXiv platformunda yayımlandığını vurguladı. Ancak elde edilen sonuçlar, yapay zekanın yalnızca hesaplama değil, aynı zamanda ileri düzey matematiksel akıl yürütme alanında da ciddi ilerleme kaydettiğini gösteriyor.
Bilim insanlarına göre bu yaklaşım, gelecekte matematik araştırmalarını büyük ölçüde otomatikleştirebilir. Yine de uzmanlar, matematiksel kanıtların mutlak doğruluk gerektirdiğini ve yapay zekaların hala insan denetimine ihtiyaç duyabileceğini hatırlatıyor.
Araştırma ekibi, büyük dil modellerinin hata yapma ve “halüsinasyon” üretme riskine dikkat çekerek, geliştirilen sistemin bu sorunu aşmak için hem doğal dil akıl yürütmesini hem de formal doğrulamayı birleştirdiğini belirtiyor.
