埃隆·马斯克转发对 Grok 4.6 的称赞后宣布:Grok 4.7 将在 10 天后推出。这是 xAI 旗舰对话模型线的下一次版本更新预告。
核心要点速览 (Key Takeaways)
- ✓埃隆·马斯克转发对 Grok 4.6 的称赞后宣布:Grok 4.7 将在 10 天后推出。这是 xAI 旗舰对话模型线的下一次版本更新预告。
埃隆·马斯克转发对 Grok 4.6 的称赞后宣布:Grok 4.7 将在 10 天后推出。这是 xAI 旗舰对话模型线的下一次版本更新预告。
OpenAI 宣布 GPT-6 Astra 已向所有 Pro、Enterprise 与 Business Premium 用户在 ChatGPT Work 与 Codex 开放,并同步登陆 API。该模型被定位为全球最智能、最对齐的模型,在计算机使用、软件工程与科学发现等基准上刷新纪录。
OpenAI 宣布 GPT-6 Astra 已向所有 Pro、Enterprise 和 Business Premium 用户在 ChatGPT Work 与 Codex 中开放,并同步上线 API。Plus 与普通 Business 用户预计还需数日完成推送。该模型被定位为目前最智能、对齐程度最高的模型,可代用户完成电脑上的各类操作。
Anthropic 宣布 Claude 完成费马大定理的首个形式化证明,这是有史以来最大的 Lean 证明,超过 1300 万行代码,并顺带证明了证明过程所需的 2.9 万余条其他定理。专家原预计该工作需要多年。公司认为这是用 AI 辅助核验数学证明、减轻审稿负担的重要一步。
讨论与评论
0登录后即可参与深度讨论
与广大 AI 开发者、工程师交流评测心得与前沿洞察