OpenAI, sonuçları üreten sistemi şirket içinde tutarken 372 matematik sonucunu kamuya açtı. Birçok kanıtın bilgisayarla denetlenebilir biçimi var; araştırmacıların fikirleri ve yeniliği değerlendirmesi ise ayrıca gerekiyor. Şirket, bağımsız danışma grubunun önerisine rağmen kesin yönergeleri açıklamıyor. Bu nedenle sonuçların şirketin söylediği süreçle yeniden elde edilmesi henüz bağımsız olarak doğrulanmış değil.
Yapay zekâ şirketi OpenAI, 6 Ekim’de matematik çalışmalarını kod ve belge paylaşım hizmeti GitHub üzerinden yayımladı. Şirket içinde tutulan bir sistemin ürettiği yüzlerce sonuç böylece dışarıdaki araştırmacılara açıldı.[1], [2]
OpenAI, 372 sonucun matematik ve kuramsal bilgisayar bilimindeki açık soruları çözdüğünü veya önemli ilerleme sağladığını söylüyor. Sonuçların önemine ilişkin bu değerlendirme şirkete ait.[1]
Birçok kanıtın Lean adlı dilde yazılmış biçimi bulunuyor. Bu dil, mantıksal adımların belirtilen varsayımlardan çıkıp çıkmadığını bilgisayarla denetlemeyi sağlıyor. Araştırmacıların fikirleri anlaması, yeniliğini incelemesi ve matematiksel önemini değerlendirmesi de gerekiyor. Bu işler, biçimsel kanıtın adımlarını denetlemenin ötesine uzanıyor. Sonuçları üreten sistem genel kullanıma açılmamış olsa da yayımlanan belgeler incelenebiliyor.[1]
Institute for Advanced Study bünyesindeki bağımsız matematik ve yapay zekâ danışma grubu, sistemin, kesin yönergelerin ve hesaplama süresinin açıklanmasını önerdi. OpenAI ortalama hesaplama süresini ve ek sayısal bilgileri yayımlıyor, ancak yönergeleri açıklamıyor. Şirket, hemen her sonucun tek bir eylemci yapay zekâya verilen tek yönergeden çıktığını söylüyor; bazı sonuçların birden çok deneme gerektirmiş olabileceğini de kabul ediyor.[1]
Massachusetts Teknoloji Enstitüsü'nden matematikçi Andrew Sutherland, sistem açılıp başkaları çalışmaları yineleyene kadar tek deneme savının doğrulanmamış sayılması gerektiğini belirtti. Toronto Üniversitesi'nden Daniel Litt ise yanıtların kamuya açılmasını olumlu karşıladı. OpenAI, yeni yayımladığı bazı çalışmaların kendi matematikçileri tarafından da henüz anlaşılmadığını bildirdi.[1]
