AI写出史上最长证明，解开350年数学难题

Anthropic称，Claude耗时11天，将费马大定理转化为1300万行可由计算机自行核验的代码，无需依赖人工判断其正确性。