OpenAI ileri nesil yapay zekasıyla 377 yeni matematiksel ispat sundu

ABD merkezli teknoloji şirketi OpenAI, cebir, sayı teorisi, teorik bilgisayar bilimi, matematiksel mantık ve topoloji gibi farklı disiplinlerde yapay zeka algoritmaları aracılığıyla ulaşılan 377 yeni matematiksel sonucu erişime açtı. Henüz piyasaya sürülmemiş, ileri nesil bir yapay zeka modeli kullanılarak elde edilen bu sonuçlar, bilim dünyasında geniş yankı uyandırdı.

New York Times'ın haberine göre yayımlanan bu çalışma paketi, şirketin geçtiğimiz eylül ayında Milenyum Problemleri arasında yer alan ve akışkanların hareketini ele alan Navier-Stokes denklemlerine ilişkin çözüm elde ettiğini duyurmasının ardından geldi. Şirket, yeni matematiksel sonuçların da tıpkı Navier-Stokes çalışmasında olduğu gibi henüz kamuya sunulmayan gelişmiş bir modelle üretildiğini belirtti.

OpenAI tarafından yapılan yazılı teknik açıklamada, her bir zorlu matematik probleminin çözümünün ortalama 3 saat sürdüğü ifade edildi. Üretilen matematiksel ispatların doğruluğunu ve mantıksal tutarlılığını teminat altına almak amacıyla, temel mantığın doğruluğunu adım adım denetleyen 'Lean' adlı bilgisayar dili kullanılarak bir doğrulama mekanizması kurulduğu aktarıldı.

Şirket, yapay zekanın ulaştığı sonuçların anlaşılmasını desteklemek amacıyla atölye, konferans ve özel programlara finansman sağlanacağını duyurdu. Ayrıca, modellerin çözüm sürecindeki mantık silsilesini görünür kılmak adına 10 spesifik problemin ayrıntılı çözüm özetleri de paylaşıldı. Yeni çalışmalar tamamlandıkça elde edilen verilerin küresel veri havuzuna düzenli olarak ekleneceği bildirildi.

OpenAI, matematik alanındaki yapay zeka araştırmalarının sonuçlarını bilim dünyasıyla paylaşmaya yönelik yöntemler geliştirmek amacıyla bir danışma grubuyla istişarelerde bulunduğunu açıkladı. İleri düzey modellerin bilimsel alanlardaki testlerinin sürdürüleceği de belirtilen açıklamada vurgulandı.