On October 6, OpenAI posted 722 mathematical manuscripts produced by an unreleased internal model, which the company says represent progress on 372 open problems. Only 162 came with main results checked in the Lean proof assistant. Within a day, three were withdrawn...