陶哲轩批评OpenAI数学成果

发生了什么

据第一财经·新闻Opinion报道，菲尔兹奖得主陶哲轩转载人类数学协会声明，批评OpenAI无视数学界研究规范，并呼吁数学家停止与其合作。争议源于OpenAI公开的内部模型解决约4000道数学问题后整理的372组成果手稿及Lean代码。学界认为推导可理解性及引用规范性比证明正确性更重要。