突发！让张益唐苦熬7年的雅可比猜想，Fable 5竟一夜推翻证伪
突发！让张益唐苦熬7年的雅可比猜想，Fable 5竟一夜推翻证伪这一天，整个数学圈震撼了。
来自主题: AI技术研报
8987 点击 2026-07-21 10:52
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
这一天，整个数学圈震撼了。
一页纸，啃下了一篇要用44页顶刊论文才啃动的硬骨头。
最近，世界人工智能大会上，中科闻歌磐石 ScienceOne 团队一口气亮出两张王牌：专攻科学场景下深入理解、预测与生成的科学多模态统一推理模型 —— S1-Omni；以 S1-Omni 为基座、贯穿整个科研生命周期的智能化服务平台 —— ScienceOne。
人工智能（AI）模型在科学发现中的角色，正经历着一场从「工程缝合者」向「智能推演者」的深刻蜕变。
WAIC 2026，上海 AI 实验室发布了「书生·端砚」科学发现平台，有望为长期存在的科研结构性矛盾提供一种新的思路与解决方案。区别于行业内多数产品依托大模型适配科研场景、实现浅层提效的优化模式，「书生·端砚」以干湿实验闭环迭代、科研资产沉淀为核心能力，补齐 AI 科研缺失的真实场景反馈链路，推动 AI 科研应用从单点效率优化，迈向科研范式升级的全新阶段。
科学研究正在迎来一个新的阶段。
昨儿刚出的GPT-5.6，用不到一小时，就完成了一道存在了半个世纪的图论猜想证明。而这道题呢，来头也还真不小，就是大名鼎鼎的循环双覆盖猜想（Cycle Double Cover Conjecture）。
6月30日晚，AI龙头Anthropic推出了专为科学研究打造的新产品Claude Science，这是一款类似于编程工具Claude Code的AI工作台。简单来说，Claude Science是一套专门为科研需求打造的多智能体架构，能自动生成多个子代理并分配他们进行科研任务。
Google 将开始通过其云服务提供软件公司 SandboxAQ 的专业人工智能模型，扩展企业和研究机构对旨在加速药物发现、材料科学和半导体制造技术的访问。SandboxAQ 是 Alphabet 的分拆公司，是越来越多致力于利用 AI 解决棘手研究问题的公司之一。
就在外界惊呼“AI快要接管纯数学研究”之际，一场限制条件极其严格、并由30位数学家以匿名方式进行评审的数学测试，却揭开了AI数学能力的另一面：AI不仅会幻觉、会跳步骤，甚至还把数学家论文里的关键论证几乎原样照搬，却忘了注明引用。