跳到正文
热点事件持续更新

陶哲轩:AI 正削弱数学家研究积极性

1 篇报道1 个报道来源59 分钟前更新

先了解这件事

AI 综述

数学家陶哲轩表示,AI 正在打击数学家的研究积极性。他以 OpenAI 生成的百页 Navier-Stokes 存在性证明为例,称该证明形式上正确,却几乎没有带来新的数学联系或思想——也就是说,他承认其正确性,但认为它没有提供可学习的数学洞见。 他同时承认,AI 未来有可能产生新的发现。这场争论的背景是研究者对成果被 AI 取代的担心:陶哲轩的评价针对的是这一证明的数学价值,而非否认其正确性。

AI 根据报道生成 · 52 分钟前更新

报道时间线

沿着报道,了解事件的不同侧面。

10月29日
  1. AGI Hunt
    陶哲轩:AI 正劝退数学家,Navier-Stokes 证明虽对却“没教我们任何数学”

    陶哲轩表示,AI 正在打击数学家的研究积极性,并称 OpenAI 的 Navier-Stokes 证明长达 100 页、形式上正确,却几乎没有带来新的数学联系或思想。该证明由 AI 生成,研究者担心成果被 AI 取代;他也承认 AI 未来可能产生新发现。

本事件热度走势

还没有足够的连续观测数据,暂不绘制趋势。