Lean Programming

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