跳至内容
mylogs.cn
首页
科技
体育
娱乐
经验与技巧
我的项目
标签：
数学与人工智能顾问小组
陶哲轩炮轰 OpenAI 批量生成数学证明
2026年10月9日
发布于
科技
719 份手稿，一次砸进 GitHub IT之家 10 月 9 日消息，OpenAI 于 10 月公布了 71…
