Why 722 Manuscripts Are Not Yet Mathematical Understanding

OpenAI’s October 2026 mathematics release contains 722 manuscripts arranged into 372 families of related results.

#mathematics #lean #formalverification #aiinmath