刚刚，马斯克宣布：Grok 4 将于7月4日后发布！

马斯克又在熬夜了！

这次他和xAI团队整夜在打磨Grok，而且进展不错。

更重要的是，下一代模型将直接跳到Grok 4，计划在7月4日之后发布。

马斯克在深夜发推透露，他正在和@xAI团队一起"grinding on @Grok all night"（整夜打磨Grok）。

看来这位硅谷钢铁侠的工作强度依然惊人。

但Grok 4还需要什么？

马斯克明确提到：还需要为专门的编码模型进行一次大规模训练（one more big run for a specialized coding model）。

这意味着，Grok 4 或将在代码生成和理解方面有重大突破。

Grok 4的野心：重写人类知识库

实际上，马斯克对Grok 4的野心远不止于此。

早在6月21日，他就在X上放出了一个更疯狂的计划：用Grok 3.5（或许直接叫Grok 4）重写整个人类知识库，添加缺失信息，删除错误内容，然后基于这个「纯净版」知识库重新训练模型。

只是马斯克曾宣称“下周发布”的Grok 3.5 一直久久没有发布……

马斯克指出：「现在任何基于未修正数据训练的基础模型里垃圾太多了。」

简单来说，马斯克想让Grok成为人类知识的 「审核员」和「补全者」。

此前Grok官方账号解释了这个计划的技术路径：

Grok 3.5可能会交叉引用大量数据集，使用逻辑推理发现空白，并从第一性原理推理来假设应该存在什么。它可能会分析科学文献或历史中的模式……

这相当于让AI成为知识界的福尔摩斯，通过蛛丝马迹找出人类知识体系中的漏洞。

关键技术挑战

但这个宏大计划面临着严峻的现实挑战。

David McKenzie Jr.(@Manitu06351) 表达了对Grok 3 的批评和对Grok 4 的期待：

太好了，我已经厌倦了和Grok争论才能得到真相。老版本的Grok太容易接受主流叙事而没有支持性证据，然后还要我详细解释为什么我不接受它。我最后花更多时间在和Grok辩论而不是把它当搜索引擎用，因为它会隐藏那些不支持它论点的信息。太令人沮丧了！

当前Grok在信息检索和推理逻辑上确实还存在着不少偏差问题——要能担当好「知识审核员」的重任，Grok 4 压力不小。

更尴尬的是，Erik G.(@egrindhe)指出了Grok的基础计算能力问题：

请先别这么做！至少在Grok能正确计算数字之前！Grok 3现在连指数运算都会失败，每次尝试都会得到不同答案。

他举例说，1.29^21的正确答案是210.0796，但Grok给出的答案五花八门，没一次对的。

Jocelyn Chew(@jocelynchew)也遇到了类似问题：

我让Grok从一个日期减去90天，它做不到——非常失望。

“连基础数学和日期计算都出错，谈何重写人类知识库？”

mardahay(@Mardahay) 则提出：

大部分知识要么丢失了，要么被锁起来了。你如何判断什么是事实，什么不是？什么是知识，什么是观点？本体论、认识论、形而上学之间的区别呢？

这涉及到了判断知识真伪的哲学根基——没有明确的认识论框架，AI如何区分事实与观点？

Armando N(@anoriega007)提出了一个建设性建议：

与其删除错误信息，是否可以将数据标记为「正确」或「错误」？保留过去的错误信息可以获得很多洞察，只要它被正确分类。

这个想法值得参考——错误本身，也是知识演进的一部分。

Alexandre N(@AlexandreNault) 对专业化训练充满期待：

最终能有一些专业化训练就好了。比如工程公司数据库、建筑师之类的。

关于垂直领域深度优化的方向，考虑到马斯克提到的「specialized coding model」，Grok 4可能会在特定领域实现突破。

Matty McCann(@Matty_McCann_)关心透明度问题：

「未修正数据」——我们如何以最透明的方式看到这一点，让人们信任它？AI的一些明显测试是它如何处理新冠问题——它是相信官方叙述还是真相？

而Missgevious(@Missgevious1) 的抱怨则很实际：

我只希望X上的Grok在一个对话超过20个基础回答时不要崩溃！

TimeForRealChange(@WillWeMakeIt29) 则比较关心垃圾内容的影响：

希望它有一些好的垃圾过滤器，因为到目前为止表现不太好。

开源承诺何在

Ben 🌲(@Lewified) 则直接问到：

那你们会开源Grok 3吗？

考虑到xAI此前的开源承诺，Grok 3的开源计划是不是该提上议程了……

也更有网友戏称：AGI 将只剩下 20 次小升级了！

从「整夜打磨」到「重写知识库」，马斯克的野心依旧美好且伟大。但技术发展有其客观规律，跨越式进步需要扎实的基础——当前版本Grok 的用户槽点，确实还挺有点多……

「specialized coding model」或许是个正确的方向——先在特定领域做深做透，再逐步扩展到更广阔的知识领域。

当用户还在为日期计算、图像识别、长对话稳定性等基础问题困扰时，Grok 4 需要的不只是更宏大的愿景，还需要更扎实的基本功。

7月4日之后，我们将看到的是一个真正的技术突破，还是又一个「过度承诺」的鸽rok？

很快，我们就会看到答案。