学术评价

  • 数学的危机与救赎:陶哲轩为何紧急拉响警报

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

    2026/10/12
    00