판 이력 — An unreleased Anthropic model made progress on one of math’s biggest unsolved problems | AIChainDay