OpenAI, 28 Ağustos'tan beri eğitilen dahili bir yapay zeka modelinin, Clay Matematik Enstitüsü'nün yedi Milenya Problemi'nden biri olan Navier-Stokes denklemlerinin varlık ve pürüzsüzlük formülasyonlarını (C ve D varyantları) çözdüğünü ve buna ek olarak yıllardır açık kalan 100'den fazla matematik probleminin çözümünü ürettiğini açıkladı. Şirket, çözümü hem matematiksel bir makale hem de Lean kanıt asistanıyla formalleştirilmiş bir dosya olarak paylaştı; ancak hangi 100 problemin çözüldüğüyle ilgili detay vermedi ve bağımsız bir hakem değerlendirmesi sunmadı.