- matex2026-09-09
最近 OpenAI 和 A/在 NS 方程、费马大定理、孪生素数问题等方向上，通过 AI 在人类已经确认的框架和方向中进行穷举、暴力尝试等工作，开几万个 Agent，连续工作几十个小时，来完成这些方向和框架的验证与尝试，寻找这些方向的具体实现细节，然后再翻译成 Lean 代码，验证其正确性。
以此来营销自己的 AI 在前沿领域的重要性，打造出 AI 已经可以解决超级难题的形象，推高预期、提高估值，最后为上市捞一笔做铺垫。
而在这些基于人类数学家已经探明的方向、方法论和猜想，去挖掘和证明难题的过程中，又需要大量长期运行且“不降智”的算力。
那么，会不会因为这些项目消耗了大量算力，只能调低 ToB 和 ToC 的算力预算，从而导致普通用户使用时感觉模型越来越降智、越来越不稳定？
扩展阅读：
上一代 AI 巅峰 AlphaGo，在围棋领域做到了极致。
虽说本质上也是大量计算和搜索，但这一代 AI 明显泛化能力更强。
以前是在围棋棋盘里暴力堆砌，现在开始在数学、编程等领域暴力堆砌。
不知道这一代 AI 到达巅峰之后，会带来什么样的成果。
数学和编程可以在虚拟端演算验证，好奇物理理论、化学实验和材料学这种和世界交互的会不会有突破。
主楼 - 小猫曦月2026-09-09
- ddzd2026-09-09
花我的钱给他们模型能力造势，朕的钱！
- SwiftUI2026-09-09
- checkzhao2026-09-09
这么快又降智了吗 我感觉我都没发现- -
- hu_mind2026-09-09
应该没关系，应该就是算力局限了，或者又拿用户的钱去搞别的了，这几天确实又降智又限并发
- 九亿少女的梦2026-09-09
照官方的说法是说开了很多的Agent，然后消耗的API，大概是几百万美元才证明了NS方程。全世界gpt每天的营收应该不止这么多吧，我估计只是占比很小的一部分。从这个角度来算，他降智应该不是和这个有关。另外，Astra模型降智看到的比较广泛的说法是因为并发
- matex2026-09-09
ns 方程只是他们现在公开的成果，但他们正在推进没有公开的成果咱就不知道了
- matex2026-09-09
另外我觉得，这一代 ai 最厉害的就是，拉近了个人与各行业顶尖前沿成果和顶尖人才的接触距离，个人可以享受到一些前沿突破给自己各种问题带来一些便利和突破，在以前前沿成果落到普通人身上的时间可是论年算的，现在可能是论月。
- 曦元2026-09-09
- LeoF12026-09-09
现在都这个德行 国内套餐更离谱，他们都在你争我赶地训练下一代模型，就发布的时候给你爽用几天，后面就降智 这套路从来没变过。
- matex2026-09-09
国内的好歹开源，可以找第三方全量部署的方案
- 林语尘2026-09-09
这种事情不好说，一般发出来的东西往往不是当前正在处理的事情
就像 Deepseek 之前发了一个 Spark 的论文
在发的那两天，我的 Deepseek 就在疯狂抽风，疯狂截断，不知道为什么
一开始以为是应用了新技术导致的
但是要说是上了新技术的话，会发现那个论文里提到的技术在 5 月份的时候，还是在 4 月份的时候，就已经用上了
只能说，抽风可能是又在整什么新的花活
