cybics/meta/global recognition hypothesis.md

states that global recognition came with 1m of high quality neural proofs

Graph