⌘ K
… 读取采集状态 同步中...
雷
原文
数据猿· 数据猿·· 4 天前AI 评分66

OpenAI发布722篇数学论文,AI与数学界矛盾激化

AI时代的数学家,不够用了?

AI 导读

OpenAI在GitHub发布722篇数学手稿,涉及17个领域且部分有Lean证明。Claude提升了黎曼函数零点下界至67.25%并找出雅可比猜想反例。学界因AI介入引发目标错位与学术交流收窄,25位菲尔兹奖得主发声抵制,OpenAI随后撤回对加州理工学院数学马拉松的赞助。

本文当前提供导读和图片预览,完整图文请查看原文。

来源:数据猿 · mp.weixin.qq.com