# 数学论文

OpenAI发布722篇数学论文，验证压力转嫁学界

OpenAI发布722篇数学论文，验证压力转嫁学界。多数结果未完成形式化，仅162篇主要成果经Lean验证。陶哲轩比喻此举如“倾倒生肉”，迫使数学家承担繁重核查工作。