新未名空间

blackbeard 写了： 2026年 8月 4日 16:27

openai每个月偷偷charge我8块subscribe fee，我从来没订过丫的服务，我的账号还是免费账号，丫也从来没发email说它在charge我钱，今天dispute了，垃圾公司，openai一生黑

确实垃圾，A1公司都是鸡鸣狗盗之徒

我以前也这么认为，但是最近ai发展太快，不敢说了。现在的ai还明显在幼儿园阶段，但是已经打开了新世界大门，transformer模型肯定不是最终形态，GPU也不会是终极武器，下面肯定还有若干革命式的发展，不知道有生之年能不能看到AGI的实现，到了那时候，我相信文明会继续指数发展态势。届时是不是还需要数学家，物理学家，化学家？还是大家都是通才？脑机接口是不是已经成熟？或者可以直接往人脑嵌入芯片？到时候如果还有“大模型”这个概念的话，那么人类上千年的知识是不是只是普通人的起点而不是望尘莫及的东西？

TheMatrix 写了： 2026年 8月 4日 16:41

AI取代不了数学家 - 我就是这个意思。

首先要把数学命题正确，精确的翻译到专门的数学语言里，比如lean,上面看不起的，吹牛的有人会么？

我发觉AI流行的一个副作用就是民科流行，真以为没文化的能翻身了。。。

ElonMusk 写了： 2026年 8月 4日 16:54

我以前也这么认为，但是最近ai发展太快，不敢说了。现在的ai还明显在幼儿园阶段，但是已经打开了新世界大门，transformer模型肯定不是最终形态，GPU也不会是终极武器，下面肯定还有若干革命式的发展，不知道有生之年能不能看到AGI的实现，到了那时候，我相信文明会继续指数发展态势。届时是不是还需要数学家，物理学家，化学家？还是大家都是通才？脑机接口是不是已经成熟？或者可以直接往人脑嵌入芯片？到时候如果还有“大模型”这个概念的话，那么人类上千年的知识是不是只是普通人的起点而不是望尘莫及的东西？

以数学为例，现在还看不清楚AI能解决什么问题，不能解决什么问题。但是我认为再有一年的时间就可以看清楚了。

这不是说AI在数学方面还有一年就停滞了，而是说还有一年的时间我们就能看清楚AI能解决什么，不能解决什么。我可以想象，AI能解决的问题有很多，还可以继续用很多很多年，很可能是永远，它变成了一个新的不可或缺的工具。而AI不能解决的问题，我们也不会拿AI来试了。

其他学科也是一样。

这还想啥，已经解决了fields medal 级别的问题，还能给出严格证明，就是顶级大师了。一年以后肯定超过现役所有数学家。以前象棋围棋就是这样，阿法狗李世石还能搞一盘，一年以后阿法马斯特把柯洁打哭了。一帮搞数学的不服输就跟当年九段认为围棋太复杂机器搞不了一样。说起来当年阿法狗研究队里有个职业四段，估计跟现在openai 里面数学家水平差不多。如果认为ai没用那也是职业四段击败李世石了。

Caravel 写了： 2026年 8月 4日 15:35

数学定理正确性最终需要由人来决定，LLM无法百分百判定

数学定理之正确性均是相对于zfc公理系统的。
数学证明写成正确格式，
跑一遍芯片逻辑验证工具，比人审查要可靠的多。
（人验证相当于你和用了数十年的工业工具较劲，结果
可想而知。）

这件事几十年前就有人呼吁。被数学圈集体拒绝。
至今网上还有许多论文是coq可验证的。
（lean是较新软件，我们不知其有没有bug)

ElonMusk 写了： 2026年 8月 4日 16:54

我以前也这么认为，但是最近ai发展太快，不敢说了。现在的ai还明显在幼儿园阶段，但是已经打开了新世界大门，transformer模型肯定不是最终形态，GPU也不会是终极武器，下面肯定还有若干革命式的发展，不知道有生之年能不能看到AGI的实现，到了那时候，我相信文明会继续指数发展态势。届时是不是还需要数学家，物理学家，化学家？还是大家都是通才？脑机接口是不是已经成熟？或者可以直接往人脑嵌入芯片？到时候如果还有“大模型”这个概念的话，那么人类上千年的知识是不是只是普通人的起点而不是望尘莫及的东西？

ai 总结以前的东西很好，但是发明不了新的解法。
比如挂谷猜想里那根针，平移再小角度旋转再插回来，ai 是想不出来的。人才能创造出这种思路

真正的智能还根本连边都没摸到，

谁都不知道大脑是如何工作的，这点没人否认吧？

人工智能只不过是把近似智能，其实只是机械计算推理的东西自动化。

ai根本不care 人脑怎么工作的，一样能beat人脑。ai 也不care 人脑怎么做数学的，关键是能把数学做出来。阿法狗思考围棋的方式跟人脑肯定是不一样的，照样beat人脑。而且人脑90%的机能都没有开发。

