OpenAI, henüz çözülememiş matematiksel problemlerin doğrulayıcısını satın aldı, bu sayede yapay zekanın çözümlerinin otomatik olarak doğrulanması mümkün hale geldi.

动态 WordCount Beating'e göre, AI araştırma kuruluşu Epoch AI'ın açıklamasına göre, OpenAI, FrontierMath: Open Problems doğrulayıcısının erişim iznini satın aldı. FrontierMath: Open Problems, şimdiye kadar çözülememiş araştırma düzeyinde matematik problemlerinden oluşan bir grup, her biri özel bir bilgisayar programı (doğrulayıcı) ile birlikte, henüz doğru cevabı bilinmese de, birisi (ya da AI) potansiyel bir çözüm sunduğunda, doğrulayıcı otomatik olarak doğruluğunu kontrol edebilir. OpenAI, bu izni satın aldıktan sonra, kendi modelinin ürettiği matematiksel çözümleri doğrulayıcı ile kontrol edebilir.

Doğrulayıcının erişim izni, herhangi bir kuruluşun satın alabileceği şekilde açıktır ve temel maliyet, matematikçilere ödeme yapılması gerektiğinden, çünkü sorunları oluşturma ve doğrulayıcıyı yazma süreci çok emek yoğundur. Epoch AI aynı zamanda bir koşul belirlemiştir: Doğrulayıcı aracılığıyla geçerli bir çözüm bulan herkesin, sonucu Epoch AI'a bildirmesi ve soru yazarı ile keşfeden tarafın ortak yayımlama hakkını paylaşması gerekir.

Epoch AI, OpenAI'ın daha önce Orijinal FrontierMath Benchmark'ı (Tier'lar 1-4) desteklediğini vurgularken, Open Problems bölümünün Epoch AI tarafından bağımsız olarak geliştirildiğini ve sahibi olduğunu, deneme aşamasında ise Schmidt Sciences tarafından desteklendiğini belirtti.