Nakamotwo Satoshi (BIP110)
@HongShuning
Programmer; Independent Researcher; Extreme Right Wing; Bitcoin Maximalist; Disciple of Hayek.
Believe in Jehovah the only true God.
参加 August 2021
188 フォロー中 1.8K ファン
50年前用计算机证明四色定理时就已经闹过一次。这么多年了数学家们还是一点长进都没有。AI会端掉绝大多数伪数学家的饭碗，所以他们急了。只有AI永远也做不出来的数学证明才是真正的数学。其它学科、行业也一样会经历这个去伪存真的过程。
もっと見る
刚刚陶哲轩、邓煜等 25 位菲尔兹奖得主，联合发布了一篇声明，批评 AI 公司把著名数学问题，当成能力榜、公关和竞赛项目，只追求批量产出，导致出现严重的归属和剽窃问题。
这样下去，会把数学从一门靠理解、传承和思考的学科，变成一场发布会竞赛。
而就在前几天，行业内发生了纽约大学数学家 Tristan Buckmaster，与 OpenAI 对峙事件。
当时他们先用 AI 证明了流体方程的简化版，结果半天后 AI 公司 OpenAI，自己用更强的内部模型和海量算力，宣布把完整版也证出来了，还用电脑程序核对过。
这让数学圈立刻吵起来，这到底是 AI 自己做出来的，还是踩着别人刚走出的路，抢先发布成果。
もっと見る