knockwood 写了： 2026年 8月 4日 19:48

ai根本不care 人脑怎么工作的，一样能beat人脑。ai 也不care 人脑怎么做数学的，关键是能把数学做出来。阿法狗思考围棋的方式跟人脑肯定是不一样的，照样beat人脑。而且人脑90%的机能都没有开发。

这就瞎几把扯淡了。

汽车可以很轻易地beat人类的跑步速度，

还是得靠人类造出来。

目前的所谓的大模型也就是属于数据库的一种，

比如AI并不能创造目前世界上没有的理论，

谁能预测AI会解释黑洞内部的物理学？

AI能证明或者证伪世界无限可分吗？

AI也就是个历史数据库，查询的时候比现有的数据库灵活很多，

所以冒出来了很多应用，比如一些机械的推导可以用AI完成了，

但是人类不知道的事，AI也不可能知道。

啥叫扯谈，就事论事而已。ai已经把数学做到这个级别，打破数学天花板是指日可待的事，跟当年围棋一样。ai 能不能发现物理理论是另一码事。简单理解的话，数学相对物理来说，就是一个规则比较明确，逻辑严谨的事情，机器做起来显然容易一些。就像象棋围棋一样，这东西输赢都是明确的，首先就被ai攻破了。

rtscts 写了： 2026年 8月 4日 21:44

这就瞎几把扯淡了。

汽车可以很轻易地beat人类的跑步速度，

还是得靠人类造出来。

目前的所谓的大模型也就是属于数据库的一种，

比如AI并不能创造目前世界上没有的理论，

谁能预测AI会解释黑洞内部的物理学？

AI能证明或者证伪世界无限可分吗？

AI也就是个历史数据库，查询的时候比现有的数据库灵活很多，

所以冒出来了很多应用，比如一些机械的推导可以用AI完成了，

但是人类不知道的事，AI也不可能知道。

knockwood 写了： 2026年 8月 4日 21:51

啥叫扯谈，就事论事而已。ai已经把数学做到这个级别，打破数学天花板是指日可待的事，跟当年围棋一样。ai 能不能发现物理理论是另一码事。简单理解的话，数学相对物理来说，就是一个规则比较明确，逻辑严谨的事情，机器做起来显然容易一些。就像象棋围棋一样，这东西输赢都是明确的，首先就被ai攻破了。

说的是AI的本质，

AI实际就是一个大的数据库，可以进行机械推理，

它知道以前所有的东西，但是不能发现没有的事物，

这就是推理的意思，从已知的事实出发。

从理论上说，AI能推理出所有基于目前知识的结论，花点钱而已。

数学在机械推理方面本来就没有天花板。

如果它能发现未知的东西，

那就不叫AI，直接叫Intelligence就可以了。

TheMatrix 写了： 2026年 8月 4日 13:42

我能不能再花2000美元，叫它再给我解决10个数学问题？

数学家hourly rate 那么高？

这个就说不定了。ai 也是发现了围棋新定式的。人脑也不能发现没有的事物，就算是爱因斯坦发现相对论，也是有过去的物理经验，加上一定的理念才有的。ai 未必不能做。退一步讲就算是ai 只能证明数学问题，不能提出问题，考虑到数学是科学的基础，物理学家依赖ai 指不定就能发现新物理理论。

rtscts 写了： 2026年 8月 4日 21:59

说的是AI的本质，

AI实际就是一个大的数据库，可以进行机械推理，

它知道以前所有的东西，但是不能发现没有的事物，

这就是推理的意思，从已知的事实出发。

从理论上说，AI能推理出所有基于目前知识的结论，花点钱而已。

数学在机械推理方面本来就没有天花板。

如果它能发现未知的东西，

那就不叫AI，直接叫Intelligence就可以了。

knockwood 写了： 2026年 8月 4日 22:40

这个就说不定了。ai 也是发现了围棋新定式的。人脑也不能发现没有的事物，就算是爱因斯坦发现相对论，也是有过去的物理经验，加上一定的理念才有的。ai 未必不能做。退一步讲就算是ai 只能证明数学问题，不能提出问题，考虑到数学是科学的基础，物理学家依赖ai 指不定就能发现新物理理论。

再说一遍，

AI实际就是一个大的数据库，可以进行机械推理，

它知道以前所有的东西，但是不能发现没有的事物，

这就是推理的意思，从已知的事实出发。

比如AI不能发现黑洞里面的物理规律。

没啥大不了的，AI能在程序员的引导下写程序，也能在数学家的引导下解决一些数学问题。但这种程序或者数学问题至少在目前的LLM这种模型下，都是通过模仿来解决的，只能是一些小问题。大的问题靠模仿应该是不行的。

TheMatrix 写了： 2026年 8月 4日 13:42

我能不能再花2000美元，叫它再给我解决10个数学问题？