OpenAI, Eylül 2026'da 90 yıldır çözülemeyen bir matematik problemiyle ilgili sonuçları açıkladı. Bu sonuç, 10 bin yapay zeka aracından oluşan bir gruptan elde edildi ve 88 saatte çözüldü. Problem, akışkanların hareketini ele alan Navier-Stokes denklemleriyle ilgiliydi. Denklemlerle ilgili olarak yaklaşık 3 milyon mesaj ve 130 milyar veri kullanıldı. OpenAI, bu denklemleri çözmeyi başardığını açıkladıktan sonra, yapay zeka tarafından elde edilen 377 yeni matematik sonucunu paylaştı. Bu sonuçlar, cebir, sayı teorisi, teorik bilgisayar bilimi, matematiksel mantık ve topoloji dahil farklı alanlardaki problemleri kapsıyordu.
Her bir sonucun elde edilmesi ortalama 3 saat sürmüştü. Açıklamada, her bir ispatın temel mantığın doğruluğunu denetleyen "Lean" adlı bilgisayar dili kullanılarak kontrol edildiği belirtildi. Ayrıca, matematik alanındaki yapay zeka çalışmalarının bilim dünyasıyla paylaşılmasına yönelik yöntemlerin geliştirilmesi amacıyla bir danışma grubuyla istişarede bulunulduğu ifade edildi.
OpenAI, atölye, konferans ve özel programlara finansman sağlayarak, yapay zekanın elde ettiği matematiksel sonuçların anlaşılmasını destekledi. Ayrıca, 10 sorunun çözümü için yapay zeka modelinin sonuca nasıl ulaştığını gösteren özetler de yayımladı.
