Full threadsearch_facility·May be Ethereum should fund 10000 agents to pursue new crypto math with provable strongness/hardnessView on HN