Yapay Zeka, Büyük Bir Çözülmemiş Matematik Problemini Çözer. Herkes Mutlu Değil

13 Eylül'de, matematik ve bilgisayar bilimlerinin önde gelen isimleri ve gelecek vaat eden yetenekleri, Almanya'daki yıllık Heidelberg Ödüllü Forumunda bir hafta boyunca tartışma, ağ oluşturma ve -doğal olarak- sosis için bir araya geldi. Geçmişte bu etkinliklerin birçoğuna katılmış olan matematikçilerin sohbeti normalde hangi ünlü araştırmacıların katıldığı veya hangi ilginç problemler üzerinde çalıştıkları ile ilgiliydi. Ancak bunun yerine, geçerken yakalanan her konuşma parçası veya kazara kulak misafiri olan herhangi bir tartışma, OpenAI, Anthropic ve Google gibi yapay zeka şirketlerinin matematikte nasıl hızla ilerlediğiyle ilgiliydi. Ve bu hararetli tartışmaların iyi bir nedeni var. Matematik, adım adım mantıksal akıl yürütmeyi ve otomatik ve nesnel olarak doğrulanabilen yanıtları içeren yapay zeka için mükemmel bir test alanıdır.