OpenAI yapay zekanın çözdüğü 377 matematik probleminin sonuçlarını yayımladı
OpenAI, cebirden topolojiye farklı alanlardaki 377 matematiksel sonucu kamuoyuyla paylaştı. Gelişmiş yapay zeka modeliyle elde edilen kanıtlar bilgisayar diliyle doğrulandı.
UHABERHaber Merkezi
7 Ekim 2026 Çarşamba Güncelleme 2 dk okuma
Fotoğraf: AA
Kısaca
- Yapay zeka modeli, her bir matematiksel sonucu elde etmek için ortalama 3 saat çalıştı.
- Elde edilen kanıtların mantıksal doğruluğu Lean adlı bilgisayar diliyle denetlendi.
- Şirket, sonuçların anlaşılmasını desteklemek amacıyla atölye ve konferanslara fon sağlayacak.
ABD merkezli yapay zeka şirketi OpenAI; cebir, sayı teorisi, teorik bilgisayar bilimi, matematiksel mantık ve topoloji gibi farklı alanlarda yapay zeka tarafından elde edilen 377 yeni matematiksel sonucu kamuoyuyla paylaştı. Edinilen bilgiye göre, söz konusu sonuçlar henüz kamuya sunulmayan gelişmiş bir yapay zeka modeli kullanılarak üretildi.
Şirketten yapılan açıklamada, her bir sonucun ortaya çıkarılmasının ortalama 3 saat sürdüğü bildirildi. Üretilen ispatların temel mantık doğruluğu ise Lean adı verilen özel bir bilgisayar diliyle kontrol edildi. Yeni çalışmalar tamamlandıkça bunların mevcut veri havuzuna eklenmeye devam edeceği aktarıldı.
Bilim Dünyasıyla İş Birliği Yapılacak
Matematik alanında yürütülen yapay zeka çalışmalarının sonuçlarını bilim dünyasıyla en etkili şekilde paylaşmak amacıyla bir danışma grubuyla istişarelerde bulunuldu. Yapay zekanın ulaştığı karmaşık sonuçların daha iyi anlaşılmasını sağlamak için atölye çalışmaları, konferanslar ve özel programlara finansman desteği sağlanacağı vurgulandı. Ayrıca 10 problemin çözümü için sistemin sonuca nasıl ulaştığını gösteren özel özetler de yayımlandı.
Daha Önce Zorlu Bir Denklem Çözülmüştü
Açıklamada, ileri düzey yapay zeka modellerinin farklı bilimsel alanlarda test edilmeye devam edileceği kaydedildi. Şirket, Eylül 2026'da yaklaşık 90 yıldır çözülemeyen ve akışkanların hareketini ele alan Navier-Stokes denklemleriyle ilgili zorlu bir problemi de yeni nesil modeliyle çözdüğünü duyurmuştu.
Söz konusu Navier-Stokes probleminde görevleri kısmen otonom şekilde yerine getiren yaklaşık 10 bin yapay zeka aracından oluşan bir grup kullanılmış, çalışma 88 saatte tamamlanmıştı. Süreç boyunca yaklaşık 3 milyon mesaj ve 130 milyar verinin işlendiği bildirilmişti.
