陶哲轩，用AI爆改科研范式
新智元报道 编辑：艾伦 陶哲轩让 ChatGPT 把复杂的数学论文翻译成 Lean 代码，与 AI 合作完成形式化证明。AI 能理解论文、写出正确命题，却常在关键处卡壳。经过人机配合，终于生成 1125 行被验证的证明。这种「vibe coding」式合作，也让数学家重新思考：AI 或许不是独立的解
新闻首页 / “2025年11月05日”的新闻
查看方式：
0
新智元报道 编辑：艾伦 陶哲轩让 ChatGPT 把复杂的数学论文翻译成 Lean 代码，与 AI 合作完成形式化证明。AI 能理解论文、写出正确命题，却常在关键处卡壳。经过人机配合，终于生成 1125 行被验证的证明。这种「vibe coding」式合作，也让数学家重新思考：AI 或许不是独立的解
0
数学界无视「30年漏洞」，GPT-5一眼看穿！陶哲轩：AI科研革命开始了
新智元报道 编辑：KingHZ 星星之火，可以燎原！证明的尊严在于可验证；这一次，GPT-5 让数学证据落在了代码里。 一雪前耻，ChatGPT 为 OpenAI「正名」！ 被 Hassabis 吐槽太尴尬之后，GPT-5 真启发了新的数学结论。 OpenAI 的科学家 Sebastien Bube
0
王兴兴：今年智能机器人产业平均增速应有100%，想全球领先要实现两个80%
王兴兴分享最新行业判断。 11 月 5 日，在第八届虹桥国际经济论坛——人形机器人创新发展合作论坛上，宇树科技创始人王兴兴表示，中国今年的工业机器人对外出口增长速度超过了 51%，他认为今年智能机器人产业平均应该有 100% 的增长速度。 王兴兴在论坛上发言。 澎湃新闻记者秦盛摄 王兴兴提到，宇树的
0
NVIDIA的语言模型新突破：AI对话速度提升2.5倍
人工智能领域又迎来了一项令人兴奋的突破。来自 NVIDIA、香港大学和 MIT 的研究团队在 2025 年 10 月 1 日发表了一篇重要论文，提出了名为"Fast-dLLM v2"的全新语言模型技术。这项研究的编号为 arXiv:2509.26328，感兴趣的读者可以通过这个编号查询到完整的技术论
0
耽误航天员回家的“罪魁祸首”，危害到底有多大？
据中国载人航天工程办公室消息，神舟二十号载人飞船疑似遭空间微小碎片撞击，正在进行影响分析和风险评估。为确保航天员生命健康安全和任务圆满成功，经研究决定，原计划 11 月 5 日实施的神舟二十号返回任务将推迟进行。 这些耽误航天员回家的“罪魁祸首”——空间碎片，它们从哪来，危害有多大，有什么办法可以预
1
超级月亮又又又来了，一年它会出现几次？
现代快报讯（记者是钟寅）11 月 5 日晚，2025 年最大满月将现身夜空，这是 2025 年三次“超级月亮”中离地球最近的一次。 当月球位于近地点附近，且处于满月状态，这就是常说的“超级月亮”。月球在一个椭圆轨道上围绕地球运转，轨道上距离地球最近的那一点称为近地点，此时月球距离地球不到 36 万千
0
威马APP重启服务，破产车企艰难“复活”之路
本报（chinatimes.net.cn）记者刘凯北京报道 继 9 月 6 日威马汽车发布《关于“新威马汽车”重组情况的说明》之后，时隔两个月，威马汽车再度传来好消息。 11 月 5 日，威马汽车对外宣布，小威随行 APP 已重新在 iOS 和 Android 平台上线，其蓝牙车控、远程车控、蓝牙钥
15
手机状态栏变“广告位”？网友炸锅，运营商回应情况属实
11 月 5 日消息，近日有网友晒出截图，手机顶部信号栏里，原本显示运营商名字的地方，赫然变成了“青岛啤酒节”五个字。 底下评论区立马炸了锅，不少人说自己也遇到过，江苏的朋友刷出了苏超相关的推广，河南的网友则收到了地方宣传口号。同在各大高校的学生们，都晒出了自己高校的名称。 图源：微博 一开始估计有
1
华为正式开源UCM技术：最大提升22倍 AI推理性能跃升
快科技 11 月 5 日消息，近日，华为宣布针对 AI 推理加速的关键技术——UCM（Unified Cache Manager）推理记忆数据管理正式开源。 UCM 以 KV Cache 多级缓存和推理记忆管理为中心，通过推理框架、算力、存储的三层协同，破解长序列推理效率低、成本高的难题，为企业提供
0
猫步走得像人一样，小鹏发布全新一代人形机器人 IRON
IT 之家 11 月 5 日消息，在今日的 2025 小鹏科技日活动上，小鹏全新一代 IRON 人形机器人亮相，号称“最拟人的人形机器人”。 据官方介绍，小鹏全新一代人形机器人 IRON 猫步走得像人一样轻柔，还拥有像人一样思考“大脑”。IRON 作为最拟人的人形机器人，拥有「骨骼-肌肉-皮肤」：仿
0
免费十年后的觉醒：乐播投屏的第二增长曲线正在爆发。
AI 时代最稀缺的不是算力，而是入口，乐播连接的，是多类型屏幕的算力入口。 在 AI 入口之争愈演愈烈的 2025 年，一家“十年不收费”的公司突然迎来了爆发。就在不久前，乐播投屏宣布正式启动收费体系，并在 To B 商业市场全面发力，并很快实现了月收入暴涨 5 倍的成绩。 AI 时代，屏幕不只是显
0
软银与OpenAI成立合资公司，新产品计划于2026年正式上线
11 月 5 日，据软银官网信息，软银集团与 OpenAI 宣布，双方于 11 月 5 日正式成立合资公司 SB OAI Japan GK。 软银在声明中表示，SB OAI Japan 旨在提供“Crystal Intelligence”解决方案，利用人工智能技术革新日本企业的管理和运营模式。该产品
4
央视起底网红制造苹果人、安卓人荒谬对立无底线博流量网络乱象
11 月 5 日消息，百万网红博主“户晨风”近期用“苹果安卓论”极端话术撕裂共识、煽动焦虑，收割流量，手机品牌本属于个人选择，却被扭曲成“身份标签”。他多次在直播中刻意制造荒谬对立，最后终遭全网封禁并销号。央视今日起底了这起无底线博流量网络乱象。 报道称，“户晨风”为了博取眼球、吸引流量，在自己的视
0
10.9万元！大疆发布禅思L3，要彻底打破高端航测市场格局？
2025 年 11 月 4 日，DJI 大疆正式发布了新一代激光雷达系统——禅思 L3，它是大疆首款兼具长测程及高精度航测的激光雷达，官方表示其配备了 1535 纳米长测程激光雷达和全球首创融合双一亿像素可见光相机。 禅思 L3 的出现不但标志着大疆在高端航测设备领域取得突破性进展，更可贵的是，其或
0
微滔生物完成超亿元规模天使轮融资，启明创投领投
11 月 5 日消息。全球体内细胞治疗领域的创新企业，微滔生物科技（上海）有限公司（下称 “微滔生物”），宣布完成超亿元人民币规模的天使轮融资。本轮融资由知名创投机构启明创投领投，B Capital、杏泽资本及顺禧基金共同跟投，融资资金将主要用于核心技术平台迭代优化以及首款候选产品在自身免疫疾病领域
1
亚马逊对Perplexity下“逐客令”：带着你的AI代理滚出我的地盘
财联社 11 月 5 日讯（编辑史正丞）一场预览 AI 时代互联网平台商战的冲突，不经意间炸开了锅。 根据周三凌晨的最新消息，亚马逊已经向 Perplexity 发出了停止侵权函，要求这家人工智能搜索初创公司禁止其 AI 浏览器 Comet 在亚马逊网上商城代表用户进行购物。 知情人士称，亚马逊在信
1
比亚迪 2026 款夏 MPV 上市，补贴价 19.68 万元起
IT 之家 11 月 4 日消息，比亚迪夏是王朝系列首款中大型家用豪华 MPV，家庭用户占比 85%+。今天晚上，2026 款夏正式上市，拥有 CLTC 工况纯电续航 100 公里、218 公里共四款车型，上市价 20.68 万元起、补贴价 19.68 万元起。 100KM 进取型：上市价 20.6
0
10月车企销量：增长、创新高成关键词，上汽蝉联第一、吉利跃居第三
本报（chinatimes.net.cn）记者温冲于建平北京报道 在“金九银十”传统汽车销售旺季影响下，各家车企 10 月份销量大都实现明显增长，部分企业尤其是新能源汽车销量创历史新高。 《华夏时报》记者统计已公布销量的 8 家传统车企（东风、广汽暂未公布）的销售数据发现，有 5 家同比增速超 10
4
AI大战打到太空！前脚H100入轨，TPU后脚上天，中国玩家笑而不语
克雷西发自凹非寺 量子位 | 公众号 QbitAI 英伟达和谷歌，抢着上天了！ 搭载英伟达 H100 的卫星已经在这个月被送入太空，谷歌这边也不甘落后—— CEO 劈柴哥表示要把 TPU 也发射上去，最早的两颗卫星 2027 初启程。 未来，两家都打算在太空建立起吉瓦级的数据中心。 网友表示，在太空
0
特朗普再提名马斯克盟友任NASA局长，曾斥2亿美元完成首次商业太空行走
当地时间 11 月 4 日晚，美国总统特朗普在社交媒体上宣布，他已再次提名亿万富翁、私人宇航员贾里德·艾萨克曼担任美国国家航空航天局 (NASA) 局长。 这一任命在华盛顿引发震动，被认为标志着一个戏剧性的“U型转弯”。就在五个多月前的 5 月底，特朗普曾突然且愤怒地撤回了对艾萨克曼的提名。 ▲贾里
0
保时捷中国研发中心正式启用，保时捷中国总裁潘励驰：以中国速度回应中国期待
11 月 5 日上午消息，在今日的保时捷中国研发中心启幕仪式上，保时捷中国总裁及首席执行官潘励驰发表演讲。 今年 4 月，保时捷在上海车展上宣布中国研发中心正式成立，并计划于下半年投入运营。其主要任务是聚焦面向中国市场的“软硬一体”信息娱乐系统及驾驶辅助解决方案的开发。今日，保时捷正式宣布中国研发中
0
异种移植迎突破：美国启动人体移植基因编辑猪肾规模化临床试验
11 月 4 日消息，一项旨在评估将基因编辑猪肾移植入人体是否真能挽救生命的临床试验已正式启动。 基因编辑猪肾研发企业 United Therapeutics 公司当地时间周一宣布，该研究的首例移植手术已由纽约大学朗格尼健康中心（NYU Langone Health）成功实施，标志着这一手术的规模化
0
三星因 OLED 专利侵权被判赔偿 1.914 亿美元，将提起上诉
三星与 Pictiva 就 OLED 显示技术陷入专利诉讼，美国得克萨斯州陪审团近期裁定这家韩国公司侵犯了两项与该尖端技术相关的美国专利。联邦法院已下令三星向 Pictiva 支付 1.914 亿美元（IT 之家注：现汇率约合 13.63 亿元人民币）的赔偿金。然而，三星对判决结果表示不满，并已宣布
1
美团将推骑手委屈关怀计划
新浪科技讯，11 月 4 日晚间消息，近日，美团官方发布消息，表示将于 11 月 5 日正式推出“美团骑手委屈关怀计划”，通过主动兜底、快速响应、实质补偿等，让骑手在委屈时刻感受到平台的坚定支持，共同守护配送生态的健康发展。 美团表示，在即时配送场景中，骑手常面临突发性、差异化的委屈时刻，从无端指责
1
光纤传输距离创世界纪录 一秒能传完 500 部高清电影
11 月 4 日消息，中国电信今日官宣，联合伙伴交出了无中继传输的“高分答卷”，基于空芯光纤技术，一举创下单波 800Gbps、1.2Tbps 实时系统超长单跨无中继传输世界新纪录，把“高速 + 长距”的通信极限又往前推了一大步。 中国电信介绍称，过去要实现单波 800Gbps 的长距传输，需要靠两
0
特斯拉第七大股东，挪威主权财富基金将投票反对马斯克 1 万亿美元薪酬方案
11 月 4 日消息，全球规模最大的主权财富基金 —— 挪威主权财富基金（Norway's sovereign wealth fund）周二表示，将在本周举行的特斯拉年度股东大会上投票反对批准首席执行官埃隆・马斯克（Elon Musk）提出的薪酬方案，该方案包含价值最高达 1 万亿美元（IT 之家注
0
从“星际之门”到AWS算力大单 OpenAI猛签AI算力合约 英伟达与存储巨头们赢麻了
估值高达 5000 亿美元的全球 AI 应用领军者 OpenAI 在过去一个月里与一众科技巨头们所达成的 AI 算力资源供给协议，规模已膨胀至数千亿美元，整体规模已经非常接近 OpenAI 首席执行官山姆·阿尔特曼所展望的规模高达 1.4 万亿美元 AI 算力基础设施庞大支出规划。 对于“AI 芯片
0
首批合法基因编辑婴儿有望在美国出世：人类基因编辑技术真要被解封了吗
快科技 11 月 4 日消息，基因编辑技术虽然被各国禁止，但是这不代表没有公司去继续研究，而美国或许很快迎来首批合法基因编辑的婴儿。 据外媒报道称，曼哈顿基因组学公司（Manhattan Genomics）将打造美国首批合法无性向婴儿，其计划通过基因编辑人类胚胎来预防遗传疾病。 该公司重启了通过人类
0
特斯拉据称三年内将向三星SDI购买20亿美元ESS电池
报纸称特斯拉将在三年内向三星 SDI 购买 20 亿美元的 ESS 电池 北京时间 11 月 3 日下午消息，消息人士透露，韩国三星已与特斯拉达成协议，将在三年内向特斯拉 TSLA.O 提供价值超过 3 万亿韩元（约合 21.1 亿美元）的 ESS（Energy Storage System） 电池
0
蚂蚁集团井贤栋：区块链上的活动将从投机性交易转向真实价值交换
11 月 3 日下午消息，2025 年香港金融科技周开幕。蚂蚁集团董事长井贤栋在主论坛上表示，香港已成为蚂蚁集团及旗下多家公司的全球化战略支点，迈向 AI 时代，蚂蚁集团正积极参与香港政策创新试点，探索人工智能与区块链技术的创新应用，进一步扩大在香港的战略投入，并以香港为起点加速全球化发展，让新技术
