菲尔兹奖得主 陶哲轩和邓煜 关于AI和数学的重大共识

智东西

Description 
两位菲尔兹奖得主陶哲轩和邓煜在这件事上的看法完全一致。

Comments

事件视界EH 2026-07-29

道理很简单，任何输出证明都必须接受共同体检验，AI也不例外。无法通过检验的知识不能成为共识。

♥ 6

焉栩嘉屺 2026-07-29

陶哲轩是2006得奖而非2016年

♥ 6

形式逻辑信徒猎手-FERS 2026-08-01

[doge] BV1XyK46UEzf BV1SRG36EEYz