Ne oldu?
OpenAI, onlarca yıldır çözülemeyen matematik problemlerine yönelik 722 el yazması ve kanıt yayımladı. Ancak sonuçların yalnızca 300'ü "resmileştirildi" — yani insan tarafından okunabilen formüllerin bilgisayarca doğrulanabilecek hale getirilmesi. Bu da hangi sonucun gerçek araştırma olduğunu anlamayı zorlaştırıyor.
Matematikçiler neden tepkili?
Araştırmacılar raporlarda anlamsız açıklamalar, tutarsız formüller ve başkalarının daha önce tamamladığı çalışmalar buldu. OpenAI, sonuçları üreten modelin adını ve kullanılan istemleri (prompt) paylaşmadı; oysa Matematikçiler ve Yapay Zekâ Danışma Grubu (AGMAI) bunların açıklanmasını önermişti. Şirket yalnızca GitHub deposunda değişiklik günlüklerini yayımladı; birden fazla geri çekme ve düzeltme yapıldı.
Alan üzerindeki etkisi
NYU'dan profesör Tristan Buckmaster, yayımın birçok genç matematikçinin araştırma programını geçersiz kıldığını söylüyor. Northwestern Üniversitesi'nden profesör Bryna Kra ise matematiğin işbirliğine dayalı yapısının zarar görebileceğinden endişeli: araştırmacıların daha ketum davranması, fikir ve veri paylaşımını azaltabilir.
Daha geniş risk
Tartışma yalnızca akademik değil. Öncü yapay zekâ modellerinin matematik ve siber güvenlik yeteneklerinin kesişmesi, kriptografinin güvenilirliğini ve trilyonlarca dolarlık kripto varlığı risk altına sokabileceği yönünde uyarılar var.
