Pharos AI 系统参与计算稳定曲线模空间第 15 上同调，作者报告已理解主要方法但尚未逐项核算

Sun Zeming、Gao Guoxiong 与 Liu Shurui 在 Hexagon 发表代数几何研究，报告利用 Pharos 系统给出所有亏格及标记数下稳定曲线模空间第 15 上同调的表示分解重数公式，并声称在该情形证明广义 Hodge 猜想。披露说明 Pharos 负责主要数学研究与草稿，作者审阅了关键数学工具和证明路线，但未逐一核对组合分类和计算细节；未提供整项结果的独立专家核验或 Lean 形式证明。