#形式化

刚刚，Claude首次证明费马大定理！清华姚班大神出手了

新智元报道 就在刚刚，数学圈又有惊人消息。 清华姚班大神带队，用Claude彻底攻克了费马大定理。 至此，AI完成了数学史上最大证明。 曾经，费马大定理折磨了人类350多年，需要数学家耗费数年心血，写下129页天书才能证明。 今天，Anth