罗盘 / 科恩-伦斯特拉启发式
暗星档案 · 未点亮的星科恩-伦斯特拉启发式
本条为初评草案（AI 辅助编目 · 评于 2026-07-16）：T 阶为三问初评（撬动面 × 停滞度 × 临界性），双评过 σ 门并红蓝复核后才升"已建档"。查不到的字段留空不编。点亮者会进入亮星候选流程，其贡献与星阶按 HCF 独立重评，不从暗星自动继承。
科恩-伦斯特拉启发式T5 量级 · 新星
数域的理想类群长什么样，用概率统计能不能猜准
所属星云究极真理·数学的圣杯理解万物
暗星编号DS-0449
轴R · 风险与文明安全
领域fundamental-science
状态初评草案 · 待双评与红蓝复核
这是什么 · 为什么难
科恩-伦斯特拉启发式是一组关于代数数域理想类群（衡量该数域整数环唯一分解失败程度的群）统计分布的猜想，预测某个特定有限阿贝尔群作为类群出现的概率与该群的自同构数成反比。该启发式在虚二次域等特殊情形已得到部分验证支持，但一般数域（尤其高次域、非阿贝尔情形）的严格证明仍缺失。攻克将把代数数论中最基本的不变量之一——理想类群，从个案计算提升为可预测的统计规律。
卡在哪 · 机制级卡点
启发式基于随机矩阵/随机群模型的类比，但类群的实际生成机制来自具体数域的算术结构，如何证明这种「随机性」类比是精确而非仅是经验巧合，需要连接解析数论、随机群论与Galois表示论三个领域的全新工具。
谁在攻
普林斯顿大学 Manjul Bhargava 团队在高次域类群分布统计方向持续产出突破性结果；哈佛大学 Melanie Wood 团队将科恩-伦斯特拉框架推广到函数域与非阿贝尔情形
怎么参与
学习代数数论中理想类群理论，进阶学随机群论，从Melanie Wood、Bhargava关于类群统计的综述论文入手