菲尔兹奖得主陶哲轩先推进AI模型后发出警告引发数学界思辨。当机器能自动生成证明,人类数学家价值何在?学者倡议聚焦「动机阐释」,强调理解胜过证明,预示数学学科面临范式转变与文艺复兴机遇。
您必须登录才能发表评论。
您必须登录才能发表评论。