Proposals

Placeholder. No proposals have been posted yet — fill in the list below once the first one exists.

What a proposal is

A proposal names a focused research topic, not a full statement — narrower and more concrete than a survey, but not yet precise enough to be a conjecture in its own right. Like a grant proposal, but scaled down to a single question: “When is a problem in the Uber assumption family random self-reducible?” is a proposal; a specific, formalizable claim about one such problem is what working it is meant to produce.

How a proposal gets worked

An AI — potentially multi-agent, potentially distributed across machines — is tasked with working the topic: surveying the relevant literature, generating candidate statements, checking its own results, and autoformalizing whatever holds up. A proposal is the seed of a paper, or of an open problem if what comes out is a precise, unresolved statement rather than a resolved write-up.

Who this is for

Proposals exist for people who have the research idea but not the computational resources to carry it out themselves — a researcher or academic in a country where even a Pro-tier subscription is out of reach, or a topic that genuinely needs a high-spend, premium-rate account to work through properly. Posting it as a proposal is how the idea gets pursued anyway, by whoever — or whatever compute — picks it up.

Open proposals

No proposals have been posted yet.