OpenAI 公开由未发布内部模型生成的 722 篇数学手稿
GitHub 发布涵盖 372 个问题族,许多证明已用 Lean 形式化;数学界仍在评估哪些结果是新的。

CoreWeave 将独占三栋 80 兆瓦建筑并部署 Nvidia Vera Rubin,一期目标 2028 年年中。
GitHub 发布涵盖 372 个问题族,许多证明已用 Lean 形式化;数学界仍在评估哪些结果是新的。
新增容量来自 11 座现有反应堆增容,Constellation 投资逾 43 亿美元,首次增容预计 2028 年。
报道称估值约 1.4 万亿美元,MGX 或为主投方;OpenAI 未确认。
据 Hugging Face 模型卡,该混合专家模型每 token 激活 34.6 亿参数,上下文最长 100 万 token。
模型卡称支持最多 14 张参考图和搜索锚定;已在 Gemini、AI Studio 与 Gemini API 上线。

公司获 General Catalyst 领投约 1,000 万美元;AI 负责平衡与导航,关键动作由专家控制。

平台依据事故、标准和机器人日志生成极端场景,并使用可反应的人体运动模型,在实地部署前测试。
Google 博文称输出上限为 100 万 token,价格为每百万 token 2/10 美元;全面开放时间尚未公布。
预印本声称对有界整数给出确定性 O(n^1.9992) 的 3SUM 算法,将推翻长期复杂度猜想;尚待同行评审。

Reflection 称 Beam 激活参数 230 亿,在 1.05 万块 GB300 上进行强化学习;承诺本月晚些时候以 Apache 2.0 开放权重。
诺贝尔大会表彰光门控通道视紫红质的发现及其在活体大脑中开关神经元的应用。