OpenAI'ın yeni yapay zeka modeli çözümsüz matematik problemlerini ele aldı

OpenAI tarafından yürütülen çalışmalar kapsamında, cebir, sayı teorisi, bilgisayar bilimi ve topoloji gibi çeşitli alanlardaki çözümsüz 377 matematik problemine yapay zeka ile el atıldı ve yeni sonuçlar elde edildi.

Yapay Zeka Modeliyle Yeni Sonuçlar

OpenAI 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ı.

Bu yeni matematiksel sonuçlar, henüz kamuya sunulmayan daha gelişmiş bir yapay zeka modeli kullanılarak elde edildi.

Süreç ve Kontrol Mekanizmaları

Şirket tarafından yapılan yazılı açıklamada, her sonucun elde edilmesinin ortalama yaklaşık 3 saat sürdüğü bildirildi.

İspatların temel mantığın doğruluğunu denetleyen Lean adlı bilgisayar dili kullanılarak kontrol edildiği aktarıldı.

Navier-Stokes Denklemleri Başarısı

Söz konusu gelişmeler, OpenAI'ın eylülde Milenyum Problemleri arasında yer alan Navier-Stokes denklemlerini çözmeyi başardığını açıklamasının ardından geldi.

Görevleri kısmen otonom şekilde yerine getiren yaklaşık 10 bin yapay zeka aracından oluşan bir grup kullanılarak çözülen problem için milyonlarca mesaj ve veri işlendi.

Bilim Dünyasıyla Paylaşım Planları

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ştirilmesi amacıyla bir danışma grubuyla istişarelerde bulunulduğu ifade edildi.

Yapay zekanın elde ettiği matematiksel sonuçların anlaşılmasını desteklemek amacıyla atölye, konferans ve özel programlara finansman sağlanacağı vurgulandı.