OpenAI, cebir, sayı teorisi, teorik bilgisayar bilimi, matematiksel mantık ve topoloji gibi alanlarda yapay zekâ tarafından elde edilen 377 yeni matematik sonucunu yayımladı. New York Times'ın haberine göre sonuçlar, şirketin eylülde Navier-Stokes denklemlerini çözdüğünü açıklamasının ardından geldi. Sonuçlar, henüz kamuya sunulmayan daha gelişmiş bir yapay zekâ modeliyle elde edildi.
OpenAI neyi paylaştı?
OpenAI, farklı matematik dallarında yapay zekânın bulduğu 377 yeni sonucu yayımladı. Şirket, her bir sonucun elde edilmesinin ortalama yaklaşık 3 saat sürdüğünü bildirdi. Sonuçlar, kamuya açık olmayan, daha gelişmiş bir modelle üretildi. OpenAI ayrıca 10 sorunun çözümü için modelin sonuca nasıl ulaştığını gösteren özetler de paylaştı.
İspatlar nasıl doğrulandı?
Şirketin açıklamasına göre ispatlar, mantıksal doğruluğu denetleyen "Lean" adlı bilgisayar diliyle kontrol edildi. Yeni çalışmalar tamamlandıkça bunların veri havuzuna ekleneceği belirtildi.
OpenAI bilim dünyasıyla nasıl çalışacak?
OpenAI, yapay zekânın matematikteki sonuçlarının bilim dünyasıyla paylaşılmasına yönelik yöntemleri geliştirmek için bir danışma grubuyla istişare ettiğini açıkladı. Şirket, yapay zekânın elde ettiği sonuçların anlaşılmasını desteklemek amacıyla atölye, konferans ve özel programlara finansman sağlayacağını, ileri düzey modelleri bilim alanlarında test etmeyi sürdüreceğini de bildirdi.
Navier-Stokes iddiası neydi?
OpenAI, Eylül 2026'da akışkanların hareketini ele alan ve 90 yıldır çözülemeyen Navier-Stokes denklemleriyle ilgili bir problemi yeni nesil bir modelle çözdüğünü açıklamıştı. Şirkete göre görevleri kısmen otonom yürüten yaklaşık 10 bin yapay zekâ aracından oluşan grup, problemi 88 saatte çözdü. Süreçte yaklaşık 3 milyon mesaj ve 130 milyar veri kullanıldı. Bu iddialar OpenAI'ın kendi açıklamalarına dayanıyor.
