AI 解决 350 年数学问题

BiRun 消息，Anthropic 的 Claude 花了 11 天时间，将费马大定理转化为 13 million 行代码，计算机可以自行检查，无需人类信任。