Solve@Home: An open version of OpenAI's 10k-agent approach to hard mathsolveathome.org2 points·Bry789123··0 commentsOpen articleSaveView on HN