Open autoresearch challenges in cryptography, ZK and math www.yukon.org 1 point by wslh 12 minutes ago