AI 导读
有趣的是，费马大定理的证明描述虽然简短，却仍然带着浓浓的 Claude 味道（“为每一步命名，并标注承载它的 Lean 定理”）。https://t.co/VYbKX28QeL
正文
It is funny that the Fermat's Last Theorem proof description, short as it is, still smells so much of Claude ("names each step and the Lean Theorem that carries it"). https://t.co/VYbKX28QeL
来源：@emollick · x.com