OpenAI
2026-09-18 00:14:10OpenAI被指压下数百份数学证明,AI解题速度冲击学术规则
Scott Aaronson在9月15日博文中提到,AI公司在纳维-斯托克斯方程证明引发敌意反应后,正暂缓公开一些「非常重大的问题」的解法。Ethan Mollick转发称消息可信度不低,Scott Armstrong随后表示,OpenAI至少自7月国际数学家大会起已压着「数百个」数学证明未发。围绕公开时点、优先权、同行评审和署名的争议,正迅速蔓延到数学界。
260

Scott Aaronson在9月15日博文中提到,AI公司在纳维-斯托克斯方程证明引发敌意反应后,正暂缓公开一些「非常重大的问题」的解法。Ethan Mollick转发称消息可信度不低,Scott Armstrong随后表示,OpenAI至少自7月国际数学家大会起已压着「数百个」数学证明未发。围绕公开时点、优先权、同行评审和署名的争议,正迅速蔓延到数学界。

NeurIPS 2026启动竞赛赛道提案征集,重点关注大语言模型评测、智能体系统及AI社会影响,投稿截止至2026年5月15日,入选项目将于12月举办线下工作坊。
