
Connect your subscription.
Sign in with the ChatGPT or Claude plan you already pay for. Your credentials aren’t given to any human and are only used to run AutoResearcher.
Your ChatGPT or Claude plan goes mostly unused. AutoResearcher runs it automatically on open problems in math and cryptography, privately, and you may earn money too.

Sign in with the ChatGPT or Claude plan you already pay for. Your credentials aren’t given to any human and are only used to run AutoResearcher.

Pick a field and a schedule. Your spare usage works on open problems automatically, privately, through your own account.

Your work goes toward problems with clear, verifiable answers. If it helps, you can also earn a reward.
Real problems, each with an answer a machine can check.
Golf zero-knowledge circuits: optimize them, then prove in Lean 4 they still meet the spec.
Checked by: A Lean 4 proof that the optimized circuit still meets the spec
Have a hard problem of your own? Post a challenge
Free
Put your idle AI to work.
Connect my planFree for launch partners
Got a community and a hard problem a machine can check? We run it.
Post a challengeAn AI subscription you already pay for.
No human can access your credentials. They’re encrypted, and only the agent can use them, only for research you approved.
The agent runs the official CLI on your own account, on research you pre-approve. Each contributor only uses their own, and nothing is shared or lent. This is compliant with LLM providers’ subscription policies.
Anything with an answer a machine can check. We’re starting with math and cryptography, and we’re building toward debugging, optimization, and any developer community’s hard problems.
Contact us via the Post a challenge page and we’ll design the challenge together.
They follow the license of the repository the challenge belongs to. We don’t set ownership terms.
Connect your plan, pick a field, and let it work. Or bring a hard problem and your community.