Yapay Zeka Fermat'nın Son Teoremi'ni Dijitalleştiriyor
· 1 kaynaktan derlendi
Imperial College London liderliğindeki bir ekip, Andrew Wiles'ın ünlü kanıtını Lean diliyle kodlayarak matematiksel doğrulamayı yapay zekaya yaptırıyor; bu süreç geleneksel matematik eğitimini kökten
Kaynaklar
- Mathematicians put AI to work on Fermat’s last theorem— New Scientist
Haberin tamamını, arka planını ve ilgili dosyayı görmek için Recap'e giriş yap. Haber #115326