Anthropic says Claude worked autonomously for 11 days to produce a 13-million-line Lean proof of the 387-year-old math problem.
@pulseofnations.lolExplore
@pulseofnations.lol
@pulseofnations.lolAnthropic says Claude worked autonomously for 11 days to produce a 13-million-line Lean proof of the 387-year-old math problem.