OpenAI, Yapay Zeka ile Ürettiği 372 Matematiksel Kanıtı GitHub Üzerinden Paylaştı

OpenAI, kendi bünyesindeki bir yapay zeka modeli tarafından üretilen 372 yeni matematiksel sonucu içeren kapsamlı bir koleksiyonu GitHub üzerinden yayınladı. Şirket, bu adımıyla akademik dünyadaki geleneksel hakemli dergi sürecinin, yapay zekanın sunduğu bu hızdaki bilgi üretimine yetişemeyeceği mesajını veriyor. Yayınlanan sonuçlar arasında bilgisayar algoritmalarının iyileştirilmesi ve Riemann hipotezi gibi çözülmemiş matematiksel problemlere yönelik önemli ilerlemeler yer alıyor.

Söz konusu kanıtların büyük bir kısmı, tek bir yapay zeka aracına verilen tek bir komutla üretildi. Şirket verilerine göre, her bir sonuç ortalama üç saatlik bir hesaplama gücü tüketti. Bu durum, daha önce milyonlarca dolarlık hesaplama maliyeti ve 10 bin ajandan oluşan bir sürü gerektiren Navier-Stokes problemi çözümünden oldukça farklı bir verimlilik seviyesine işaret ediyor. OpenAI, üretilen sonuçların doğruluğunu sağlamak amacıyla Lean programlama dilini kullanarak matematiksel kanıtların makine tarafından denetlenebilir hale getirilmesini hedefliyor.

Akademik camia, bu kitlesel kanıt üretimine karşı bölünmüş durumda. Lean üzerinden mantıksal doğruluk kanıtlanabilse de, bir sonucun matematiksel olarak anlamlı veya özgün olup olmadığını belirlemek hala insan uzmanlığına bağlı. Aralarında 25 Fields Madalyası sahibinin de bulunduğu bir grup matematikçi, yapay zekanın sadece problem çözmeye odaklanmasının, matematiğin temelindeki kavramsal anlayışı ve içgörüyü zayıflatabileceği konusunda uyarıda bulundu.

Matematikçi Timothy Gowers ve Terence Tao gibi isimler, önümüzdeki yirmi yıl içinde matematiksel literatürün insanlar tarafından anlaşılamayacak kadar büyüme riski taşıdığını belirtiyor. OpenAI ise bu sonuçları sunarken, Institute for Advanced Study bünyesindeki matematik ve yapay zeka danışma grubunun önerilerini takip ettiğini ve gelecekte yapay zeka üretimi sonuçların anlaşılmasına yönelik çalıştaylara fon sağlayacağını duyurdu.