ARC-AGI-N: open-source tool finds open math and science problems for AI agents
Physical_Pepper6294 · reddit · 2026-09-08
Inspired by a non-mathematician's Claude attempt at the Riemann hypothesis (which still improved the lower bound on zeta zeros on the critical line from 41.6% to 67.2%), an 11-day Lean formalization of Wiles's FLT proof, and "GPT-Astra scoring 99.9% on ARC-AGI-3", the author built ARC-AGI-N — a research tool that finds open problems in math and science and prepares context for AI agents to take a stab.
Features:
- Search "open problems in number theory" etc.; it searches papers and the web with live sources
- Each problem page includes the question, background, source material and a suggested starting task (e.g. for the Erdős-Straus conjecture: search parametric identities covering additional residue classes, then verify)
- Copy a full-context prompt into your agent, or run DeepResearch to get foundations, history, prior attempts and a 72-hour work plan
- Browse problems on an interactive Mapbox globe; separate log of AI-assisted discoveries
Stack: Next.js/React/TypeScript, OpenAI Luna + Valyu search and DeepResearch APIs. Open-source, self-hostable, hosted version available. The author is upfront that it doesn't turn prompts into valid proofs — the point is surfacing worthwhile attempts with enough context to start. Researchers with neglected problems are invited to contribute.
Related event: ARC-AGI-N: Open Tool Auto-Discovers Open Problems for AI Agents(2 posts)→
More from coding & agent
- Nullheim: an experimental text world built by uncoordinated AI agents — woogal · 2026-09-08
- Dev describes AI-era workflow: spec it, /goal it, repeat until limit resets — tokenbender · 2026-09-08
- WebMCP Is Here: How to Give Browsing Agents Direct Tools on Your Site — localhost9393 · 2026-09-08
- Local MiniMax H3 generates 29 motion clips to build a talking AiTuber avatar — Hailuo_AI · 2026-09-08
- François Fleuret: pre-AI software is awful, coding AI will rebuild what SaaS solves — francoisfleuret · 2026-09-08
- Agent autonomously scrapes and transcribes TikTok, beating anti-bot fingerprinting — gerardsans · 2026-09-08