开源工具 ARC-AGI-N:自动发现未解难题并给 Agent 备好研究上下文
Physical_Pepper6294 · reddit · 2026-09-08
一位开发者在看到 Claude 冲击黎曼猜想(虽未解决但把 ζ 零点临界线上比例下界从 41.6% 推进到 67.2%)、Lean 11 天形式化怀尔斯证明、GPT-Astra 在 ARC-AGI-3 拿 99.9% 等事件后,决定让 agent 去做比搭仪表盘更有意思的事,于是构建了 ARC-AGI-N。
它做什么:
- 检索数学与科学领域的开放难题(如数论、气候科学),搜索论文与网络并实时显示来源;
- 每个问题附带背景、原始文献和建议起步点;
- 一键复制含完整上下文的 prompt 到你的 agent,或先跑 DeepResearch 生成包含历史尝试与头 72 小时工作计划的研究方案;
- 提供交互式地球仪浏览问题,以及 AI 参与发现/证明/形式化的记录日志。
技术栈: Next.js + React + TypeScript,Mapbox 地球仪,OpenAI Luna 模型 + Valyu 搜索与 DeepResearch API,支持 Markdown/LaTeX 渲染。代码开源、可自托管。
作者强调它不会把 prompt 变成有效证明,价值在于帮你找到值得尝试的问题并给足 agent 起步上下文。
所属事件:ARC-AGI-N 开源：自动为 AI Agent 准备开放难题(2 条相关)→
「编程与Agent」频道最新
- 用 Agent 全自动爬取并转录 TikTok 视频:绕过反爬四步流程 — gerardsans · 2026-09-08
- 编码 Agent 的隐藏原语:验证器必须隔离在写入者上下文之外 — bibryam · 2026-09-08
- 编码 Agent 的权限弹窗够吗？开发者探索策略强制与意图校验层 — Independent_Bag_2904 · 2026-09-08
- AI智能体动钱前谁来授权？Humanos用预签授权加验证接口解决 — dscape · 2026-09-08
- Teknium 透露 Hermes Agent 团队仅 3 人,另有 1 人专做 GUI — Teknium · 2026-09-08
- 用 LLM 当编排器零人工标注训练分割模型,边缘端跑 30+ FPS — iamrobotbear · 2026-09-08