OpenAI, yapay zekanın matematik alanındaki son gelişmelerini gözler önüne seren kapsamlı bir çalışma koleksiyonunu paylaştı. Henüz genel kullanıma sunulmamış olan dahili “frontier” modeli tarafından üretilen 722 matematik makalesi, 372 farklı sonuç ailesi altında GitHub platformunda erişime açıldı.

Bağımsız bir uzman grubu olan Matematik ve Yapay Zeka Danışma Grubu (AGMAI), bu çalışmaların, matematikte uzun süredir çözülemeyen yüzlerce açık probleme yönelik yenilikçi sonuçlar içerdiğini belirtti. Ancak grubun da altını çizdiği gibi, bu sonuçların matematik dünyası tarafından titizlikle incelenmesi ve doğrulanması gerekiyor. OpenAI de yayımladığı çalışmalarda, farklı doğrulama aşamalarından geçen sonuçların yanı sıra resmileşmemiş ve hata içerebilecek içeriklerin olabileceğini açıkça ifade ediyor.

Şirketin verdiği bilgilere göre, model yaklaşık 4 bin matematik problemini analiz etti. Bu problemler üzerindeki çalışmalar değerlendirilerek önem derecelerine göre filtrelendi ve nihayetinde 372 ailede toplanan 722 makale ortaya çıktı. Ortalama bir çalışmanın ortaya çıkması için kullanılan hesaplama gücünün de, üç saatlik ChatGPT Pro düşünme kapasitesine eşdeğer olduğu belirtiliyor.

OpenAI, şeffaflığı artırmak amacıyla bazı özel bilgiler de paylaştı. Bu açıklamalarda, seçilmiş 10 farklı problemin kısaltılmış akıl yürütme özetleri, kullanılan hesaplama birimi tahminleri ve incelenen problem sayıları gibi veriler yer alıyor. Söz konusu örnek problemler arasında π sayısının irrasyonellik ölçüsünden Mahler varsayımlarına, Kaplansky’nin doğrudan sonluluk varsayımından üç boyutlu relativistik Vlasov-Maxwell sistemine kadar matematiğin farklı dallarından önemli konular bulunuyor.

Matematiksel kanıtların güvenilirliği için önemli bir adım olarak, OpenAI, yayınlanan kanıtların bir kısmını Lean adlı matematiksel doğrulama sistemine tabi tuttu. Lean, bilgisayar destekli şekilde bir matematiksel ispatın mantıksal doğruluğunu test etmeye yarıyor. Ancak bu koleksiyondaki tüm çalışmalar henüz Lean doğrulamasından geçmemiş durumda.

Özetle, OpenAI’nın yeni koleksiyonu, yapay zekanın matematik alanında önemli ilerlemeler kaydettiğini gösterirken, aynı zamanda bu sonuçların bilim camiası tarafından detaylıca değerlendirilmesinin gerekliliğini ortaya koyuyor. Bu girişim, gelecekte matematiği yapay zeka destekli yöntemlerle çözme ve keşfetme alanında önemli bir dönüm noktası olabilir.

Kaynak: Webrazzi Yapay Zeka