4 ms·Solve@Home: An open version of OpenAI's 10k-agent approach to hard math2 points by Bry789123 23d ago