搜索
10 月 6 日，OpenAI 公开了 AI 产出的 722 篇数学论文，包括准黎曼猜想的相关证明。前 Google 科学家、xAI 联合创始人 Christian Szegedy 表示，数学家穷尽一生攀登的险峰，机器可乘飞机直接抵达。但 Szegedy 认为，数学不是走向终结，而是探索方式的改变 —— 人们可以借助飞机，抵达更多未境之地，他自己对此兴奋不已。
太震撼了！ 谁也没想到，就在昨天，马斯克悄悄干了一件大事。
xAI联合创始人Christian Szegedy在《数学何去何从？》中称，AI正解决多个数学猜想和长期悬而未决问题，数学将由少数天才的手艺转向科技行业基础设施，但Wolfram等人认为纯数学不会被AI做完。
就在刚刚，马斯克SpaceXAI正式发布，全新主力模型Grok 4.7！
SpaceXAI正式发布Grok 4.7，定位为目前最强的编程与知识工作模型，采用比4.6更大的全新基础模型并强化长任务执行与自我核查能力，API定价与上一代持平，在多项编程基准测试中较Grok 4.6提升明显且性价比突出，但3D与网页视觉任务表现不稳，整体被视为xAI对开发者市场的一次集中加码。
四张照片，彼此毫无关联。
SpaceXAI工程师Lauren Tan用pstack并行运行20多个GrokBot智能体，单月交付1000多个PR，核心是用control glass等技能让智能体自验证，并以Dune架构禁用useEffect与注释、强制进程隔离等硬约束取代人工盯代码，使智能体可自主完成写码、测试与主干合并。
腾讯混元多模态团队又发生了一起人事变动。据媒体报道，曾负责xAI多模态理解负责人蔺旭东，已经离开xAI，加入腾讯混元，担任多模态内容生成算法负责人。
马斯克的xAI联创们，全员离职后都去了哪儿？
8 月 11 日，xAI 联合创始人伊戈尔·巴布什金（Igor Babuschkin）创办的 River AI 宣布完成 11 亿美元融资。这笔资金横跨种子轮和 A 轮，由 General Catalyst 和 AMP PBC 领投，英伟达、AMD Ventures 战略投资，Y Combinator 和淡马锡等参与。