Manifold 开盘:非 MF 群能否在本月被证明,概率 36%

Sauers_ · x · 2026-09-06

Manifold 预测市场开盘「本月（8 月）是否会出现有限表现离散 MF 群的证明」：若成立，将否定「所有群都是 MF」这一群论长期悬而未决的圣杯级问题。GPT 5.6 Sol 将问题等价表述为「能否用有限维酉矩阵按算子范数误差忠实逼近每个可数群」。市场当前概率约 36%，市场创建者自称掌握公开可得的信息并押注 YES。评论区称网上已出现多个候选证明，但创建者表示要等数学家验证后才结算（8 月内写出、验证延后仍算 YES）。