尽管人工智能在数学证明领域取得显著成就，但其在科学创新中仍存在根本性局限。Google DeepMind 研究员 Tom Zahavy 在 ICML 2026 发表论文《LLMs can't jump》指出，大语言模型缺乏科学发现所需的关键能力——溯因推理，即从新现象提出新假设、新概念的能力 。皮尔士将推理分为三类：…
