新智元报道 AI 数学，正在越过一个很微妙的分界线。 过去我们问的是：大模型能不能做出一道难题？能不能写出严谨证明？能不能找到人类几十年没发现的反例？ 而现在，一个更像「科研本身」的问题冒了出来：当一条证明路线失败之后，AI 知不知道下一步该干什么？是继续算，换路线，缩小命题，还是干脆提出一个新的、
阅读全文
为什么四成中国用户买电车，只认宁德时代？
“选电车看电池，认准宁德时代” 在终端市场，这已经不仅仅是一句 Slogan，而是切实开始影响了用户的购车心智。 尼尔森 IQ《2026 年全球新能源车消费者研究报告》显示，37.1% 的中国消费者明确表示：如果意向车型未搭载宁德时代电池，将放弃购买该车型。这一“品牌专属意愿”在全球各市场均断层领先
阅读全文
比亚迪西安新能源汽车动力电池项目全面建成投产，系第二代刀片电池首批生产基地
9 月 29 日消息，据“西安发布”，位于西咸新区秦汉新城的比亚迪新能源汽车动力电池项目（西咸基地）全面建成投产。作为比亚迪布局西北的核心电池枢纽，该基地的全面投产，标志着秦汉新城智能网联汽车产业迈入新阶段。 该项目选址西咸新区 · 秦汉自动驾驶产业园，主要建设新能源汽车动力电池 Cell、Pack
阅读全文
佛罗里达州起诉OpenAI，请求法院禁止其在无外部监督下开发新AI模型
9 月 29 日消息，据路透社报道，美国佛罗里达州总检察长于周一向一名法官提出申请，要求法院禁止 OpenAI 在没有外部监督的情况下开发新的人工智能模型。这项请求是该州起诉 OpenAI、指控其伤害未成年人相关诉讼的一部分。 据 IT 之家了解，佛罗里达州早在 6 月就已经对 OpenAI 提起诉
阅读全文
招股书曝光！Anthropic想值2万亿美元，许下5180亿算力承诺
出品 | 网易智能 作者 | 小小 编辑 | 王凤枝 Anthropic 给华尔街讲的故事，比互联网还大。 在路透社近日披露的招股材料中，这家 Claude 开发商认为，AI 对全球经济的改变，将比工业化、电力和互联网更加深远。成立仅五年的它，正瞄准超过 2 万亿美元的 IPO 估值。 这份愿景后面
阅读全文
特斯拉人形机器人被曝周产量已达数百台，手部等复杂零件仍是量产挑战
特斯拉正在加快人形机器人 Optimus 的生产爬坡。 当地时间 9 月 25 日，据外媒援引知情人士报道，特斯拉目前在美国弗里蒙特工厂每周已可生产数百台 Optimus，较今年第二季度小批量测试阶段的每周数十台的产量提高约 10 倍。 不过需要指出的是，生产规模扩大并不意味着 Optimus 已经
阅读全文
中国大模型日调用量持续霸榜，神秘的“玉兔”大模型来自MiniMax？
中国大模型调用量持续占据全球首位，上海大模型巨头 MiniMax 也发布了最新大模型产品。 9 月 28 日，澎湃新闻记者获悉，MiniMax 上线文本模型 M3.1-Flash-Preview 并开启公测。 据 MiniMax 介绍，该模型支持原生多模态及百万上下文窗口，为日常开发提供稳定、真实的
阅读全文
消息称小米大模型负责人罗福莉晋升至22级，已是小米职级体系最高级别
9 月 28 日消息，据晚点 LatePost 今晚消息，小米 9 月 22 日对内发布晋升名单，31 岁的小米大模型团队负责人罗福莉晋升至 22 级，还有若干其他业务负责人也获得了晋升。 接近小米的人士称，22 级已是小米职级体系的最高级别，继续晋升主要体现为职务变化。 据 IT 之家此前报道，9
阅读全文
苹果盘中市值突破5万亿美元
美股 9 月 28 日盘中，苹果（AAPL.O）涨 0.47%，市值突破 5 万亿美元。 今年 7 月底，苹果市值就曾在盘中突破 5 万亿美元，成为英伟达之后美股第二只市值突破 5 万亿美元的个股，不过当天收盘苹果市值又回到 5 万亿美元以下。 8 月中旬以来，苹果股价有所波动上行。9 月 25 日
阅读全文
拓竹之外，谁在竞争第二梯队
“拓竹断层领先之后，3D 打印的第二梯队正在重新洗牌。” 作者丨姚单 编辑丨董子博 2025 年 8 月下旬，深圳机场的到达层比平时热闹。 一波接一波的投资人走出来。他们中的很多人互相认识，来自不同的机构，押注的却是同一个行业。那一段时间，全国一线机构的合伙人，几乎都在往深圳飞——他们都是奔着快造来
阅读全文
曝苹果重新评估 Vision Pro 路线，测试更轻机型
彭博记者 Mark Gurman 在最新的《Power On》中报道，苹果正在重新评估 Vision Pro 后续产品。9to5Mac 援引该报道指出，苹果内部代号为 N224 的新项目仍处于早期，可能在 2028 年末至 2029 年初推出；团队目前测试多种外形方案，最终设计尚未确定。 其中一种方
阅读全文
余承东回应问界调整：赛力斯主动提出主导，华为将聚焦其余四界
9 月 24 日，余承东在合肥鸿蒙智行门店谈及问界合作模式调整时表示，赛力斯经过多年合作，能力已有长足成长，主动提出希望自己主导问界，华为选择支持。这是双方 9 月中旬公布新分工后，余承东对调整缘由的公开回应。 同日，余承东发文称，接下来华为团队会聚焦尊界、享界、智界和尚界，让四个品牌获得更充足的资
阅读全文
比亚迪腾势汽车李慧：如果用户需要更长的续航，那做1200、1300公里也是OK的
9 月 27 日消息，比亚迪旗下腾势汽车腾势 Z9S 于 9 月 23 日上市，官方指导价 25.58 万元起，其中售价 27.58 万元的闪充旗舰型车型 CLTC 续航可达 1100km。 据广东广播电视台《今日关注》栏目报道，9 月 24 日，比亚迪腾势汽车总经理李慧在接受采访时提到，腾势有能力
阅读全文
实测Opus 5.5：一句提示词造出100个网页，还会做动画谱曲
编辑｜山辉、杨文 Opus 5.5 发布后，网友都抢着试用。 一刷就是好几个作品，从网页、动画到游戏等等。这些都比 benchmark 的数值直观，有的还能自己上手试试。 一位名为 MiaAI Lab 的创作者直接让 Opus 5.5「做 100 个 HTML 文件」，附带三条要求：好看、设计不要重
阅读全文
AI代写论文露馅？顶刊主编一问，作者啥都答不上来
编辑｜Panda 你写了一篇论文，现在问你三个问题：你这篇论文的问题设定是什么？这个符号代表什么？摘要里说的这个结论，在正文哪一部分得到了支撑？ 如果论文真是你写的，那这些问题肯定很简单，甚至不用准备就能答出来。 但在机器学习期刊 TMLR（Transactions on Machine Learn
阅读全文
AI代写论文露馅？顶刊主编一问，作者啥都答不上来
几年前，张笛在一场活动的 Keynote 上写下：“或许有一天，我们可以直接驱动世界。”那时他还在香港科技大学读书，直驱只是实验室里的思想实验，减速器则是机器人关节里几乎不可撼动的主流方案。 在那句话前，张笛特意加上“或许”，因为他自己也没有十足把握。 2017 年一天晚上，他在实验室调试一个小型姿
阅读全文
五年前的一次选择，成了中国智能时代的王炸
新智元报道 2022 年 12 月，ChatGPT 的横空出世点燃了 AI 时代的烽火，人们一下发现，机器似乎真的拥有了智能。 「ChatGPT 时刻」就成了智能起点的代名词。然而这个算法，漏掉了一台中国的机器。 曙光 8000。 近日，央视大型纪录片《超级工程》再度回归，这一次中国算力基础设施走向
阅读全文
平均6天一个新旗舰！大模型更新快到人类跟不上了
新智元报道 太疯狂了，短短两天，竟然冒出了 4 个新模型！ 前脚，老马的 xAI 才刚发完 Grok 4.7。 紧接着，OpenAI 突然甩出 GPT-6 Sol 和 Luna，价格直接腰斩。同一天，Anthropic 也把 Claude Opus 5.5 拍在了桌上，比上一代硬生生便宜 40%。
阅读全文
ChatGPT要卖 500 美元的Pro Max套餐了！
新智元报道 ChatGPT 也要出 Pro Max 了。 据今日开始热传的爆料称，OpenAI 正在筹备月费高达 500 美元的 ChatGPT Pro Max，价格是现有顶配档位的 2.5 倍，核心卖点仅有一句话：「最快的 Work 与 Codex」。 据推测，这里标注 600 美元是包含了 20
阅读全文
微信支付发布TenPayGo，支持“外卡内绑”
来源：环球网 9 月 24 日消息，据微信官方消息，微信团队面向来华境外游客推出的一款新 APP——TenPayGo，支持“外卡内绑”“外包内用”和 ApplePay 等境外主流支付方式，通过邮箱就能快速注册。 据悉，在 TenPayGo 上绑定与微信支付合作的国际银行卡、境外钱包或 Apple P
阅读全文
