Anthropic says Claude produced a complete computer-checked formalization of Fermat's Last Theorem in Lean after working ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible resultsSome results have been hidden because they may be inaccessible to you
Show inaccessible results