Matematikteki yapay zeka krizine hoş geldiniz

Özgün başlık: Welcome to the AI crisis in math
Bugün Decoder'da The Verge'nin Londra merkezli yapay zeka muhabiri Robert Hart ile yapay zekanın matematik alanına neler yaptığı ve birçok önde gelen matematikçinin bu konuda yaşadığı varoluşsal kriz hakkında konuşuyorum. OpenAI az önce matematikte uzun zamandır devam eden ve alanda bomba gibi patlayan bir dizi çözüm yayınladı. Bu, matematik camiasında büyük bir tartışmaya neden oldu ve Rob, zamanımızın en başarılı matematikçilerinden bazılarıyla bu konu hakkında konuşmak için biraz zaman harcadı. Yapay zeka sistemlerinin ilkokul aritmetiğinde hala oldukça kötü olmasına rağmen üst düzey soyut matematikte giderek daha iyi hale gelmesi komik. Bu, ileri matematik alanı için bazı büyük soruları gündeme getiriyor.