新未名空间

cae 写了： 今天 07:24

智商再也不是什么稀奇物了

智商平权了？

TheMatrix 写了： 今天 07:25

智商平权了？

勤能补拙吧

张旺教授 写了： 昨天 18:52

对OpenAI and Anthropic不讲武德，陶联合其他24位菲尔兹奖得主写了声明：

https://terrytao.wordpress.com/2026/09/ ... thematics/

中山大学给你这条翻墙垃圾布置发帖量多少年底才能续聘？
站内帖子：（转载）王三炮不在自由买买提当founder,披着张旺教授的马甲来这灌水？

这就相当于大家都拥枪，老黑壮汉和开杂货店的亚裔老太太干仗就没啥优势。有了AI，陶哲轩以及他召集起来的20多个喽啰们以前引以为豪的智商优势就没了，能不急吗。

TheMatrix 写了： 今天 07:25

智商平权了？

thinkaout 写了： 今天 12:16

这就相当于大家都拥枪，老黑壮汉和开杂货店的亚裔老太太干仗就没啥优势。有了AI，陶哲轩以及他召集起来的20多个喽啰们以前引以为豪的智商优势就没了，能不急吗。

左轮枪=人类平等器。
看起来AI也要变成一个人类平等器。

这个在很大意义上，跟文献电子化和计算机检索、搜素技术普及之后，大家伙对季羡林之类的老先生不再辣么崇拜一样。

老先生水平当然是硬的，但赢在一个博闻强记。研究水平类似的，现在可以利用电脑让自己博闻强记成千上万倍。

有了AI，能理解数学问题并知道基本路线的，可以借助AI推理，效率也提高成千上万倍。

Tao类似数学界的老先生。

AI在数学的最大贡献，是证明数学可以是语言的关系和推理。人类必须要理解语言才能推理，而AI可以不理解语言，仅凭关系推理。

Tao也许在担心人类从此不再去理解数学语言、发明新的数学语言。如果是，还是有境界的。

thinkaout 写了： 昨天 23:54

我也是，看了第一句话就恶心的不行，太把自己当回事了，20几个菲尔兹奖又怎么样，这一句就把你们自动划进一个小圈子了，还怎么争取大众的支持，看来陶神通的情商也不咋地，

verdelite 写了： 今天 12:32

左轮枪=人类平等器。
看起来AI也要变成一个人类平等器。

应该说：AI也要变成一个左轮手枪。

其他的不好说。

island 写了： 今天 12:35

这个在很大意义上，跟文献电子化和计算机检索、搜素技术普及之后，大家伙对季羡林之类的老先生不再辣么崇拜一样。

老先生水平当然是硬的，但赢在一个博闻强记。研究水平类似的，现在可以利用电脑让自己博闻强记成千上万倍。

有了AI，能理解数学问题并知道基本路线的，可以借助AI推理，效率也提高成千上万倍。

Tao类似数学界的老先生。

AI在数学的最大贡献，是证明数学可以是语言的关系和推理。人类必须要理解语言才能推理，而AI可以不理解语言，仅凭关系推理。

Tao也许在担心人类从此不再去理解数学语言、发明新的数学语言。如果是，还是有境界的。

正解，把繁琐重复性的工作交给计算机做不好吗？让自己有更多是时间享受数学的思考中。

island 写了： 今天 12:35

这个在很大意义上，跟文献电子化和计算机检索、搜素技术普及之后，大家伙对季羡林之类的老先生不再辣么崇拜一样。

老先生水平当然是硬的，但赢在一个博闻强记。研究水平类似的，现在可以利用电脑让自己博闻强记成千上万倍。

有了AI，能理解数学问题并知道基本路线的，可以借助AI推理，效率也提高成千上万倍。

Tao类似数学界的老先生。

AI在数学的最大贡献，是证明数学可以是语言的关系和推理。人类必须要理解语言才能推理，而AI可以不理解语言，仅凭关系推理。

Tao也许在担心人类从此不再去理解数学语言、发明新的数学语言。如果是，还是有境界的。

