Araştırmacılar, malzeme biliminde kritik öneme sahip yüzey alanı hesaplamalarını yapay zeka destekli matematiksel ispat sistemiyle doğrulayan yeni bir yöntem geliştirdi. BET analizi olarak bilinen bu teknik, gözenekli malzemelerin özelliklerini belirlemede kullanılıyor ancak hesaplama hatalarına açık. Lean 4 teorem ispatlama sistemi kullanılarak geliştirilen yeni yaklaşım, tüm hesaplama adımlarının matematiksel olarak doğru olduğunu garanti ediyor. Bu çalışma, bilimsel hesaplamalarda güvenilirlik sorununa çözüm getirirken, yapay zekanın bilimsel araştırmalardaki rolünü de güçlendiriyor.

arXiv — Kimyasal Fizik 0

Teknoloji & Yapay Zeka

21 Apr

Yapay Zeka Kodlama Yetenekleri Matematiksel Doğrulama ile Güçleniyor

Araştırmacılar, büyük dil modellerinin kod yazma ve anlama yeteneklerini geliştirmek için yenilikçi bir yaklaşım geliştirdi. Haskell programlama dili üzerinde çalışan sistem, matematiksel doğrulama araçları kullanarak kodların anlam bakımından eşdeğer olup olmadığını belirliyor. İki yapay zeka modelinin birbirine karşı yarıştığı bu yaklaşımda, bir model kod üretirken diğeri bu kodları değerlendiriyor. Sistem, 28 bin doğrulanmış Haskell programından oluşan yeni bir veri seti kullanıyor. Deneyler, bu yöntemle eğitilen modellerin kod anlama testlerinde yüzde 13'e varan başarı artışı gösterdiğini ortaya koyuyor. Çalışma, yapay zekanın mantıksal düşünme yeteneklerinin geliştirilmesinde formal doğrulama yöntemlerinin önemini vurguluyor.

arXiv (CS + AI) 0