前沿大模型成功证明非sofic群的存在

repligate · x · 2026-08-01

推文讨论了前沿大模型在高级数学证明领域的最新突破。在相关论文正式发布前夕，现有的模型（如 Fable 和 5.6 Sol）已经成功证明了非 sofic 群（nonsofic groups）的存在。

这些模型在证明过程中采用了不同的技术路径：例如 Astra 使用了前缀几何（prefix geometry），而 Sol 和 Fable 则使用了显式矩阵代数。两者都将有界中位数归一化（bounded median normalization）和余面积扩展（co-area expansion）作为核心策略。此外，Sol 和 Fable 仅用有限数量的生成元和关系就定义了一个新的无限非 sofic 群。