AITOP
全部 AI 动态
AI 相关资讯全量信息流
全部博客资讯推文论文
全部模型产品行业论文技巧
标签：自动推理×
6月16日
20:46
6月12日
13:05
13:05Aran Komatsuzaki (论文推介)@arankomatsuzaki
精选
Aran Komatsuzaki 使用 Codex 的 /goal 命令，自动探索一些 20-50 年历史的未解猜想，运行 8 小时后已看到可发表的进展。他认为人们高估了“开放数十年”作为重要性的指标，很多旧问题只是无聊但难，而非真正重要。他主张加速近期研究方向，因为社区有共识和品味，而旧问题参与者少、门槛高。他的更强观点是：当前模型已能 95% 自动化地推动前沿，但领域人士保守、AI 人士不了解深层问题，导致这一能力被低估。
AI产品Codex自动推理数学猜想AI 研究未解问题
推荐理由：Aran 用 Codex 自动探索未解猜想 8 小时就看到了可发表进展，做自动推理或数学研究的开发者值得关注——这暗示了 AI 在数学前沿的潜力被严重低估，建议试试 Codex /goal 在自己的领域跑一跑。
原文
12:57
6月11日
15:28
15:23
15:07