Indie researcher open-sources 10 years of math work: 146k files, AI-accelerated over 3 years

HamOnWhy · reddit · 2026-11-04

An independent researcher has published Komorebi P, a 10+-year mathematical research program totaling 146k files — Lean formalizations, Python/C/CUDA implementations, papers and monographs.

Original post →

More from AGI Musings

AGI Musings channel →