Claude produced a 13-million-line, computer-checked proof of the famed conjecture — a major milestone in mathematics.
Anthropic PBC has used Claude to create a computer-verifiable version of a famous, highly complicated mathematical proof. The company detailed the project in a blog post published today. A proof is a ...
Dozens of Claude agents wrote 13 million lines of Lean in 11 days to produce the first computer-checked proof of Fermat's Last Theorem. The mathematician funded to do the same work says it tells us ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results