Anthropic's solution to Fermat's Last Theorem is a constructive proof; the AI generated 29,510 "sub proofs," each one of…

Anthropic's solution to Fermat's Last Theorem is a constructive proof; the AI generated 29,510 "sub proofs," each one of which has to hold, for its conclusion to Fermat's Last Theorem to be true. Having grad students confirm each step is a chore, but it will have to be done to validate it.