Şaşırtıcı yapay zeka atılımları matematikçiler için ruh arayışı sorularını gündeme getiriyor | Mektup

Yapay zeka çağında matematiğin gelişmesi ya da yok olması, toplumun insan zekasında neye değer verdiğine bağlı, diye yazıyor Dr. Henry Bradford Kasra Rafi ve Bruce Schneier'in yapay zekanın son matematiksel atılımlarının gerçek anlamda yeni bir teori geliştirmekten değil, mevcut fikirlerin akıllıca yeniden birleşiminden oluştuğu yönündeki izlenimini paylaşıyorum (Hayır, yapay zeka matematiğin sonu anlamına gelmiyor - en azından şimdilik, 25 Ağustos). Soru şu: Bu değişirse matematiğe ne olur? Pek çok matematikçi gibi ben de son haftalarda çok fazla ruhsal araştırma yaptım, özellikle de kendi alanım olan grup teorisindeki önemli bir problem (sofik olmayan grupların varlığı) bu ay OpenAI'nin Astra modeliyle çözüldüğünden beri. Astra'nın kanıtı büyük ölçüde meslektaşlarım Gabor Kun ve Andreas Thom'un teoremlerinde hafif bir değişiklikten oluşuyor.