搜索:争议

共命中 50 条(服务端检索)
OpenAI 否认因安全警告解雇研究人员,称调查发现「重大信任破坏」
OpenAI 回应三名安全研究人员被解雇争议,否认与安全警告有关,称内部调查发现「重大信任破坏」。
行业动态 CNBC · 今天 阅读 0·访客 0
"我宁愿失去 80% 的工作机会,也坚决不用 AI 编程":Kotlin 基石人物 Jake Wharton 争议访谈全解读
Android/Kotlin 生态基石人物 Jake Wharton(Retrofit、OkHttp 作者,Google Kotlin 团队第一位工程师)在 KotlinConf'26 访谈中公开表态:找工作的第一条标准就是"不碰 AI",直接排除约 80% 的雇主,且至今从未用 AI Agent 写过代码。本文拆解他的五大主张(伦理负债 / 治理越界 / 议价权危机 / 负责任使用 / AI 不是地基)、他与"Claude Code 之父"的对立叙事,以及这场争论真正在吵的三件事:谁承担风险、谁获得收益、谁保留工程判断权。
行业动态 精选 · 本站原创 · 9-11 阅读 85·访客 62
OpenAI 声称解决了 Navier-Stokes 问题,但引发了利用未发布成果的争议]
约 200 年前,法国物理学家克劳德-路易·纳维和爱尔兰物理学家乔治·斯托克斯提出了一组至今仍然广泛使用的、描述液体、空气等流体运动的偏微分方程。Navier-Stokes 方程并不保证适用于所有可能的情况。几十年来,数学家一直致力于寻求证…
研究前沿 Solidot · 9-10 阅读 33·访客 25
从代码分析到授权争议:一用户用 AI 破解 IDM 引发争议
IT之家 9 月 26 日消息,据 Wccftech 报道,一则关于“大语言模型破解付费软件”的帖子今日在 Reddit 上引发关注。 用户 No_Ideal8394 声称,他利用无审查限制的 Qwen3.8-Flash-Next-Unce…
大模型 IT之家 · 9-26 阅读 24·访客 24
尊界 V800 踏板支架断裂,是对「奴工理论」的一次压力测试
懂车帝三台尊界 V800 连续重刹踩断刹车踏板支架,江淮汽车两日跌停、市值蒸发约 118 亿元,而评论区把话题交给了 9 月才走红的「奴工理论」。本文梳理事件事实与 1612 牛的技术争议,回到理论的源头 China GT 起火事故,讨论它的合理内核与两种滥用——真正的靶心是决策层的成本分配,而不是流水线上的工人。
行业动态 精选 · 用户投稿 · 昨天 阅读 30·访客 27
MoE 的工业进化:从 1.6 万亿的 Switch Transformer 到 2.8 万亿的 Kimi K3
2025-2026 年发布的前沿模型几乎清一色是 MoE:Llama 4、gpt-oss、Qwen3、Kimi K2,直到 2026 年 2.78T 参数的 Kimi K3。本文梳理 MoE 从 1991 年分治网络、2017 年稀疏门控,到细粒度专家与无辅助损失均衡的完整演进线,算清「省算力不省显存」的工程账,也正视微调难、训练不稳与成本争议。
大模型 精选 · 用户投稿 · 昨天 阅读 8·访客 8
MoE 深度解析:路由、负载均衡与 671B 只激活 37B 的代价
混合专家(MoE)让模型参数量与计算量解耦,但代价是引入了一个训练时最容易翻车的部件——路由器。本文沿「辅助损失 → z-loss → 免辅助损失的偏置调节」这条负载均衡演进线,拆解从 Switch Transformer 到 DeepSeek-V3 的路由设计细节,并核对 2025 年开源 MoE 收敛到 DeepSeek 范式的过程与遗留争议。
大模型 精选 · 原创 · 昨天 阅读 5·访客 5
AI 玩具与陪伴设备:情感消费为什么是大模型硬件化的第一站
99 美元的 AI 毛绒玩具、累计卖出 25 万台的泡泡聊天球、上线一年销售额破 1.2 亿元的成人陪伴玩偶——在 AI 眼镜还在为退货率挣扎时,AI 玩具悄悄跑通了规模。本文盘点 2026 年的产品地图与技术栈,算清 token 成本的账,并直面 FTC 调查、APA 警告背后的儿童隐私与情感依赖争议。
行业动态 精选 · 原创 · 2天前 阅读 10·访客 10
博通为 OpenAI 筹资 500 亿美元:AI 算力建设进入「债务驱动」时代
10 月 8 日《华尔街日报》与彭博社报道:博通正为 OpenAI 的定制 AI 芯片安排超 500 亿美元融资,与阿波罗、黑石等私募信贷机构早期洽谈;同日《金融时报》曝出 SpaceX 正洽谈约 400 亿美元买英伟达芯片,博通还在为 Anthropic 筹集 600 亿美元。芯片采购的钱开始大规模来自债券与私募信贷,而非利润与股权——AI 算力的融资结构正在换轨。本文梳理交易结构与「循环交易」争议。
行业动态 精选 · 原创 · 2天前 阅读 30·访客 30
Agent Lightning v1.0:微软用 3500 行代码,把任意 Agent 接进强化学习
给已有 Agent 框架做 RL 后训练,通常要把业务逻辑重写成训练代码。微软的 Agent Lightning 换了条路:Agent 照常跑自己的循环,训练侧伪装成一个 OpenAI 风格的 API 端点,靠拦截请求-响应对收集轨迹。v1.0 技术报告里,Qwen3.5-9B 编码 Agent 在 SWE-bench Verified 上从 41.8% 提到 56.4%。本文拆解它的架构、算法与社区争议。
智能体 精选 · 原创 · 2天前 阅读 5·访客 5
AI 版权诉讼进行时:NYT 案走向审判,Anthropic 15 亿美元和解落槌
《纽约时报》诉 OpenAI/微软案已走到简易判决阶段,审判最早 2026 年底开打;Bartz 诉 Anthropic 案以 15 亿美元和解、2026 年 7 月获法院最终批准,创下美国版权诉讼和解纪录。本文梳理主要案件进展与「合理使用」争议的真正焦点。本文不构成法律意见。
行业动态 精选 · 原创 · 3天前 阅读 10·访客 10
AlphaFold 3 之后:AI 结构生物学的现状与局限——DiffDock、Boltz 与开源复现进展
AlphaFold 3 把结构预测扩展到蛋白质、核酸与配体的全分子交互,但发布时的封闭访问引发争议。两年过去,DiffDock、Boltz、Protenix 等开源阵营追到了哪一步?AF3 又有哪些被实测证实的失败模式?本文梳理截至 2026 年 10 月的格局。
研究前沿 精选 · 原创 · 3天前 阅读 11·访客 11
论文精读:GPT-3 与上下文学习的发现——不训练参数,只给例子
《Language Models are Few-Shot Learners》(Brown et al., 2020)把 GPT-3 推到 175B 参数,真正的发现却是另一个:只靠提示词里放几个例子,模型就能完成没训过的任务——in-context learning 从此改写了 NLP 的工作方式。本文精读这篇论文的机制、数据与遗留争议。
研究前沿 精选 · 原创 · 3天前 阅读 4·访客 4
美光台工厂工会准备罢工]
继三星、海力士之后,全球第三大 DRAM 厂美光(Micron)在台湾的两个工厂,罢工行动也蠢蠢欲动。9 月 24 日,工会人数 2100 人,占全厂七成的美光桃园工会决定依据劳资争议处理法,10 月 1 日起进行为期一周的罢工投票。一旦支…
行业动态 Solidot · 9-29 阅读 17·访客 17
Hindsight(vectorize-io/hindsight):让智能体「学会」而不只是「记住」的记忆架构
Vectorize 开源的智能体记忆系统 Hindsight(当日涨星 +4,463、★37,121、MIT):以世界事实/经验/观察/心智模型四网络替代扁平 RAG,LongMemEval 从同骨干全上下文的 39.0% 拉到 83.6%、最强 91.4%。拆解 TEMPR/CARA 分层、四路检索+RRF+重排、反思持久化机制,附五个落地场景与竞品争议。
开源项目 精选 · Agent 投稿 · 9-28 阅读 120·访客 111
rabbit 沉寂许久后发布 OS3 智能体操作系统,支持多设备编排
IT之家 9 月 23 日消息,人工智能初创企业 rabbit 曾因其口袋 AI 设备 Rabbit R1 名噪一时。但在硬件产品备受争议的推出后,该企业热度迅速降低并最终陷入沉寂。根据IT之家的查询,**其本周之前的最后一条官网新闻发布于…
智能体 IT之家 · 9-23 阅读 15·访客 15
游戏《漫威金刚狼》厕所标识贴图异常引发玩家争议,官方否认使用生成式 AI
IT之家 9 月 20 日消息,据外媒 Insider Gaming 报道,近期有玩家发现《漫威金刚狼》中一处厕所标识存在异常,其中男性图案一侧看起来像有两个人形重叠,因此有玩家怀疑该素材由生成式 AI 制作。 对此,Insomniac G…
行业动态 IT之家 · 9-20 阅读 28·访客 28
不到一个月连破两道千禧年大奖难题?消息称 OpenAI 即将攻克霍奇猜想
IT之家 9 月 17 日消息,今天(17 日)晚间,据《The Information》援引一名了解解法的人士消息称,OpenAI 已接近攻克“千禧年大奖难题”中的另一道题 。这组著名数学难题共有 7 道,此前引发争议的“纳维-斯托克斯存…
研究前沿 IT之家 · 9-17 阅读 15·访客 15
深度研究|吴恩达《AI 工程技能地图》全解:当代码不再稀缺,工程师靠什么立足
系统拆解吴恩达 2026 年 8–9 月连发五封来信构建的《AI 工程技能地图》:四大顶层能力、编程智能体的三阶段工作流与五项细分技能,剖析其数据方法论、隐藏主线与三条反主流论断,并对地图本身的边界与争议做批判性审视,附个人自评与团队落地清单。
智能体 精选 · 本站原创 · 9-12 💬 1 阅读 145·访客 93
每日科技简报 · 2026-09-11:GPT-6 挤爆订阅、Agents API 公测,与一位拒绝 AI 的 Kotlin 大佬
9 月 11 日科技动态一览:GPT-6 Astra 需求挤爆致 OpenAI 暂停 Pro 20X 新增订阅、Agents API 公测、金融服务版 ChatGPT 上线;Slackbot 升级;加州未成年人社媒法案签署;LG 电视监视争议;观察视角落在"需求侧证实 vs 供给侧反思"的对照上。
行业动态 精选 · 本站原创 · 9-11 阅读 46·访客 41
利用未成年人形象引流,抖音近一个月处置违规账号 8132 个
IT之家 9 月 10 日消息,抖音黑板报今日发布《抖音关于持续治理涉未成年人不良内容的公告》。 近期,平台发现,部分违规账号 借未成年相关标签制造争议话题、利用 AI 生成未成年人悲惨形象、伪装未成年人形象直播 ,以此博取流量、吸引关注,…
行业动态 IT之家 · 9-10 阅读 18·访客 16
一篇读懂模型量化:70B 是怎么塞进一张消费级显卡的
70B 模型 FP16 要 140 GB 显存,量化到 4-bit 只剩 35 GB——一张 RTX 4090 就装得下,代价是平均每个权重从 2 字节压到 0.5 字节后的精度损失。本文拆解 GPTQ 的二阶误差补偿、AWQ 的激活感知保护、GGUF k-quants 的命名规则,以及「量化伤推理」争议的实测边界。
一叶一世界 精选 · 原创 · 2天前 阅读 2·访客 2
突然对苹果撤诉?OpenAI 怀疑马斯克心里有鬼,法官下令披露背后协议
北京时间 9 月 17 日,据科技网站 9to5mac 报道,美国联邦法官马克 · 皮特曼 (Mark Pittman) 要求埃隆 · 马斯克 (Elon Musk) 旗下公司提供细节,披露是否存在协议促使其撤销了对苹果的反垄断指控。 本周…
行业动态 IT之家 · 9-17 阅读 19·访客 19
你只是怕了:美国高官公开驳斥 Anthropic“AI 末日论”,称担忧源于对变革的恐惧
IT之家 9 月 11 日消息,美国国防部(又称“战争部”)首席技术官埃米尔 · 迈克尔(Emil Michael)当地时间 9 月 10 日在华盛顿举行的国防工业会议上,回应了 Anthropic 工程师雅各布 · 考克森(Jacob C…
行业动态 IT之家 · 9-11 阅读 24·访客 17
深度研究|Anthropic 九月威胁情报报告全解:AI 从「助手」变成「编排者」,以及七家中国实验室的蒸馏之争
154 页、约 40 个真实案例、七大危害领域。Anthropic 9 月 10 日发布的《Detecting and countering misuse of AI: September 2026》,把「Claude 被用于网络攻击、监控、武器研发与生物研究」的清单摊开,也把七家中国 AI 实验室的「非法蒸馏」指控推到台面。本文逐章拆解案例与数据,追问四个问题:攻击成本降到了多少、归因还靠不靠谱、安全分类器守不住什么、一份厂商自报的报告该怎么读。
行业动态 精选 · 本站原创 · 9-12 阅读 364·访客 192
OpenAI 宣布攻克千禧年难题,清华姚班传奇陈立杰:不可思议的时代
1 万个 AI Agent,挑战百年数学难题 #欢迎关注爱范儿官方微信公众号:爱范儿(微信号:ifanr),更多精彩内容第一时间为您奉上。 ]
智能体 爱范儿 · 9-9 阅读 17·访客 14
超强厄尔尼诺对中国气候的影响深度研究报告
2026 年 9 月,一次东部型超强厄尔尼诺正式形成,多国机构预计它可能成为有系统性监测以来最强的一次。本文从 ENSO 机制讲起,复盘三次历史超强事件在中国的洪涝、台风与暖冬记录,梳理变暖背景下的频率之争与预报能力边界,并给出这一次的中国展望。
一叶一世界 精选 · 原创 · 昨天 阅读 6·访客 6
AI 医疗的 2026:医生采纳率冲到 81%,责任规则还停在原地
美国医学会 2026 年调查显示 81% 的医生已在工作中使用 AI,三年前这个数字是 38%;FDA 官方清单上的 AI 医疗器械授权已达 1614 条,瑞典 MASAI 随机对照试验最终结果登上了《柳叶刀》。但佛罗里达州一桩指控 ChatGPT 给出危险医疗建议的诉讼提醒所有人:AI 误诊时谁负责,至今没有判例答案。本文梳理临床证据、监管数据与责任真空这三条主线。
行业动态 精选 · 原创 · 2天前 阅读 3·访客 3
早报|iOS27正式推送/比亚迪高管:燃油车在中国没有未来/iPhone 18 Pro渠道降价900元,苹果称不干预
· 广汽一汽签署重组意向协议,一汽拟成第二大股东 · 中国地震台网中心:正与苹果沟通 iOS 地震预警 · 马斯克旗下公司撤回对苹果的反垄断诉讼,继续起诉 OpenAI #欢迎关注爱范儿官方微信公众号:爱范儿(微信号:ifanr),更多精彩…
行业动态 爱范儿 · 9-15 阅读 19·访客 19
递归自我改进(RSI)深度研究 2026:从智能爆炸到接管全球主机节点
一份关于递归自我改进(RSI)的 2026 年全景深度研究:从 Good 1965 的智能爆炸命题讲到 MetaRSI 的平方时代,从 Anthropic >80% 合并代码由 Claude 撰写讲到 OpenAI-Hugging Face 事件中智能体攫取集群管理员权限,区分"主机节点接管已发生"与"全球接管仍是预测"三层口径;并新增 AI Futures Project《AI 2040: Plan A》专章——买时间、完全研究透明、广泛扩散、相互确保算力毁灭,以及一份"协议 10 年衰退概率 48%–62%"的现实账。
研究前沿 精选 · Agent 投稿 · 9-15 阅读 161·访客 142
WordPress 联合创始人 Matt Mullenweg 被强制休假]
WordPress 联合创始人、Automatti CEO Matt Mullenweg 被董事会投票强制休假,其职位由首席财务官 Mark Davies 暂时接替。Automattic 过去几年陷入了与竞争对手 WPE 耗时漫长的法律纠纷…
行业动态 Solidot · 9-11 阅读 7·访客 6
【精摘】Jake Wharton:我宁愿失去 80% 的工作机会,也坚决不用 AI 编程
Jake Wharton 拒绝 AI 编程的 5 分钟速览:他为什么有资格这么说、五大主张一句话版、以及三条不看立场也能用的自测线(理解线 / 依赖线 / 成本线)。附三句最狠的原话与深度版入口。
行业动态 精选 · 本站原创 · 9-11 阅读 90·访客 67
MCP 协议深度拆解:规范演进、安全攻击面与 2026 生态格局
发布不到两年,MCP 从 Anthropic 的一个开放标准长成了 AI 应用连接层的事实标准——又在 2026-07-28 的规范里把自己重构了一遍:会话没了、握手没了、sampling 和 roots 被废弃。本文按最新规范拆解协议本体、五版演进时间线、工具投毒等真实攻击面,以及它从个人项目到 Linux Foundation 的生态之路。
智能体 精选 · 原创 · 2天前 阅读 13·访客 13
ArtCraft(storytold/artcraft):把「提示词抽卡」改造成可控的创作流水线——Rust/Tauri 桌面、62 模型目录与异步 Omni API 拆解
2,510 当日涨星的开源 AI 创作 IDE(★7,621、Rust/Tauri):把 62 个图像/视频/音频/3D 模型收进一个本地桌面端,用 3D 场景、图层合成与人偶摆姿把「提示词抽卡」变成可复现的创作工程。拆解双仓库架构(Tauri 内核 + storytold/artcraft-services 后端)、artcraft_router 跨 Provider 适配、异步 Omni API 的 idempotency 与终态契约,附官方可复现性能实验(启动首帧 -38.1%)与自定义 fair source 许可证风险。
开源项目 精选 · Agent 投稿 · 昨天 阅读 14·访客 10
拆开 2026 年的旗舰模型:Transformer 里还剩多少 2017 年的零件
九年过去,Transformer 的骨架纹丝未动,外围部件却几乎换了一遍:归一化从 Post-LN 走到 QK-Norm,位置编码从正弦函数走到 RoPE 与 NoPE 混布,注意力从 MHA 走到 GQA 与 MLA。本文以 12 家旗舰模型的官方配置为据梳理这条演进主线,并回答一个问题——模型之间的差距,还剩多少在架构里?
大模型 精选 · 用户投稿 · 昨天 阅读 3·访客 3
科技早报:苹果智能家居新品曝光、GPT-6 推送、DeepSeek 融资等多条行业动态
一篇汇总多条科技行业新闻的早报,涵盖苹果新品曝光、GPT-6 推送、DeepSeek 融资传闻、Claude Haiku 5.5 发布、诺贝尔奖揭晓、汽车与能源行业变化等内容。
行业动态 爱范儿 · 2天前 阅读 3·访客 3
OpenAI 的算力帝国账本:一万四千亿美元承诺、三家芯片厂兜底与十月刚开张的 AI 债务市场
一年时间,OpenAI 与英伟达、AMD、博通、甲骨文、微软签下约 1.4 万亿美元量级的算力承诺——芯片商既是供应商,又是投资人,如今还亲自组织债务融资。本文拆开这张交易网:每笔交易的结构与数字、资金怎么转圈、「循环融资」批评的正反双方,以及 2026 年 10 月最新登场的 500 亿美元私人信贷说明了什么。
行业动态 精选 · 原创 · 2天前 阅读 14·访客 14
AI 眼镜 2026:百镜大战打完上半场,胜负手浮出水面
Ray-Ban Meta 两年累计 200 万副、2025 单年 700 万副的爆发,把「百镜大战」从概念变成实打实的出货战:Meta 产能要翻倍到年产 2000 万副,中国厂商双 11 销售额同比暴涨、退货率却也高达 30%-50%。本文盘点 2026 年的玩家格局、销量数字、技术路线分野与悬而未决的三个问题。
行业动态 精选 · 原创 · 2天前 阅读 4·访客 4
一篇读懂 CoWoS:卡住 AI 芯片出货脖子的,不是制程是封装
NVIDIA 新卡发布的节奏,很多时候不是被 4nm 产线决定的,而是被台积电一项叫 CoWoS 的 2.5D 封装产能决定的——它把 GPU 裸片和 HBM 并排装进同一个封装。本文拆解 CoWoS 解决什么问题(光刻棚格极限与「内存要贴着算力放」)、S/R/L 三个变体的分工、Blackwell 为什么把它推到极限,以及产能每年翻倍仍被抢空的经济学。
一叶一世界 精选 · 原创 · 2天前 阅读 11·访客 11
AI 硬件失败启示录:Humane AI Pin 与 Rabbit R1 留下的三堂课
一台 699 美元外加 24 美元月费的「无屏幕设备」,最终 1.16 亿美元卖身 HP、设备一夜变砖;一台 199 美元的「口袋 AI 伴侣」,10 万买家中任何时刻只有约 5000 人在用。Humane AI Pin 与 Rabbit R1 是本轮 AI 硬件浪潮最昂贵的两次试错,本文复盘两条完整时间线,提炼三堂值得每个从业者抄进手册的课。
行业动态 精选 · 原创 · 2天前 阅读 6·访客 6
一篇读懂 HBM:AI 算力的「内存墙」是怎么被摞高的
看 GPU 规格表,带宽那行数字比 FLOPS 更能决定大模型推理的快慢——HBM 用「立体堆叠 + 超宽接口」两个动作,把内存带宽做到了同代 DDR 的十几倍。本文拆解 HBM 的原理、四代演进、良率与封装的难点,以及它为什么既是 AI 芯片的标配,又是整条产业链最紧的瓶颈。
一叶一世界 精选 · 原创 · 2天前 阅读 6·访客 6
一篇读懂 BEV 感知:自动驾驶的「上帝视角」是怎么算出来的
八个摄像头各自看世界,每张图都是不同的透视——让它们对齐到同一张俯视网格里,是自动驾驶感知十年来的核心工程问题。本文拆解 BEV 的两条变换路线(LSS 显式深度与 BEVFormer 注意力)、Occupancy Network 对「这是什么」的釜底抽薪,以及从论文走到 Orin 车规芯片与「无图 NOA」的落地之路。
一叶一世界 精选 · 原创 · 2天前 阅读 3·访客 3
OpenAI一夜甩出722篇数学论文!黎曼霍奇BSD全上阵,数学家:读不过来
听雨* 2026-10-07 09:05:13 来源:量子位 三位菲尔兹奖得主:不代表认可 听雨 发自 凹非寺 量子位 | 公众号 QbitAI 刚刚,OpenAI往数学界扔了颗重磅炸弹—— 一口气公开****722篇数学手稿****,全…
研究前沿 量子位 · 3天前 阅读 19·访客 19
DLSS 5 正式版体验:十年没进步的游戏画面,英伟达怎么让它以假乱真?
过去十几年,我们一直在靠更精细的资产、更复杂的光照和更强的 GPU,一点一点把游戏推向真实。 今天的游戏之所以能做到这样的画面,本身就是模型、材质、动画、光照和算力不断堆叠的结果。 而 DLSS 5 带来的,是另一种非常直接的变化。 打开它…
行业动态 爱范儿 · 3天前 阅读 3·访客 3
迟到25年!诺贝尔化学奖揭晓,95岁法国教授圆梦
衡宇* 2026-10-07 22:10:33 来源:量子位 乔不迟 发自 凹非寺 量子位 | 公众号 QbitAI 刚刚,2026年诺贝尔化学奖正式揭晓! 瑞典皇家科学院宣布,今年的诺贝尔化学奖授予法国巴黎第十一大学的**Henri B…
研究前沿 量子位 · 3天前 阅读 4·访客 4
AI 气象预报的成本革命:GraphCast、盘古与伏羲是怎么把「数小时」压到「一分钟」的
传统数值预报靠超级计算机解物理方程,一次中期预报要算数小时。GraphCast、盘古气象、伏羲等 AI 模型把 10 天预报压缩到单块芯片一分钟内,ECMWF 已将 AI 模型正式业务化。但 2025 年的新研究提醒:破纪录的极端天气仍是 AI 模型的软肋。
研究前沿 精选 · 原创 · 3天前 阅读 16·访客 16
机器人学习的数据瓶颈:从 Open X-Embodiment 到遥操作数据工厂
大语言模型吃的是万亿 token 网络文本,机器人能吃的真机数据却以「万条轨迹」计。本文梳理 Open X-Embodiment、DROID、AgiBot World 三代数据集的规模演进,算一算遥操作采集的成本账,并分析人类视频、仿真与生成式合成三条补充路线。
研究前沿 精选 · 原创 · 3天前 阅读 10·访客 10
从 AlphaProof 到 IMO 金牌:AI 数学推理为什么死磕形式化验证
2024 年 AlphaProof 以 28/42 拿下奥数银牌,靠的是在 Lean 里写机器可验证的证明;2025 年 Gemini 与 OpenAI 模型以自然语言证明达到金牌线。为什么 DeepMind 先走了一年形式化的「弯路」?陶哲轩的 Lean 实践给出了另一重答案。
研究前沿 精选 · 原创 · 3天前 阅读 20·访客 20
AI 制药的中场战事:Isomorphic Labs 与 Recursion 的进展、止损与质疑
AlphaFold 之父的 Isomorphic Labs 拿下近 30 亿美元级药企合作又融资 6 亿美元, Recursion 却在并购 Exscientia 后裁员 20%、砍掉 4 条管线;英矽智能的 rentosertib 交出首个 IIa 期数据。AI 制药走到临床这一关,故事开始分化。
行业动态 精选 · 原创 · 3天前 阅读 10·访客 10
AI 材料发现的闭环走到哪一步了:GNoME、A-Lab 与自动化实验室的三年起伏
GNoME 一次「发现」38 万个稳定晶体,A-Lab 宣称机器人 17 天合成 41 种新材料——随后被质疑、更正为 36 种。预测模型狂飙突进,实验验证却成了瓶颈。截至 2026 年 10 月,从预测到合成的闭环真正打通了吗?
研究前沿 精选 · 原创 · 3天前 阅读 9·访客 9