OpenAI’ın yapay zekâyla ürettiği yaklaşık 400 matematiksel sonucu değerlendirmek yıllar alabilir

OpenAI, sayı teorisi ve geometriden kuramsal bilgisayar bilimine ve matematiksel fiziğe uzanan alanlarda, 700’den fazla makaleye yayılmış yapay zekâyla üretilmiş yaklaşık 400 matematiksel sonuç yayımladı. The Verge’e konuşan matematikçiler, koleksiyonu anlamanın yıllar sürebileceğini söyledi.

Yayın, yaklaşık 40 sayfalık bir içindekiler ve özetler bölümü içeriyordu. Araştırmacılar, bu materyali okumanın bile bir saatin büyük bölümünü aldığını ve koleksiyonun büyüklüğünün ilk değerlendirmeyi zorlaştırdığını belirtti.

Makalelerdeki doğrulama düzeyi farklılık gösteriyor. OpenAI, 719 makaledeki 300 temel sonucun, yani yaklaşık %42’sinin, biçimsel hâle getirildiğini; birçok makalenin Lean ile biçimselleştirildiğini, ancak hepsinin böyle olmadığını söyledi. OpenAI, elde ettikçe depoya daha fazla biçimselleştirme ekleyeceğini belirtti.

Araştırmacılar, Lean kodunun bir makaledeki iddiaların doğruluğunu tek başına kanıtlamadığı konusunda uyardı: biçimsel kanıtın makalede açıklanan sonuçla örtüşüp örtüşmediğini kontrol etmek gerekiyor. Birkaç matematikçi, kanıtların niteliğinin ve makalelerdeki iddialarla uyumunun değişken olduğunu The Verge’e söyledi.

Bazı araştırmacılar ilk izlenimlerinin beklediklerinden daha iyi olduğunu söyledi, ancak bunun çalışmanın akademik standartları karşıladığı anlamına gelmediğini vurguladı. Habere göre büyük hacim ve eşit olmayan doğrulama düzeyi, koleksiyonun bütününü değerlendirmeyi zorlaştırıyor.