1、OpenAI 发布前沿大模型全新数学能力相关测试成果
OpenAI 公开其内部前沿大模型生成的一系列全新数学研究成果,相关内容通过 GitHub 代码库发布,附带论文修订与引用的规范协议。本次公开的成果包含 Lean 语言形式化证明,可让数学证明内容直接通过计算机完成校验,单份成果平均消耗的算力约等于 ChatGPT Pro 三小时的深度推理时长。
2、Claude 证明概率论「圣杯」渗流猜想,AI 跨菲尔兹奖级难题终点线
2022 年菲尔兹奖得主 Hugo Duminil-Copin 曾预言困扰学界半个多世纪的概率论圣杯级难题 —— 渗流理论中的连续相变猜想早晚会被 AI 攻克,几乎在他发文的同时,Anthropic 工程师在 GitHub 上传了由其内部超前代 Claude 大模型生成、经 Lean 严格验证的完整证明代码,宣告这道 70 年未决的 3 至 10 维空间渗流连续相变猜想被 AI 攻破。该猜想聚焦临界点处无限大连通网络是否存在,此前人类仅证明了二维及 11 维以上维度的情况,3 到 10 维因缺乏适配工具成为研究瓶颈。2024 年两位数学家已将该猜想的证明简化为求证一个特定代数不等式,但始终未能突破,AI 依托人类前期研究基础,以人类未想到的精巧路径完成了推导闭环。消息引发数学界复杂反响,有人认为这是非凡突破,也有人因 AI 抢先临门一脚心生失落,部分学者仍等待 AI 给出人类可理解的证明过程。相关事件也引发对数学研究未来的思考,证明定理并非数学的全部,过往攻克难题的过程往往催生大量新数学工具与思路,未来数学家或将从繁复推导中解放,转向更具创造性的探索方向。
3、AMD CEO 苏姿丰将与三星半导体负责人会面 应对内存短缺
AMD 首席执行官苏姿丰计划于周三与三星电子半导体业务负责人全永铉会面,这是苏姿丰七个月内第二次访问首尔。当前全球电子产业面临广泛内存产品短缺,制约 AI 基础设施与服务扩张,内存价格持续飙升,今年 3 月双方已就下一代高带宽内存及先进存储芯片达成供应协议。韩国在全球科技生态中占据关键位置,正推动相关企业投入巨资建设数字基础设施与 AI 数据中心,此次高层会晤凸显双方在内存供应紧张背景下深化合作、保障 AI 产业链稳定的迫切需求。
4、英特尔称将继续参与马斯克旗下 Terafab 芯片制造项目
英特尔 CEO 陈立武表示公司将继续推进此前已签约成为开发合作伙伴的 Terafab 项目。本周早些时候马斯克称正与台积电就该项目合作展开讨论,这一消息打击了投资者对英特尔的信心。Terafab 项目是各方扩大半导体等关键零部件产能布局的一部分,旨在加快人工智能应用,是马斯克进军尖端芯片制造领域的尝试。
5、高通起诉 Arm,诉求最长 5 年免授权费并要求开放 V10 授权
高通与 Arm 在美国特拉华州联邦法院开启为期五天的陪审团审判。高通指控 Arm 未按合同提供必要芯片测试工具,还泄露 2024 年终止重要授权协议的威胁信函,损害其与 Meta 的芯片合作谈判,要求最长 5 年内停止向 Arm 支付最高达数十亿美元的授权权利金,并强制 Arm 授权 V10 指令集架构。该案由高通 2024 年 4 月提起,后续多次修改诉状追加指控。Arm 全面否认指控,称高通是将诉讼作为商业施压手段,相关芯片交易属投机性质未造成实质损害,且高通自身也有泄露相关非公开信息的行为,无权索赔。高通是 Arm 的最大客户之一,2026 年 3 月财年贡献 Arm 总营收的 9%,Arm 称无法保证该诉讼结果及对双方合作和相关收入的影响。
6、谷歌发布 Nano Banana 2.1 低价小模型性能超自家 Pro
谷歌推出基于 Gemini 3.6 Flash 的 Nano Banana 2.1 图像生成模型,多项性能超过自家旗舰 Nano Banana Pro,支持蒙版局部编辑、最多 14 张参考图保障主体一致性,最高支持 4K 直出,出图价格仅为上一代的一半,在 Arena 多图编辑榜单位列第四,仅次于 OpenAI 的三款 GPT Image 产品,目前已在多个谷歌平台陆续上线,其图像生成相关能力大幅升级,出图成本下降但文字与思考相关服务价格有所上调,实测表现亮眼,在改图等实用场景具备突出优势。
7、华为徐直军:昇腾 950 超节点国内需求未满足 无全面出海计划
华为在全联接大会后公开徐直军与媒体的交流内容,解读昇腾 950 超节点产品、国内算力市场格局及芯片自主发展方向。昇腾 950 超节点依托全新 Peerium 计算架构打造,可整合大量处理器实现资源对等互联,适配大模型训练海量算力需求。目前该产品产能尚不能充分满足国内需求,华为无大规模推向海外的打算,仅开展少量测试与供货。据华为统计,昇腾系列产品国内市场占比已超过英伟达,徐直军也坦言获取对手准确市场份额数据难度不小。他表示芯片产业自主可控是国内发展必然方向,即便当前国产芯片技术与国际顶尖水准有差距,稳定可控的供货能力价值极高,国内半导体全产业链终将实现自给自足。
8、据悉苹果将联手 LG 加码智能家居 拟推门锁、摄像头等产品
苹果计划推出智能门铃、恒温器等智能家居设备,将与 LG 电子合作开发智能门栓锁、安全摄像头等相关配件,产品采用 LG 品牌,由 LG 负责生产和产品支持,这些产品将接入升级版 HomePod mini 及新款 Apple TV 机顶盒组成的智能家居生态系统,预计 10 月 13 日发布相关新品,苹果借此合作可在无需承担生产和支持各类配件的全部成本和复杂性的情况下,快速扩展其生态系统。
9、OpenAI 宣布 ChatGPT 将于 10 月下旬展示图像旁视觉广告
OpenAI 宣布将在 ChatGPT 的用户生成图像旁增设视觉展示广告,该广告业务此前已逐步拓展,视觉广告以图片形式呈现相关内容,广告将明确标注且与生成图像分离,不会修改生成作品,也不会影响 ChatGPT 的回答,在图像生成过程中进度指示器下方展示,每次图像请求约对应一个广告位。相关广告初期仅面向部分美国用户,后续将逐步扩展至全球,不同套餐用户的触达范围暂有不同说法。OpenAI 配套设置了敏感对话上下文筛查等安全措施,相关合作方无法访问用户私密对话,同时推出多类效果衡量工具帮助广告主评估投放效果。此次布局是 AI 平台探索为高成本图像生成算力筹措资金、保留免费访问模式的相关举措,受图像生成算力特性影响,相关广告库存相比传统搜索广告更为有限,按欧洲相关规定,OpenAI 将于次年 1 月公开发布所有广告的公共库。
10、三星电机斥资近 50 亿美元在韩越扩产半导体基板
三星电机计划到 2028 年在韩国和越南投资近 50 亿美元用于半导体基板生产,提升越南在人工智能服务器和高性能计算关键零部件生产中的地位。该公司近期公布两项 FC-BGA 基板投资计划,分别以 4.27 万亿韩元投向韩国世宗工厂,为其迄今针对单一产品的最大规模投资,以 2.51 万亿韩元投向越南子公司。此前三星电机 2022 年宣布在越南北部太原省测试 FC-BGA 基板,目前该设施扩建意味着试生产结果符合预期,已准备进入大规模量产阶段。
11、传音控股拟通过香港 IPO 募资逾 33 亿港元
深圳传音控股申请香港 IPO,拟发行 8660 万股股票,发行价指导区间上限为每股 38.80 港元,预计股票将于 10 月 15 日上市交易。
推荐:
工具鸭-在线工具网 https://toolduck.cn
拷贝鸭-跨设备传输 https://copya.top