非 sofic 群

Non-Sofic Groups

构造出明确的非 sofic 群，否定了 Gromov 于 1999 年提出的著名猜想——所有可数群都是 sofic 群。多位数学家评价这已达到菲尔兹奖级水平。

问题背景

Sofic 群：度量近似可解的群

Sofic 群由 Gromov 于 1999 年引入，直观上是可以被有限置换“任意程度地近似”的可数群。这个概念与 Gödel 可计算性、L² 不变量、Kaplansky 单位猜想等一系列深层次问题紧密相连。

一个自然的猜想是：所有可数群都是 sofic 群。由于 sofic 群类包含几乎所有实践中遇到的群（可解群、线性群、可残留有限群……），这个猜想被视为泛代数与动力系统的“后花园”，一旦成立能立刻推广大量定理。

核心突破

Astra 构造出明确的非 sofic 群，一举否定了“所有可数群都是 sofic 群”的猜想。此前学界连是否存在这样的群都不得而知，更没有人给出过可验证的显式构造。

这是一个反例：它说明 sofic 性这一性质比预想的更脆弱，也意味着所有依赖“所有群皆 sofic”推广的定理都必须重新审视。

多位数学家（如 Rutgers 大学 Alex Kontorovich）认为，这一结果单独来看已达到菲尔兹奖级别。

意义与影响

非 sofic 群的存在让“sofic 群”从一个可能包罗万象的框架，收缩为一条需要精确定界的边界线。它直接影响 Gottschalk 猜想、超线性方程解的存在性，以及众多基于 sofic 近似的动力系统结果。

这也是本次十项成果中被公开讨论最多的一项——许多数学家将它与历史上“打破公认猜想”的经典反例相提并论。

验证与复现

该构造已整理进 249 页论文，并以 Lean 4 形式化。主要定理 sorry_count 为 0，任何研究者都可以在本地重跑证明，独立确认这一反例的真实性。

参考资料

本页内容主要整理自以下公开资料。成果仍需数学共同体长期审查，欢迎据此追踪原始文献与 Lean 证明文件。

本课题来自 OpenAI Astra 于 2026-08-01 公布的十项数学与理论计算机科学突破，编号 №03。想参与验证或深入研究，可加入 NiuMaAgent 社区 Fork 对应研究仓库。

NiuMaAgent 以 Apache License 2.0 开源协议发布。欢迎 Fork、提交 Issue，与全球科研人员共建 AI4Science 生态。