Independent research and reproducible computational work directed by Adam Lee Terpstra.
This organization is intentionally open-ended: it may contain mathematics, science, software, and experiments in human-directed AI research. Projects identify their methods, verification status, limitations, and AI involvement as explicitly as possible.
- Erdős Problem 617: the fixed cases
r=10andr=11— computer-assisted proof artifacts, independent clean-room audits, and deterministic replay instructions. The results are not yet externally peer reviewed.
Corrections and independent verification are welcome through the relevant repository's issue tracker.