OpenAI, bir iç sınır modelini matematiğin yaklaşık 4.000 açık problemine yöneltti ve çıktıyı yayımladı: 372 sonuç ailesinde toplanan 722 makale, Lean biçimsel kanıtları ve destekleyici dosyalarla birlikte herkese açık bir GitHub deposundan erişilebilir durumda.
Matematik camiasının tepkisi minnet olmadı. İnsan Matematiği Derneği (Association for Human Mathematics) 7 Ekim tarihli açıklamasında yayımı bir bilim gösterisi değil, "bir güç gösterisi" olarak niteledi ve matematikçileri OpenAI ile işbirliğini bırakmaya çağırdı. Terence Tao bu çağrıyı paylaştı. Nature'a konuşan araştırmacılar "ayağa kalkmış" durumda; The Verge bir tepkiyi "saf delilik" olarak aktardı ve bu tür açık problemlerin doktora tezlerinin, fon başvurularının, iş başvurularının ve yıllara yayılan araştırma planlarının temeli olduğunu hatırlattı.
OpenAI, bir işaret hatasının bir kanıtı geçersiz kılması ve iki bağımlı makalenin kullandığı kurguyu bozması üzerine üç makaleyi geri çekti; diğerlerini de revize etti. Bu, hacmin doğrulama anlamına gelmediğinin kabulü. Destekleyenler ise makine tarafından denetlenebilir biçimsel kanıtların, sosyal sarsıntı ne olursa olsun araştırma için bir eşik değişimi olduğunu savunuyor.
Tartışmasız olan şu: makine üretimi matematikte darboğaz artık sonuç üretmek değil, bu sonuçları insan emeğiyle kontrol etmek, kredilendirmek ve sindirmek. Ortada 722 makaralık bir birikim var.
