OpenAI被曝雪藏数百个证明
新智元｜ 2026-09-18

声明： 本消息或因风格和篇幅原因进行过编辑，但未经核实，也不代表我们的立场、观点或建议。如有侵权，联系秒删。[ 使用条款 ]

赞助信息

「如果我想当数学家，看来大概只剩两周了。」

开这个玩笑的，是一个13岁的小女孩。

点
击
图
片
看
原
图

她的父亲Scott Aaronson，是德州大学奥斯汀分校的理论计算机科学教授，也曾在OpenAI对齐团队担任访问研究员。

9月15日，Aaronson把女儿的这句话写进了一篇长博文里。

点
击
图
片
看
原
图

同一篇博文里，他还列了一份清单，过去一个月，被AI证明或协助证明的长期开放问题：

您的观点至关重要

点击朱笔，直抒胸臆


By Google


© 2026 八阕之地™ by Towards Digital Group	关于我们｜反馈意见｜业务合作｜八阕书局｜隐私政策｜使用条款

OpenAI被曝雪藏数百个证明新智元 ｜ 2026-09-18