TwiScan 人気 コミュニティ アカウントコレクション
ログイン 登録

登録して招待リンクを共有すると、動画再生報酬と紹介報酬を獲得できます。

今すぐ登録
方舟子
@fangshimin
方舟子，本名方是民，作家，新语丝网站： YouTube： 电报群： 蓝天：
参加 December 2010
54 フォロー中    939.7K ファン
方舟子@fangshimin
2026.09.08 22:46
Claude用11天的时间将威尔斯对费马大定律的证明形式化，写了1300万行代码，并验证了威尔斯的证明100%正确。如果人来做这事，要花10年时间。以后数学证明工作的确可以由AI部分取代。
もっと見る
0
0
81
8
コミュニティへ転送