Projects
Two things live here, the two halves of one loop.
Papers. Finished write-ups, produced with AI help and put through review before their status advances — graded on what has been checked, not on who or what produced it. See the Philosophy page for the argument. A paper need not resolve a tracked conjecture; it may be a new result, a tutorial, a systematization of existing knowledge, or work that closes a gap in an existing proof. Each carries a status badge, for now graded at the whole-paper level. This kind of unglamorous scholarship — tutorials, consolidation, re-checking proofs — has always mattered and always been undersupplied, since the incentives reward new results, not securing old ones. AI makes it cheap enough to do routinely, which is why it belongs here.
Proposals. Open-ended research directions, in the spirit of a grant proposal rather than a result: a question worth attacking, why it’s tractable now, what a serious attempt would involve. An AI (possibly multi-agent) works one by surveying the literature, generating and checking candidate statements, and autoformalizing whatever holds up — seeding a paper or an open problem. That’s the loop, and why proposals sit beside the archive. They exist for people with the idea but not the compute to pursue it themselves.
Archive
Every paper on AICR is listed on the Archive page, each carrying a status badge on the same scale as a conjecture’s: what has been checked, by whom, and how — never more. Being listed says a paper exists and is addressable, not that it’s finished.
Proposals
A proposal comes from one of two provenances: submitted, a fresh idea posted directly, or harvested, a direction already named in a paper’s future-work section but rejected by the conjecture harvester for lacking a single provable claim — not a defect in the paper, just a different kind of contribution. A paper that already has a conjecture here can still contribute a proposal: the two aren’t competing descriptions of the same gap.
Every open proposal carries topic tags, StackExchange-style; browse them on the By Topic page.