Araştırmacılar, yapay zeka ajanlarının matematiksel ispatları otomatik olarak formalize edebileceğini gösteren çığır açan bir çalışma yayınladı. İsabelle teoremi kanıtlama sistemi kullanılan araştırmada, hem insan hem de AI ajanı bağımsız olarak kağıt-kalem ispatları üretiyor, ardından AI bu ispatları otomatik olarak İsabelle'de formalize ediyor. Çalışma, lambda hesabı terimlerinde tip açıklamalarının nasıl minimize edilebileceği problemine odaklanıyor. Bu yaklaşım, formal matematik ve otomatik ispat sistemlerinin gelişimi için önemli bir adım teşkil ediyor.

arXiv (CS + AI) 0

Teknoloji & Yapay Zeka

20 Apr

Yapay Zeka Artık Matematik Teoremlerini Kendi Başına Keşfedip İspatlayabiliyor

Araştırmacılar, yapay zekanın matematik alanındaki yeteneklerini gerçek koşullarda test eden yeni bir sistem geliştirdi. 'Discover and Prove' adlı bu framework, önceki sistemlerin aksine teoremi önceden bilmeden sorunu çözebiliyor. Sistem, doğal dil kullanarak mantık yürütme ve kendi kendini sorgulama yetenekleriyle önce cevabı buluyor, sonra formal ispat yapıyor. Test sonuçları, sistemin önceki en iyi performansı %40 oranında geçtiğini gösteriyor. Bu gelişme, yapay zekanın matematik ve teorik bilimler alanındaki gerçek potansiyelini değerlendirmek için önemli bir adım.

arXiv (CS + AI) 1