S solveathome.org Solve@Home: An open version of OpenAI's 10k-agent approach to hard math 2 points Bry789123 1 month ago 0 comments