Matematikteki yapay zeka krizine hoş geldiniz

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. Yapay zeka bu düzeyde matematik yapabiliyorsa bu, yapay zeka laboratuvarlarının bu becerileri diğer alanlara aktarabileceği anlamına mı gelir? Eğer sınır modelleri sadece tüm önemli soruları yanıtlıyorsa, mevcut problemleri çözmeye çalışırken yeni problemleri tanımlamaları için yeni nesil matematikçileri eğiten akademik bağışların ve üniversite programlarının ne faydası var? Ya matematiğe olan bu kadar ilgi, var olan en eski ve en temel akademik disiplinlerden birine ne olacağını hiç umursamayan önc�� yapay zeka laboratuvarları için sadece büyük bir pazarlama egzersiziyse? Burada pek çok şey var ve Robert bu konularda pek çok farklı görüşe sahip pek çok insanla konuştu. Tamam: Verge AI muhabiri Robert Hart, yapay zekanın matematikte neler yaptığını anlatıyor. İşte başlıyoruz. Bu röportaj uzunluk ve netlik açısından hafifçe düzenlendi.

Robert Hart, sen bizim The Verge'deki Londra merkezli yapay zeka muhabirimizsin. Decoder'a hoş geldiniz. Beni kabul ettiğin için teşekkür ederim. Seninle konuşacağım için çok heyecanlıyım. Özellikle son zamanlarda daldığınız yapay zekâ ve matematikle ilgili çok şey oluyor. Yapay zeka nedeniyle matematikte yaşanan kriz hakkında birçok önde gelen matematikçiyle konuştunuz. Çok şey varmış gibi geliyor ve aynı zamanda bu iki şeyin etkileşimi hakkında henüz öğrenilecek ve keşfedilecek çok şey varmış gibi geliyor. Tamamen Şifre Çözücünün yemi olan tam bir varoluşsal kriz. Bize neler olduğunu geniş bir şekilde anlatın. Sanırım "çok" bunu oldukça iyi özetliyor. Temelde "matematik nedir? Matematikçiler ne yapıyor ve matematikçilerin ileriye yönelik rolü nedir?" Bunların çoğu, yapay zekanın yapabilecekleri konusunda son altı aydan bir yıla kadar patlama yaşayan ifade geçişinden kaynaklandı.