#自动推理
共 2 条 · 7 天 0 条 · 30 天 1 条
信息流里打上「自动推理」标签的资讯、产品与论文，按刊登时间排，新的在上。
10月1日
6月12日
Aran Komatsuzaki 用 Codex /goal 自动探索未解猜想 8 小时，看到可发表进展
Aran 用 Codex 自动探索未解猜想 8 小时就看到了可发表进展，做自动推理或数学研究的开发者值得关注——这暗示了 AI 在数学前沿的潜力被严重低估，建议试试 Codex /goal 在自己的领域跑一跑。
Aran 用 Codex 自动探索未解猜想 8 小时就看到了可发表进展，做自动推理或数学研究的开发者值得关注——这暗示了 AI 在数学前沿的潜力被严重低估，建议试试 Codex /goal 在自己的领域跑一跑。
