TwiScan Hot Communities Account collections
Login Register

Register and share your invite link to earn from video plays and referrals.

Register now
方舟子
@fangshimin
方舟子，本名方是民，作家，新语丝网站： YouTube： 电报群： 蓝天：
Joined December 2010
54 Following    939.7K Followers
方舟子@fangshimin
2026.09.08 22:46
Claude用11天的时间将威尔斯对费马大定律的证明形式化，写了1300万行代码，并验证了威尔斯的证明100%正确。如果人来做这事，要花10年时间。以后数学证明工作的确可以由AI部分取代。
Show more
0
0
81
8
Forward to community