新闻资讯8

中国AI打破300年亲吻数难题

量子位2026-02-14

AI 摘要

上海科学智能研究院等团队：用PackingStar系统打破300多年的亲吻数难题，刷新多维度纪录。其将难题转化为多智能体博弈，体现AI for Science 2.0特质，助力科学家探索。

关注公众号

扫码关注
第一时间收到每日精选

公众号专辑

AI科学发现，验证是卡脖子问题

本文整理自PAIR Conference 2026下一代科学发现论坛圆桌讨论，多位跨学科青年学者围绕AI科学发现结果的验证难题，从不同领域验证成本、方案设计、失败排查等维度展开深入探讨。

本文报道菲尔兹奖得主陶哲轩发表《数学2.0》演讲，梳理近期AI接连攻克重大数学难题的进展，提出AI将数学带入证明过剩的新时代，警示人类不能丢失对数学的理解，呼吁人机合作增强认知。

本文带来谷歌新发布Gemini 4 Argon大模型的多场景实测，对比竞品性能价格，验证其物理推理能力，同时曝光该模型现存问题。

清华大学电子工程系团队在AI for Science领域取得两项新进展，提出可复用的智能体符号回归运行时框架SRHarness，构建机制发现评测基准MechBench，推动AI科学发现从拟合观测走向理解机制。