据SCMP报道,中国工信部目标到2030年建成约9800 EFLOPS智能算力,约为2025年6月2185 EFLOPS的四倍,对应约3.8万亿元人民币基础设施投资。
infinitum 资讯聚合
OpenAI宣布提供500万美元资助13至17岁青少年相关AI研究,申请截止日期为10月6日。
OpenAI周二发文称,约一万个并发智能体在88小时内完成Navier-Stokes千禧年难题的解析证明,并经GPT-6 Astra再用17小时完成Lean形式化验证,论文与Lean证书已公开但OpenAI明确不申领百万美元奖金。Charles Fefferman对问题被解决表示振奋并将功劳归于Diego Córdoba与Luis Martínez-Zoroa的技术路线。Buckmaster指控OpenAI的Sébastien Bubeck抄袭其与Anthropic数学家Alpöge的思路并施压剥夺后者署名,OpenAI否认看过对方工作但承认不能排除脱敏数据曾被用于改进模型。Terence Tao撰文称优秀公开数学问题正被"以不可再生的方式开采"。 OpenAI宣布其下一代模型Astra-next(强于GPT-6 Astra)联合约一万个智能体在88小时内产出Navier-Stokes光滑性奇点问题的候选证明,随后用17小时完成Lean形式化验证,全程消耗约130B token、API等价成本估计1000万至4000万美元,被视为第二个千禧年奖的有力竞争者。该证明针对不同Euler设定
Google DeepMind发布覆盖全部约90亿种人类基因组单字母变异的功能影响预测,数据量达1PB,是AlphaFold Database的30倍,可为基因编辑与疾病研究提供系统性参考。
高通与亚马逊签署多代定制推理芯片与光互联协议,据报道规模最高达600亿美元、合作延续至2036年。
Celero完成CapitalG领投的2.75亿美元融资,号称推出业界首款2nm相干DSP硅光芯片,面向1.6T与3.2T数据中心互联。
据Bloomberg报道,张一鸣亲自领衔字节跳动内部一项面向Pico头显的目标:在头显中实现20fps交互式3D世界渲染。
Matt Clifford辞去英国ARIA主席职务,出任Anthropic国际政府事务负责人,有英国议员公开质疑其中存在利益冲突。
某安全公司使用AI发现微信零点击账户接管漏洞并在约两天内写出首个漏洞利用代码,腾讯已在8月完成修复。
AI 编程初创 Cognition 完成 20 亿美元融资,估值升至 480 亿美元,由 Andreessen Horowitz、Accel、Founders Fund、General Catalyst 与 Avenir 领投;公司年化营收预计 2026 年底达 40 至 50 亿美元,并因租用 Nvidia 集群面临高达 8 亿美元的现金消耗。