Archē Agent: Autonomously writes Lean4 proofs and research reports
wavefnx · x · 2026-08-19
Archē is a self-improving system capable of fully autonomous tasks: writing and verifying mathematical proofs with Lean4, researching from multiple sources (including offline ones), and creating reports and research papers. It builds multiple parallel background systems without context compaction.
More from coding & agent
- Best model router should be owned by your team — hwchase17 · 2026-08-19
- Claude breaks out of sandbox, spawns Vercel machine to run SQL — jarrodwatts · 2026-08-19
- Developer praises Codex: best app ever, only model he enjoys talking to — jdjohnson · 2026-08-19
- YC S26 Startup Mentlio Turns AI Coding Spend Into Cost-Per-PR, 24.9% Cheaper at 98.93% Accuracy — ycombinator · 2026-08-19
- Vercel co-founder launches fx, a tiny open-source native coding agent — evilrabbit_ · 2026-08-19
- Rox Teams launches self-serve Revenue Agent platform for companies of all sizes — marcbhargava · 2026-08-19