ARC-AGI-N 开源工具:自动找开放难题并给 AI agent 备好开局上下文
Physical_Pepper6294 · reddit · 2026-09-08
受非数学家用 Claude 冲击黎曼猜想(虽未证明,但把临界线上 zeta 零点占比下界从 41.6% 推进到 67.2%)、11 天 Lean 形式化怀尔斯费马大定理证明、以及「GPT-Astra 在 ARC-AGI-3 拿 99.9%」等消息启发,作者不再让 agent 只做 dashboard,而是做了 ARC-AGI-N:一个为 AI agent 寻找数学/科学开放问题的研究工具。
功能:
- 搜索「数论开放问题」「气候科学开放问题」等,实时抓取论文与网页并附来源
- 每个问题页面给出问题本身、背景、原始材料和建议起点,例如 Erdős-Straus 猜想会附「搜索覆盖更多剩余类的参数化恒等式再验证」这样的首个任务
- 一键复制含完整上下文的 prompt 到你的 agent,或先跑 DeepResearch 生成含 72 小时工作计划的研究方案
- 可在交互式地球仪上浏览问题,并有 AI 参与发现/证明/形式化的独立记录
技术栈: Next.js + React + TypeScript,Mapbox 地球仪,OpenAI Luna 模型 + Valyu 搜索与 DeepResearch API。代码开源、可自部署,也有托管版。作者强调它不会把 prompt 变成有效证明,价值在于帮你找到值得尝试的问题并给足 agent 开局上下文,欢迎研究者贡献被忽视的好问题。
所属事件:ARC-AGI-N 开源：自动为 AI Agent 准备开放难题(2 条相关)→
「编程与Agent」频道最新
- Teknium 透露 Hermes Agent 团队仅 3 人,另有 1 人专做 GUI — Teknium · 2026-09-08
- 用 LLM 当编排器零人工标注训练分割模型,边缘端跑 30+ FPS — iamrobotbear · 2026-09-08
- 终端一行命令起iPhone虚拟机:GitHub爆火工具揽1.12万星 — prasenx · 2026-09-08
- Arm 发布 AI Portal:预优化 Qwen、Gemma 模型可经 MCP 供编码 Agent 调用 — Crescitaly · 2026-09-08
- 90 天冲 20 万美元 AI 工程师岗位：10 个 GitHub 仓库学习路线图 — mdancho84 · 2026-09-08
- KubeCon 上海俨然变 AI Con：Agent、Harness、MCP 议题泛滥引吐槽 — lee_stott · 2026-09-08