这哥们有点大惊小怪
对大模型没有陶哲轩熟
陶哲轩说过很多类似的事情了
民科利用ai干掉了一些悬而未决的数学问题了
数学的三步：写出证明，验证证明，解释证明并升华到方法论层面
现在最难的第一步ai干了
验证证明现在主要还是靠人
我觉得ai在这一步也会有大的进展
把证明通俗化解释并提升到方法论层面
这个其实也是ai擅长的
哎
【 在 TexasPotato 的大作中提到: 】
: 菲尔兹奖得主把未解数学题扔给AI，不到两小时拿到博士论文级证明。整个过程中，他没给出任何数学思路。
: 今天，菲尔兹奖得主Timothy Gowers在个人博客上发了一篇长文——
: 最近一次使用AI的体验
: ...................
--
FROM 223.66.125.*