Logical Intelligence 用 AI 攻下 31 年未解的 4 维流形拓扑难题

burny_tech · x · 2026-09-24

Michael Freedman(菲尔兹奖得主)在 Logical Intelligence 的 Discovery Team 宣布,数学家 Slava Krushkal 证明了某些 Sturmian 群是 'good groups',把 4 维流形手术理论适用的基本群范围推进一步——这是自 1995 年 Freedman 与 Teichner 以来该前沿 31 年来的首次推进。公司称该成果结合了人类数学直觉与其自研 Aleph 推理架构(探索、形式化与验证),并展望人机协作推理在材料、半导体、能源等领域的前景。这是 'AI for Science' 攻克硬数学问题的标志性案例。