aiminute
.
← 全部AI新闻
#科学研究
这是什么？
科学领域的 AI 是指加速发现本身的模型：提出假设、证明定理、预测天气、发现新材料，并在几分钟内读完全部文献。许多研究者认为，AI 最能改变世界的地方正是这里——而不是聊天机器人。
关键工具与玩家
DeepMind — AlphaFold、GNoME（材料）、GraphCast（天气）、AlphaProof（数学）
OpenAI — 面向研究的前沿模型；向 10 万名学者提供免费访问的计划（见我们的报道）
Anthropic — 用于科学推理与安全研究的 Claude
FutureHouse 及各类"AI 联合科学家"项目 — 自主研究智能体
里程碑
2020 — AlphaFold2：AI 首个诺贝尔级科学突破
2023 — GNoME 预测 220 万种新晶体；GraphCast 超越气象机构
2024 — AlphaProof 在数学奥林匹克达到银牌水平
2025 — 大语言模型达到 IMO 金牌水平；"AI 联合科学家"智能体生成经实验室验证的假设
2026 — Claude 发现专家多年未察觉的加密弱点；OpenAI 向 10 万名研究者开放前沿模型（均见我们的报道）
2026 年 8 月 — OpenAI 的 Astra 预览：智能体团队解决了数学与理论计算机科学的十个未解难题，证明可用 Lean 机器验证（见我们的报道）
2026 年 8 月 — 多位具名数学家就其中几项证明的署名提出异议；OpenAI 淡化了“十年毫无进展”的说法（见我们的报道）
2026 年 8 月 — 首批完全由 AI 设计的基因组：16 个能用的噬菌体，发表于《科学》（见我们的报道）
2026 年 8 月 — DeepMind 的 WeatherNext 气旋模型发表于《自然》，已被美国国家飓风中心投入业务使用，并以 Apache 2.0 开放权重发布（见我们的报道）
2026 年 8 月 — 一个未发布的 Claude 将黎曼猜想零点下界从 41.6% 提高到 67.2%，为有记录以来单次最大跃升，并附可机器验证的证明（见我们的报道）
2026 年 8 月 — Palomar 开放投稿：数学有了一个登记库，机器核验 Lean 证明，并由语言模型确认自然语言表述是否相符（见我们的报道）
迷你词典
联合科学家：提出假设并协助验证的 AI 智能体
基础模型：适配多种科学任务的单一大模型
基准测试：用于比较模型能力的标准化测试
该话题的新闻
机器学习读懂了患病脑细胞的形态，挑出九种已获批药物让它们平静下来
2026-08-21
美国食品药品监督管理局已批准 1357 款人工智能医疗器械。其中只有三款检验过患者是否活得更久或更好。
2026-08-20
机器写的证明多到数学家专门建了一个登记处——而它的两道检查里，有一道是由语言模型完成的
2026-08-20
人工智能没能治好癌症，原因也许是它的训练数据几乎没有一份来自人体组织
2026-08-19
一个通用聊天机器人自己操作了专业蛋白质工具——两家外部实验室确认这些分子确实结合
2026-08-19
今年冬天，英国将把大西洋上空的飞机挪开——为了不让它们画出锁住热量的云
2026-08-18
关于智能爆炸失控的争论，本质上是一个方程式的主张。一位牛津哲学家把它算了出来。
2026-08-18
世界上获奖最多的两位数学家审视了AI真正能解决什么，最后落在了同一块缺失的拼图上
2026-08-17
他们造出一个从未读过五年级以上内容的语言模型——然后发现自己教不会它更多东西
2026-08-16
一位菲尔兹奖得主写下了 AI 在数学上真正擅长什么——以及它唯一「闻不出味道」的那件事
2026-08-12
OpenAI 承诺给 10 万名研究者免费使用前沿模型，第一轮却变成了抽签
2026-08-12
一家宣称医学研究「100% 人工撰写，绝不使用 AI」的公司，从头到尾都是 AI
2026-08-12
读起来像AI写的申请书更容易拿到NIH的钱——但提出的问题更小
2026-08-12
Anthropic 让一个未发布的 Claude 去攻黎曼猜想。它没证出来——却把已知最好的下界几乎翻了一倍。
2026-08-11
两个来自竞争实验室的AI模型被问了同一道悬了25年的工程难题，都交出了证明——而且是两份不同的证明
2026-08-10
美国政府想要你的数据、你的模型或你的微调成果——Genesis首个截止日期是8月14日
2026-08-09
多出一天的预警时间：DeepMind开源气旋模型，美国国家飓风中心已在使用
2026-08-09
Jeff Dean 公开了自己创业公司的融资演示——投资方里有 Alphabet
2026-08-08
数学家称：OpenAI 的 AI 证明用了他们的成果，却没有署名
2026-08-08
AI 从零写出 16 个能用的病毒——研究已通过《科学》同行评审
2026-08-07
为什么Erdős难题接连被AI攻克——数学家们怎么看
2026-08-06
两个团队把同一道难题交给同一个 AI，论文相隔 3 小时先后上线
2026-08-03
菲尔兹奖得主Jacob Tsimerman将加入OpenAI研究AI安全
2026-08-02
OpenAI实地报告：编程智能体让真实科研软件提速最高60倍
2026-08-02
OpenAI 预告新模型家族 "Astra"——智能体团队花约 2000 美元解决了十个数学未解难题
2026-08-01
35国调查:88%的大学生在用AI——但多数人说没人教过他们怎么用
2026-07-31
教师AI的首个课堂随机试验:省了时间,却挫伤了学生的学习动力
2026-07-31
OpenAI向10万名学术研究者免费开放前沿AI
2026-07-31
Claude发现了专家多年评审都遗漏的加密算法弱点
2026-07-31
在App中阅读——免费，9种语言