OpenAI salı günü 722 matematik makalesini GitHub'a koydu. Hepsini şirketin yayımlamadığı bir model yazdı, neredeyse tamamı tek bir komuttan çıktı. Makalelerin yalnızca 162'sinin ispatı makineyle denetlendi, matematikçiler tek komut iddiasını doğrulanmamış sayıyor.