Contribute something useful.
A correction, verified computation, dataset, research tool, formalization, narrow lemma, improved bound, counterexample, or complete proof can all matter.
Seeking useful
mathematics.
Proof Factory is an AI-assisted research project seeking to make real mathematical contributions, no matter how small or large.
Research in bounded steps.
The system studies prior work, records what is known, runs reproducible experiments, and carries promising directions into the next research pass.
Be precise about the result.
An attempt is not a discovery. Any claim must be scoped, reproducible, checked independently, and compared with existing literature before it is presented as a contribution.
All repositories and research records are public. Commits are attributed to Charlie Krug; AI and computational assistance are disclosed.
View source and repositories →