埃隆·马斯克确认 Grok Bot 企业版已上线。该产品对所有 Grok 与 Cursor 企业客户免费开放两周。
核心要点速览 (Key Takeaways)
- ✓埃隆·马斯克确认 Grok Bot 企业版已上线。该产品对所有 Grok 与 Cursor 企业客户免费开放两周。
相关领域前沿动态推荐
浏览更多最新要闻 →OpenAI
GPT-6 Astra 向 Pro、企业与 API 用户全面开放
OpenAI 宣布 GPT-6 Astra 已向所有 Pro、Enterprise 与 Business Premium 用户在 ChatGPT Work 与 Codex 开放，并同步登陆 API。该模型被定位为全球最智能、最对齐的模型，在计算机使用、软件工程与科学发现等基准上刷新纪录。
@OpenAI
GPT-6 Astra 现已向 Pro、Enterprise 与 Business Premium 全面开放
OpenAI 宣布 GPT-6 Astra 已向所有 Pro、Enterprise 和 Business Premium 用户在 ChatGPT Work 与 Codex 中开放，并同步上线 API。该公司称这是目前最智能、对齐最好的模型，在计算机使用、浏览、软件工程、网络安全与科学等任务上刷新多项前沿基准。Plus 与普通 Business 用户可能还需数日完成推送。
@AnthropicAI
Claude 完成费马大定理首个机器可验证形式化证明
Anthropic 宣布 Claude 完成了费马大定理在 Lean 中的首个形式化证明，专家原预计该工作需要数年。这份超过 1300 万行的证明同时验证了逾 2.9 万条支撑定理，是迄今最大的 Lean 证明。
讨论与评论
0登录后即可参与深度讨论
与广大 AI 开发者、工程师交流评测心得与前沿洞察