OpenAI CEO'su Sam Altman, yapay zekayla üretilen sonuçların matematikçileri bunaltmasına empati duyduğunu söylerken şirketin yayınlarını durdurmayacağını vurguladı. Altman, temel bilimsel bilginin kamuya açık olması gerektiğini savunuyor. Matematikçiler ise yetersiz açıklama ve doğrulama nedeniyle kontrol yükünün kendilerine kaldığını belirtiyor.
OpenAI bu hafta yüzlerce matematik kanıtı yayınladı ancak danışma grubu AGMAI'nin belirlediği standartların altında kaldı. Özellikle insan anlayışı ve biçimselleştirme konularında eksikler tespit edildi. Cambridge ve King's College araştırmacıları da doğal dil ile Lean kodu arasında tutarsızlıklar olduğunu gösterdi.
OpenAI, Princeton'daki Institute for Advanced Study bünyesinde matematik ve yapay zeka danışma grubu oluşturduğunu duyurdu. Açıklama, şirketin Navier-Stokes Binyıl Ödülü problemine çözüm yayınlamasının ardından geldi ve aynı modelin 100'den fazla ek açık problemi çözdüğü iddia edildi. Karara 25 Fields Madalyası sahibi matematikçinin tepkisi sürerken yeni grup danışmanlık yetkisiyle sınırlı olacak.