2027'ye gelindiğinde, Wiles'in Fermat'ın son teoremi ispatından önce kullanılan ve görünen matematiklerin sadece birkaç %'sini resmileştirmiş olmaktan çok uzakta olacağız Ayrıca 2035'e kadar yapay zekalar yeni ve gerçek matematik araştırmaları yapmayacak (çoğu Erdos ve BM problem seti buna hiç benzemiyor) çünkü tüm amaç ve zorluk (yani gerçekten neyin önemli olduğunu bulmak ve gerçekten yaratıcı olmak) - bu sadece insanların neredeyse umursamadığı kısımları (resmi kısmı) hızlandıracak. Matematik araştırması, doğru soruların ne olduğunu, ilginç neyin önemsiz olduğunu belirlemekle ve belki de en önemlisi, bir sonucun neden önemli olduğunu (!!) gerçek anlamda anlamakla ilgili her şeyden çok. Ayrıca, matematiğin tüm alanlarının aynı hesaplamalı "erişilebilirliklere" sahip olmadığını da söylemiyorum hâlâ çok uzaktayız (ama daha yakınız!), özellikle matematik araştırmaları, yapay zeka tarafından "yönlendirilmekte" ve aksi söyleyen herkes ya bu "inanılmaz sıkıcı bir araştırma tanımı" demek, yalan söylüyor ya da aptal ya da hepsi 2027'ye kadar yeni matematik sonuçlarının yarısının yapay zeka tarafından üretildiği fikri, matematiksel sonucu sadece basit kurallara dayalı semboller ve mantıksal çıkarımlar dizisi olarak tanımlamak için yeterince zihinsel engelli değilsek, komik buluşuyor. Açık olmak gerekirse, demek istediğim matematiğin "otofornalizasyonunun" geçerli olmadığı değil, birçok nedenle çok değerli - çoğunlukla insanlar daha iyi matematik yapar veya zamanlarını daha iyi kullanır, ama kesinlikle kendi başına bir değeri yoktur ve bu yüzden "matematiksel araştırmayı otomatikleştirmez". Demek istediğim yapay zekanın asla gerçek matematiksel araştırma yapamayacağı değil: Yapabileceğine inanıyorum, ama kesinlikle iki yıl içinde mevcut 2020-2025 teknolojisinden düşmeyecek

Gerçek matematikçiler karşı çıkıp katılmayabilir, ben gerçek bir matematikçi değilim ama saf bir bilgisayar cücesinin ya da saf matematik cücesinin karşı çıkabileceğini sanmıyorum çünkü tarafları yeterince bilmiyorlar

Açık olmak gerekirse, şu anda yapay zekanın insanlarla eşleştirildiğinde yeni kanıtlar sunabildiği çağdayız ve otoformalleşme büyümeye devam edecek, GDM muhtemelen yakında Navier-Stokes alacak vs Demek istediğim, bunun faydalı olmadığı değil, sadece en temel en zor kısmın yapay zeka araştırmalarında önemli ilerlemeler olana kadar (sadece dekoder tabanlı otoregresif çılgınlık üzerine, yıllar boyunca da devam edeceği) insan kaynaklı olması ve devam etmesi gerektiği.

@nasqret özellikle "güncel teknoloji yığını" olarak da görüşümü daralttım; bu otomatik regressif dekoder sadece transfomerler + 10000 şey yapıştırılmış veya vintalanmış bir şey ve bildiğim kadarıyla 2027 (veya 2030) kadar bunu mümkün kılacak gerçekten bir şey ortaya çıkmıyor