Yapay Zeka Fermat'nın Son Teoremi'ni Kodluyor: Matematikte Yeni Dönem
· 1 kaynaktan derlendi
Imperial College London liderliğindeki araştırmacılar, Andrew Wiles'ın ünlü Fermat teoremi kanıtını AI yardımıyla 'Lean' diline dönüştürerek matematiği dijitalleştiriyor ve insan zekasının rolünü sorg
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 #113173