"Tao也许在担心人类从此不再去理解数学语言、发明新的数学语言。如果是，还是有境界的。" 这是陶等的一个担心。

数学是人类培养抽象思维、critical thinking的主要学科，这是全世界把数学作为中小学甚至大学的必修科目的原因。如果这些能力被AI取代，人类智力的退化不可避免。

欢呼AI取代数学家和批评陶的人，起码没做过数学研究和数学教育。

做题做成傻叉了，要不然就是本来就是傻叉，居然害怕问题被ai解决。首先ai根本就没那个能力，其次就算真能解决也是好事，真正的数学家可以把精力放在更前沿更重要的问题上。害怕问题被解决的都是底层loser，不配做研究。

其实陶只要呼吁大家抵制对AI工作的人工验证、it’s not worth it. 后者很快就进入民科的自嗨模式

张旺教授 写了： 今天 13:18

"Tao也许在担心人类从此不再去理解数学语言、发明新的数学语言。如果是，还是有境界的。" 这是陶等的一个担心。

数学是人类培养抽象思维、critical thinking的主要学科，这是全世界把数学作为中小学甚至大学的必修科目的原因。如果这些能力被AI取代，人类智力的退化不可避免。

欢呼AI取代数学家和批评陶的人，起码没做过数学研究和数学教育。

按AI现在的发展速度
AI开发新数学语言的能力很快就不逊于肉人数学家

当然，会有人说AI没有真正的创新力和想象力，发明的新数学不够新。但绝大部分肉人数学家这方面还不如AI。

张旺教授 写了： 昨天 18:52

对OpenAI and Anthropic不讲武德，陶联合其他24位菲尔兹奖得主写了声明：

https://terrytao.wordpress.com/2026/09/ ... thematics/

newguy 写了： 今天 00:20

陶现在的地位相当于希尔伯特吧？毕竟在年轻人中算最强的，更有名的人都太老了

不如Peter Schultz

数学家没必要这么愁。不管是人还是AI，科学追求的是从不知道到知道。如果有人能利用AI来告诉人类某个未解决的著名猜测是错的，这一样值得庆祝！我觉得以后应是怎么从应用中发现需要解决的数学问题，然后再利用不管是AI还是人为的解去解决实际问题，或者发展新的数学。当然，数学本身是人们手中的泥巴，它是艺术，真正的数学家完全可以避开AI，随手再捏一个从未见过的外星人，只要有人说他们好看，有人跟着起哄，又何惧AI? 现在绝大多数领域不都是这样么？大都是自娱自乐。

ccmath 写了： 今天 13:29

其实陶只要呼吁大家抵制对AI工作的人工验证、it’s not worth it. 后者很快就进入民科的自嗨模式

扯淡，只要ooenair把钞票往桌上一拍，自有大儒为AI辩经

princeton 写了： 今天 13:57

数学家没必要这么愁。不管是人还是AI，科学追求的是从不知道到知道。如果有人能利用AI来告诉人类某个未解决的著名猜测是错的，这一样值得庆祝！我觉得以后应是怎么从应用中发现需要解决的数学问题，然后再利用不管是AI还是人为的解去解决实际问题，或者发展新的数学。当然，数学本身是人们手中的泥巴，它是艺术，真正的数学家完全可以避开AI，随手再捏一个从未见过的外星人，只要有人说他们好看，有人跟着起哄，又何惧AI? 现在绝大多数领域不都是这样么？大都是自娱自乐。

站内帖子：Re: 猜想本质上就是些难的习题，被破解了没啥，数学家的任务是构建新分支和新工具
站内帖子：Re: 猜想本质上就是些难的习题，被破解了没啥，数学家的任务是构建新分支和新工具

matlab 写了： 昨天 23:20

看了第一段就恶心的不行。太自以为是了，你们是二十来个菲尔兹奖又怎么样？就是真理？就有资格指手画脚？

后面竟然又谈起人类知识blah blah，吐了

菲尔兹奖还不够指手画脚的？数学上金字塔尖上的人物，还有谁比他们更有资格？