Half Ounce Research is an independent research program in machine-verified mathematics, founded in 2026. Every published claim is accompanied by a certificate the reader can replay; most verify with the Python standard library alone.
Daniel Kirtchakov — founder and research director · ORCID 0009-0009-5213-4098 · github.com/05oz · @machinemaths · daniel@halfounce.io
Corrections are welcome and credited. Write to daniel@halfounce.io.