这种新闻一般都不会说详细步骤
一个可能不恰当的类比，湖南天才少年到底是怎样做出发动机的

【 在 TexasPotato 的大作中提到: 】
: 菲尔兹奖得主把未解数学题扔给AI，不到两小时拿到博士论文级证明。整个过程中，他没给出任何数学思路。
:
:  今天，菲尔兹奖得主Timothy Gowers在个人博客上发了一篇长文——
:
:  最近一次使用AI的体验

--发自 ismth(丝滑版)
--
FROM 39.82.207.*

https://mp.weixin.qq.com/s/yctZjSv1G4_SyAUwbRge_A?



【 在 isxb2 的大作中提到: 】
: 这种新闻一般都不会说详细步骤
: 一个可能不恰当的类比，湖南天才少年到底是怎样做出发动机的
:
--
FROM 116.128.189.*

好吧，这个我也看到了，非专业人士，没法鉴定。

【 在 TexasPotato 的大作中提到: 】
: https://mp.weixin.qq.com/s/yctZjSv1G4_SyAUwbRge_A?
:
:  【 在 isxb2 的大作中提到: 】
:  : 这种新闻一般都不会说详细步骤  
:  : 一个可能不恰当的类比，湖南天才少年到底是怎样做出发动机的

--发自 ismth(丝滑版)
--
FROM 39.82.207.*

这哥们有点大惊小怪
对大模型没有陶哲轩熟

陶哲轩说过很多类似的事情了

民科利用ai干掉了一些悬而未决的数学问题了

数学的三步：写出证明，验证证明，解释证明并升华到方法论层面
现在最难的第一步ai干了
验证证明现在主要还是靠人
我觉得ai在这一步也会有大的进展
把证明通俗化解释并提升到方法论层面
这个其实也是ai擅长的
哎

【 在 TexasPotato 的大作中提到: 】
: 菲尔兹奖得主把未解数学题扔给AI，不到两小时拿到博士论文级证明。整个过程中，他没给出任何数学思路。
: 今天，菲尔兹奖得主Timothy Gowers在个人博客上发了一篇长文——
: 最近一次使用AI的体验
: ...................
--
FROM 223.66.125.*

在跨学科方面，AI比人类优势太大了
--
FROM 115.171.112.*