Yapay Zekadan Matematikte Gelişme: OpenAI 377 Yeni Sonucu Paylaştı

New York Times (NYT) gazetesinin haberine göre, söz konusu sonuçlar, OpenAI'ın eylülde "Milenyum Problemleri" arasında yer alan ve akışkanların hareketini ele alan Navier-Stokes denklemlerini çözmeyi başardığını açıklamasının ardından cebir, sayı teorisi, teorik bilgisayar bilimi, matematiksel mantık ve topoloji dahil farklı alanlardaki matematik problemleri hakkında yapay zeka tarafından elde edilen 377 yeni sonucu paylaştı.

OpenAI, yazılı açıklamada, her bir sonucun elde edilmesinin ortalama yaklaşık 3 saat sürdüğünü söyledi. Navier-Stokes çalışmasında olduğu gibi, yeni matematiksel sonuçlar da henüz kamuya sunulmayan daha gelişmiş bir yapay zeka modeli kullanılarak elde edildi.

Yeni çalışmalar tamamlandıkça veri havuzuna eklenecek olan ispatlar, temel mantığın doğruluğunu denetleyen "Lean" adlı bilgisayar dili kullanılarak kontrol ediliyor.

Yazılı açıklamada, matematik alanındaki yapay zeka çalışmalarının sonuçlarının bilim dünyasıyla paylaşılmasına yönelik yöntemlerin geliştirmek için bir danışma grubuyla istişarelerde bulunulduğu ifade edildi.

Yapay zekanın elde ettiği matematiksel sonuçların anlaşılmasını desteklemek için atölye, konferans ve özel programlara finansman sağlanacağı, ileri düzey modellerin bilim alanlarında test edilmeye devam edileceği vurgulandı.

OpenAI, 10 sorunun çözümü için yapay zeka modelinin sonuca nasıl ulaştığını gösteren özetler yayımladı.

Yapay Zeka Navier-Stokes Denklemlerini Çözmüştü

ABD merkezli yapay zeka şirketi OpenAI, Eylül 2026'da 90 yıldır çözülemeyen ileri seviye bir matematik problemini yeni nesil bir yapay zeka modeli kullanarak çözdüklerini kamuoyu ile paylaşmıştı. Görevleri kısmen otonom şekilde yerine getiren yaklaşık 10 bin yapay zeka aracından oluşan bir grup kullanılarak, söz konusu matematik probleminin 88 saatte çözüldüğü belirtilmişti.