przchojecki/agentic-erdos
Agentic workflow for tackling all open Erdos problems at once.
Why it is useful
agentic-erdos is a recent open-source project in Mathematics. It is included because it has recent repository activity and can support mathematical learning, research, modelling, software development, or AI workflows.
Repository at a glance
- Owner: przchojecki
- Primary language: JavaScript
- Latest update: 2026-09-02
- Stars / forks: 34 / 2
- License: Not specified
- Links: Official project site
Good starting points
- Read the project README and installation instructions.
- Try the smallest example before changing parameters or datasets.
- Check tests, issues, and release notes before relying on results in teaching or research.
- Cite the repository and its license when reusing code or figures.
README snapshot
This repository runs a parallel, agentic research loop over the full open Erdős problem set: each problem is tracked as its own computational and proof object, and the system iterates across all of them rather than solving one problem in isolation. In practice, work is done one problem at a time but at portfolio scale: each EP entry gets standalone script runs, structured data snapshots, literature checks, and proof-attempt notes, then is revisited with deeper computations or stronger arguments as new signals appear. - Total problems tracked: 632 - Triaged as to-check: 632 - Triaged as harder: 0 - README last generated (UTC):