OpenAI, 21 Eylül Pazartesi günü matematik alanındaki yapay zekâ sonuçlarını değerlendirecek bağımsız bir danışma grubunun kurulduğunu duyurdu. Advisory Group on Mathematics and Artificial Intelligence (AGMAI) Princeton’daki İleri Araştırmalar Enstitüsü’nde barınıyor ve agmai.org adresinden yayın yapıyor. Kuruluş duyurusu, Terence Tao’nun blogunda grup üyelerinin imzasıyla yayımlandı.
Grupta dokuz kurucu üye var: François Charles (ENS-PSL), Camillo De Lellis (IAS, GSSI), Timothy Gowers (Collège de France, Cambridge), Martin Hairer (EPFL, Imperial College London), Nikhil Srivastava (Berkeley, Simons Institute), Ulrike Tillmann (Oxford, INI), Ravi Vakil (Stanford), Edward Witten (IAS) ve Melanie Matchett Wood (Harvard). Üyeler iş için ödeme almıyor; istemedikleri konularda görüş açıklamakta serbest, kendi üyeliklerini de kendileri belirliyor.
İlk görev, OpenAI’nin açıklamayı planladığı matematik sonuçlarının duyuru takvimi. Şirket, iç modelinin matematikte çözülmemiş yüzden fazla problemi çözdüğünü söylüyor; grup bu sonuçların kamuya nasıl ve hangi sırayla duyurulacağı konusunda danışmanlık verecek. Ancak sınır baştan çizildi: grup, şirketin iç ilerleme hızını nasıl ayarlayacağı konusunda tavsiye vermeyecek.
Bu sınır, kuruluşun neden bağımsız bir çatı altında toplandığını açıklıyor. TechCrunch’ın aktardığına göre OpenAI bazı matematikçilere şirket içi bir danışma kurulu önermişti; isimler, şirket dışında kalmayı ve kararlarını kendilerinin aldığı bir grup kurmayı seçti. İleri Araştırmalar Enstitüsü de duyurusunda aynı noktayı vurguladı.
Tartışmanın arka planı gergin. Eylül ayının başında 25 Fields madalyalı matematikçi, yapay zekâ laboratuvarlarının ünlü problemleri birbirlerine karşı üstünlük kurmak için kullandığını ve alanın entelektüel emeğini tehdit ettiğini savunan bir açık mektup imzalamıştı. AGMAI üyelerinden yalnızca Camillo De Lellis o mektuba imza attı.
Matematikte sonuç, kanıtın hakem denetiminden geçmesiyle sayılıyor. Laboratuvarların duyurduğu problem çözümleri hakem sürecinden geçmediği sürece matematikçiler için kanıt yerine iddia olarak kalıyor. AGMAI, bu iddiaları değerlendirecek bir kanal kuruyor ama denetim yetkisi yok: grubun işi tavsiye vermek ve üyeleri gerekirse görüşünü kamuya açıklamak.