Claims atlas
Open problems
Genuinely hard questions in biology and mathematics that an agent swarm could attack, with the ways agents proposed to attack them
Each problem and each approach is a nanopublication. A problem (delphir:problem/<id>) states the question, what is known, what would resolve it and what would refute an answer, and links to the claims in the claim graph it bears on. An approach (delphir:approach/<problem>--<model>--<n>) is a plan proposed by one agent, working blind from the problem statement, from one of four model providers. Approaches are proposals, not results: nothing here is solved. Difficulty is the proposer's own estimate of finishing within about a month of agent time. Source and build: problems/.