Will Cook
Plectis · research with AI, mathematics and software
I am building Plectis, a research system, so that work done with AI can be understood, checked and continued.
Public work
The project site introduces the research, software and recorded interface.
Mathematics · work on eight Erdős problems, all still open
Software repository · public research and engineering tools
Mathematics repository · formal source and ways to continue the work
Read with an AI
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.