方舟子
@fangshimin
方舟子，本名方是民，作家，新语丝网站： YouTube： 电报群： 蓝天：
가입 December 2010
54 팔로잉 중 939.7K 팬
Claude用11天的时间将威尔斯对费马大定律的证明形式化，写了1300万行代码，并验证了威尔斯的证明100%正确。如果人来做这事，要花10年时间。以后数学证明工作的确可以由AI部分取代。
더 보기
인기 있는 사용자
