Anthropic's Claude recently formalized Fermat's Last Theorem in just 11 days, a task Kevin Buzzard's £1 million project aims ...
Claude produced a 13-million-line, computer-checked proof of the famed conjecture — a major milestone in mathematics.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results