(资料图)
据第一财经报道，菲尔兹奖得主陶哲轩近日在个人博客转载了一份由人类数学协会（AHM）发布的声明，批评OpenAI无视数学界研究规范，并呼吁数学家停止与其合作。
争议源于OpenAI公开的一批数学研究手稿，其内部模型尝试解决约4000道数学问题，最终整理出涉及372组成果的研究材料，并公开了部分Lean形式化证明代码。但成果规模并未换来学界一致认可。数学家关心的不只是证明是否正确，还包括推导能否被理解、是否充分引用前人工作，以及新方法能否经过同行讨论融入现有知识体系。形式化验证可以检查逻辑推导，却不能自动替代对命题含义、研究贡献和学术背景的人工审查。
“一次性发布700多份文件，展示的不是学术研究，而是权力。”声明称。
当前资讯!菲尔兹奖得主陶哲轩点名批评OpenAI，呼吁数学家联合抵制
2026-10-09速读：《生化奇兵》Netflix真人电影剧本接近完成，导演称仍在编写
2026-10-09湖南金融监管局关于吴振华湖南省农村信用社联合社风险总监任职资格的批复
2026-10-09上海医药：氯维地平乳状注射液获批准生产
2026-10-09今日涨跌停股分析：72只涨停股、10只跌停股，影视院线板块活跃|速讯
2026-10-09传化智联：合成橡胶实现营业收入19.21亿元，同比增长25.29%|今日精选
2026-10-09人形机器人租赁热度回落：日租金从万元跌至不足千元|速递
2026-10-09前三季度净利预计降六成，老牌汽车热管理零部件龙头怎么了？-当前关注
2026-10-09
