标签「人工智能」下的文章

Manus 母公司蝴蝶效应完成超 5 亿美元新一轮融资:AI Agent 赛道今年最大笔融资之一

Manus 母公司蝴蝶效应完成超 5 亿美元新一轮融资:AI Agent 赛道今年最大笔融资之一

AI 智能体赛道迎来今年最大笔融资之一:Manus 母公司蝴蝶效应宣布完成超过 5 亿美元的新一轮融资,本轮由博裕投资、IDG 资本领投,老股东腾讯、红杉中国、真格基金继续加注。 要点一:明星公司的资本背书。 蝴蝶效应创立于 2022 年,2025 年 3 月发布了全球首款通用 AI 智能体 Manus,一度引爆整个

晶泰科技 Kodexia:生成式 AI + 自动化实验,把 siRNA 药物发现做成闭环

晶泰科技 Kodexia:生成式 AI + 自动化实验,把 siRNA 药物发现做成闭环

## 晶泰科技 Kodexia:把 siRNA 药物发现做成 AI 闭环 晶泰科技 10 月 6 日公布 Kodexia 平台细节:生成式 AI、生物建模与自动化实验组成闭环,加速小干扰 RNA(siRNA)疗法发现。 **要点** - **siRNA 是什么**:在致病基因表达成蛋白质之前就将其「静默」,能打到传统小

NYU 的 AI 几小时扫描 460 万化合物:氢原子该放哪,AI 说了算

NYU 的 AI 几小时扫描 460 万化合物:氢原子该放哪,AI 说了算

## NYU 的 AI 几小时扫描 460 万化合物 纽约大学团队在《Chemical Science》发文:训练 AI 学习药物分子中与稳定性相关的化学模式,精准预测氢原子的位置,解决互变异构体判定这一老大难问题。 **要点** - **问题本身**:许多药物分子存在互变异构体——氢原子从一个位点挪到另一个,键型随之

美国能源部砸 1.59 亿美元:把 AI 装进聚变、芯片与量子研究

美国能源部砸 1.59 亿美元:把 AI 装进聚变、芯片与量子研究

## 美国能源部砸 1.59 亿美元:把 AI 装进聚变、芯片与量子研究 美国能源部 10 月 8 日宣布 Genesis Mission 第二期 12 个项目、共 1.59 亿美元,目标是把 AI 深度嵌入国家实验室的科学发现流程。 **要点** - **钱花在哪**:12 个二期项目之一是给 Commonwealt

诺奖得主 Halzen:是 AI 让 IceCube 首次「看到」银河系中微子天空

诺奖得主 Halzen:是 AI 让 IceCube 首次「看到」银河系中微子天空

## 诺奖得主 Halzen:是 AI 让 IceCube 看到银河系中微子天空 2026 年诺贝尔物理学奖得主 Francis Halzen 在获奖后回顾,IceCube 中微子天文台解决了一个「给 AI 出的很有意思的问题」,而 AI 在其中起了开创性作用。 **要点** - **反直觉的发现**:肉眼看夜空,看到

Claude 算出九圈散射振幅:一句话指令、几千美元,打破理论物理纪录

Claude 算出九圈散射振幅:一句话指令、几千美元,打破理论物理纪录

## Claude 算出九圈散射振幅 Anthropic 宣布,Claude 在科学平台 Claude Science 上以极小的人类监督连续运行数天,算出了平面 N=4 超杨-米尔斯理论中的九圈六粒子散射振幅——这是理论物理「散射振幅」方向公认的前沿难题。 **要点** - **打破三年纪录**:此前纪录是 2023

GPT-5.6 Sol 90 分钟证伪 20 年统计学猜想:BH 程序并非万无一失

GPT-5.6 Sol 90 分钟证伪 20 年统计学猜想:BH 程序并非万无一失

## GPT-5.6 Sol 90 分钟证伪 20 年统计学猜想 宾夕法尼亚大学沃顿商学院副教授 Edgar Dobriban 用 GPT-5.6 Sol Pro,证伪了一个在多重假设检验领域站立约 20 年的猜想,并将结果作为 arXiv 预印本发布,自己列为唯一作者。 **要点** - **被证伪的是什么**:Be

OpenAI 证伪 Erdős 单位距离猜想:80 年悬案被 AI 反例终结

OpenAI 证伪 Erdős 单位距离猜想:80 年悬案被 AI 反例终结

## OpenAI 证伪 Erdős 单位距离猜想 1946 年,Paul Erdős 提出单位距离问题:平面上 n 个点,最多有多少对点之间的距离恰好为 1?近 80 年来,数学家普遍相信正方形网格构型是最优的。OpenAI 宣布,其内部推理模型给出了第一个完全自主的反例证明。 **要点** - **反例而非证明**

OpenAI 一次放出 377 项 AI 数学成果:准黎曼假设、矩阵乘法指数降至 2.25

OpenAI 一次放出 377 项 AI 数学成果:准黎曼假设、矩阵乘法指数降至 2.25

## OpenAI 一次放出 377 项 AI 数学成果 OpenAI 公开了一个由内部前沿模型生成的数学成果合集:722 份手稿、372 个「结果家族」,覆盖数论、代数、拓扑、逻辑与理论计算机科学。据称模型面对约 4000 个开放数学问题,幸存下来的成果被整理发布。 **要点** - **准黎曼假设**:证明黎曼 z

法国 Mistral 发布万亿参数大模型 Large 4「Le Chonk」:欧洲 AI 的正面反击

法国 Mistral 发布万亿参数大模型 Large 4「Le Chonk」:欧洲 AI 的正面反击

法国 AI 实验室 Mistral 于 10 月 6 日发布了其迄今最大、最强的模型 Mistral Large 4(内部代号「Le Chonk」,意为「大胖猫」),向美国闭源前沿模型和中国开源权重模型发起正面挑战。 要点一:万亿参数的混合专家架构。 模型总参数 1 万亿、每次推理仅激活 49B,原生多模态,支持 16