An unreleased Anthropic model made progress on one of math's biggest unsolved

3 points | by sbulaev 8 hours ago