3 ms·An unreleased Anthropic model made progress on one of math's biggest unsolved4 points by sbulaev 2mo ago