方舟子
@fangshimin
方舟子，本名方是民，作家，新语丝网站： YouTube： 电报群： 蓝天：
加入 December 2010
54 正在关注 939.7K 粉丝
Claude用11天的时间将威尔斯对费马大定律的证明形式化，写了1300万行代码，并验证了威尔斯的证明100%正确。如果人来做这事，要花10年时间。以后数学证明工作的确可以由AI部分取代。
显示更多
热门用户
