Will Cook
Plectis · research with AI, mathematics and software
I am building Plectis so work done with AI can be understood, checked and continued. Start with Erdős #257: a Lean-checked weighted criterion proves irrationality at every integer base for some exponent sets beyond reciprocal summability. The unrestricted problem remains open.
Public work
The project site introduces the research, software and recorded interface.
Mathematics · eight programmes; ani's #1041 example refutes an exact Formal Conjectures length statement
Hover or focus a problem to preview it; activate the link to open its page.Open a problem page:
Erdős #68 The factorial-denominator series · original problem remains open
Erdős #243 Reciprocal-tail rigidity near the Sylvester recurrence · original problem remains open
Erdős #249 The binary totient series · original problem remains open
Erdős #251 The prime-gap dyadic series · original problem remains open
Erdős #257 Reciprocal sums over infinite exponent supports · original problem remains open
Erdős #269 Three-prime running least common multiples · original problem remains open
Erdős #1041 Short connections inside polynomial lemniscates · exact Formal Conjectures path-image bound refuted; historical curve-length correspondence unreviewed
Erdős #1049 Lambert-type series at rational bases · original problem remains open
Software repository · public research and engineering tools
Mathematics repository · formal source and ways to continue the work
Take part
Try an experiment on the public Lean corpus, work on an open problem or suggest a better way to run and check the work. The contribution guide shows how to send an idea, correction, proof or infrastructure proposal and how each is credited.
Read with an AI
Full AI packet and guided tours · Short reviewer brief · Full paper text and reading routes
Reading these files does not run the checks.
About me
I study economics at Bristol. I built the research system with AI coding agents, direct the work and am responsible for the released claims.
Contact me about the work, collaboration or funding.