gpt6-astra 降智是不是和 openai 一直在抢占数学证明有关？

matex 2026-09-09 11:37 1

最近 OpenAI 和 A/在 NS 方程、费马大定理、孪生素数问题等方向上，通过 AI 在人类已经确认的框架和方向中进行穷举、暴力尝试等工作，开几万个 Agent，连续工作几十个小时，来完成这些方向和框架的验证与尝试，寻找这些方向的具体实现细节，然后再翻译成 Lean 代码，验证其正确性。

以此来营销自己的 AI 在前沿领域的重要性，打造出 AI 已经可以解决超级难题的形象，推高预期、提高估值，最后为上市捞一笔做铺垫。

而在这些基于人类数学家已经探明的方向、方法论和猜想，去挖掘和证明难题的过程中，又需要大量长期运行且“不降智”的算力。

那么，会不会因为这些项目消耗了大量算力，只能调低 ToB 和 ToC 的算力预算，从而导致普通用户使用时感觉模型越来越降智、越来越不稳定？

扩展阅读：

上一代 AI 巅峰 AlphaGo，在围棋领域做到了极致。

虽说本质上也是大量计算和搜索，但这一代 AI 明显泛化能力更强。

以前是在围棋棋盘里暴力堆砌，现在开始在数学、编程等领域暴力堆砌。

不知道这一代 AI 到达巅峰之后，会带来什么样的成果。

数学和编程可以在虚拟端演算验证，好奇物理理论、化学实验和材料学这种和世界交互的会不会有突破。

最新回复 (12)

小猫曦月 09-09 11:38

1楼

证明NS方程和“降智”的日期差的多了，没关系

看起来就是单纯的风控，分发占的可能性不小，有五分之四的人的降智的可能原因有分发
ddzd 09-09 11:38

2楼

花我的钱给他们模型能力造势，朕的钱！
SwiftUI 09-09 11:38

3楼

单纯是用的人多吧

他们内部不是就用了800 多个代理并行按他们的算力规模，估计也就一排机柜就够了
checkzhao 09-09 11:39

4楼

这么快又降智了吗我感觉我都没发现- -
hu_mind 09-09 11:39

5楼

应该没关系，应该就是算力局限了，或者又拿用户的钱去搞别的了，这几天确实又降智又限并发
九亿少女的梦 09-09 11:43

6楼

照官方的说法是说开了很多的Agent，然后消耗的API，大概是几百万美元才证明了NS方程。全世界gpt每天的营收应该不止这么多吧，我估计只是占比很小的一部分。从这个角度来算，他降智应该不是和这个有关。另外，Astra模型降智看到的比较广泛的说法是因为并发
matex 楼主 09-09 11:44

7楼

ns 方程只是他们现在公开的成果，但他们正在推进没有公开的成果咱就不知道了
matex 楼主 09-09 11:47

8楼

另外我觉得，这一代 ai 最厉害的就是，拉近了个人与各行业顶尖前沿成果和顶尖人才的接触距离，个人可以享受到一些前沿突破给自己各种问题带来一些便利和突破，在以前前沿成果落到普通人身上的时间可是论年算的，现在可能是论月。
曦元 09-09 11:49

9楼
LeoF1 09-09 12:54

10楼

现在都这个德行国内套餐更离谱，他们都在你争我赶地训练下一代模型，就发布的时候给你爽用几天，后面就降智这套路从来没变过。
matex 楼主 09-09 13:01

11楼

国内的好歹开源，可以找第三方全量部署的方案
林语尘 09-09 13:03

12楼

这种事情不好说，一般发出来的东西往往不是当前正在处理的事情

就像 Deepseek 之前发了一个 Spark 的论文

在发的那两天，我的 Deepseek 就在疯狂抽风，疯狂截断，不知道为什么

一开始以为是应用了新技术导致的

但是要说是上了新技术的话，会发现那个论文里提到的技术在 5 月份的时候，还是在 4 月份的时候，就已经用上了

只能说，抽风可能是又在整什么新的花活