OpenAI'nin içsel olarak Astra olarak adlandırılan sonraki nesil akıl yürütme modeli, çoğu doktora adayının beyaz tahtalara ağlamasına neden olacak bir şey yaptı. Şirket, 1 Ağustos'ta modelin, Fields Madalyası sahibi Tim Gowers dahil dış matematikçiler tarafından doğrulanmış olan matematik ve teorik bilgisayar bilimindeki 10 açık problemde yeni sonuçlar ürettiğini duyurdu.
Bu, Astra'nın ilk deneyimi değil. 20 Mayıs'ta aynı model, matematikçileri neredeyse 80 yıldır meşgul eden Erdős düzlemsel birim uzaklık sanısı çürütüldü.
Modelin aslında yaptığı
Macar matematikçi Paul Erdős tarafından ortaya atılan problem, bir düzlemde tam olarak bir birim uzaklıkta olan nokta çiftlerinin sayısıyla ilgilidir. Astra, δ'nın sıfırdan büyük olduğu sonsuz sayıda n için en az n^(1+δ) birim mesafeli çift oluşturacak yapılar kurdu. İyileştirilmiş sonuç, δ'nın 0,014 olarak belirlenmesini sağladı. Bu, yapay zekânın ayrık geometride önemli bir problemi kendi başına çözdüğü ilk kezdi. Özel matematik eğitimi yoktu. İnsan desteği yoktu. Model, kendi kendine ileri düzey cebirsel muhakeme yaptı.
Ağustos duyurusu, geometri ve teorik bilgisayar bilimi üzerine 10 ek sonuç daha ekledi. Her sonuç, profesyonel matematikçiler tarafından bağımsız olarak doğrulandı. Gowers, bu başarıya “Yapay Zeka matematiğinde bir dönüm noktası” dedi. Gowers ve Thomas Bloom dahil matematikçiler, kanıtları doğrulayan ve daha fazla analiz sunan eşlik eden makaleler yayımladı.
Bu, saf matematik dışındaki önemini nedeni
Kriptografi, var olan her blok zinciri ve dijital varlığın temelini oluşturan, temelde uygulamalı bir matematiktir. Bitcoin, Ethereum ve diğer tüm kripto protokollerinin güvenliği, belirli matematiksel problemlerin hesaplama zorluğuna dayanır. Bugün ayrık geometride 80 yıllık varsayımları çürütebilen bir model, yarın şifrelemenin matematiksel temellerini inceleyebilecek successors'a sahiptir.
Yatırımcıların gerçekten dikkat etmesi gerekenler
Buradaki hemen etki sıfır. OpenAI, tüm duyurularında kripto tokenları, dijital varlıkları veya ilgili protokolleri hiçbir şekilde belirtmedi. Bu, saf bir AI araştırmaları meydan okumasıdır.
Öncelikle, matematiksel hesaplama ve kanıt doğrulamaya odaklanan AI ile ilgili tokenlar ve projeler yeniden ilgi görebilir. AI'nın sadece ikna edici görünen metinler üretmekten ziyade gerçek, doğrulanabilir entelektüel işler yapabileceğine dair hikaye, AI ve blok zinciri doğrulamasının kesişiminde çalışan projeler için argümanı güçlendirir.
İkinci olarak, post-kuantum kriptografi, teorik bir endişeden pratik bir önceliğe dönüşüyor. Kuantuma dirençli ve yapay zekaya dirençli kriptografik standartlar üzerinde çalışan projeler, giderek daha önemli hale gelebilir.