ABD merkezli yapay zeka şirketi OpenAI, matematiğin farklı alanlarında yapay zeka kullanılarak ulaşılan 377 yeni sonucu kamuoyuyla paylaştı. Çalışmalar arasında cebir, sayı teorisi, teorik bilgisayar bilimi, matematiksel mantık ve topoloji alanlarındaki problemler yer aldı.
Yapay zeka farklı matematik alanlarında sonuçlar üretti
New York Times'ın (NYT) haberine göre, OpenAI'ın paylaştığı yeni sonuçlar, şirketin eylülde "Milenyum Problemleri" arasında bulunan ve akışkanların hareketini konu alan Navier-Stokes denklemlerine ilişkin çözüm geliştirdiğini duyurmasının ardından geldi.
Şirket, yeni çalışmaları da Navier-Stokes araştırmasında kullanılan yönteme benzer şekilde, henüz kamuoyuna sunulmayan daha gelişmiş bir yapay zeka modeliyle gerçekleştirdi.
OpenAI'ın yazılı açıklamasında, sonuçların her birinin ortaya çıkarılmasının ortalama yaklaşık 3 saat sürdüğü belirtildi.
İspatlar Lean diliyle kontrol edildi
Açıklamada, elde edilen matematiksel ispatların temel mantık açısından doğruluğunun "Lean" adlı bilgisayar diliyle denetlendiği ifade edildi. Yeni çalışmalar tamamlandıkça sonuçların veri havuzuna dahil edileceği bildirildi.
OpenAI, matematik alanındaki yapay zeka çalışmalarının sonuçlarını bilim dünyasıyla paylaşma yöntemlerini geliştirmek amacıyla bir danışma grubuyla görüşmeler yürütüldüğünü aktardı.
Yapay zekanın ortaya koyduğu matematiksel sonuçların daha iyi anlaşılmasına katkı sağlamak amacıyla atölye çalışmalarına, konferanslara ve özel programlara finansman desteği verileceği belirtildi. Açıklamada ayrıca ileri düzey modellerin bilim alanlarındaki kullanımının test edilmeyi sürdüreceği kaydedildi.
OpenAI, 10 problemin çözüm sürecini de paylaştı
Şirket, 10 sorunun çözümünde yapay zeka modelinin sonuca hangi yöntemle ulaştığını gösteren özetleri de yayımladı.
OpenAI, Eylül 2026'da yaklaşık 90 yıldır çözülemeyen ileri düzey bir matematik problemini yeni nesil yapay zeka modeliyle çözdüğünü açıklamıştı.
Şirketin açıklamasında, görevleri kısmen otonom biçimde gerçekleştiren yaklaşık 10 bin yapay zeka aracından oluşan bir grubun kullanıldığı ve problemin 88 saat içinde çözüme kavuşturulduğu belirtilmişti.
Söz konusu problemin, akışkanların hareketini açıklayan Navier-Stokes denklemleriyle bağlantılı olduğu aktarılmıştı. Açıklamada ayrıca denklemler üzerinde yaklaşık 3 milyon mesaj ve 130 milyar veriden yararlanıldığı ifade edilmişti.
