可喜可贺！OpenAI刚刚在github挂出400大数学证明的文件，全部都带Lean，当然还没有更新完，正在不断更新。平均每个结果相当于三小时GPT Pro思考计算，还有10个模型的思维链总结！！！实际上是722份文件组成的372个结果！