.jpg?width=1600)
Yapay Zekâ Bir Milyon Dolarlık Matematik Problemini Çözdü mü?
OpenAI'ın on bin ajanı 88 saatte Navier–Stokes denklemlerinde tekillik bulduğunu açıkladı; ispat Lean'de doğrulandı. Ama Navier–Stokes vakası matematik tarihinden çok daha büyük bir soruyu önümüze getiriyor: Bir makine bir matematiksel doğrulamayı gerçekleştirebiliyorsa, matematiksel düşünceyi de gerçekleştirmiş olur mu? Turing'den Searle'e, Gödel'den Wittgenstein'a, Platon'dan Tao'ya bir dosya.
David Chalmers, Ludwig Wittgenstein, Platon, Daniel C. Dennett







.jpg?width=500)









.jpg?width=1600)



