候机时看了一下那个视频。
我挺赞同他的说法的。

这个问题我和家人朋友都讨论过。
AI对数学最显著的作用就是审稿，
有了AI，不再需要一个讨论班审几年了。
这是因为数学本身是形式化的。

数学的机器证明40年前国内吴文俊就在做了。

数学和科学有个非常显著的差别：
数学里的很多难题就在那里，解决了是王道，
就必然NB。

但科学，尤其是物理学，
最重要的是问出正确的问题，而不是解难题。
现在理论物理领域最危险（！）的就是无法判别什么问题才是真正重要的，
才是on the right track!
当然，数学里也有相当一部分，
或者说最重要的部分亦是如此。
而这部分，显然是AI根本看不到希望的。

【 在 qianyishi 的大作中提到: 】
: ai怕出错怕的不行哈哈，人类是个暴脾气。。。
: 理工科文章这样说我还可以接受，但文科的那种什么阴阳啦眀褒实贬之类的文风，我是看着就特别难受
: 话说回来这两天有个陶哲轩的访谈：数学家不做实验？现在我们可以做了。
: 不知你看过没有，有何见教
: 【 在 Myarmor 的大作中提到: 】
: : 这两篇都是既。。。又。。。这种模式。整篇文章看下来，总给人雾里看花的感觉，坚决不做犀利明确的判断。我是很不喜欢读这样的文章的。

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