GPT-6 Astra 与 Claude Opus 5.5 辅助给出 Landau–Siegel 零点论证的 Frobenius 行列式变体

Roelof van Dijk 于 10 月 20 日在 Hexagon 首发稿件，声称对 OpenAI 的 Landau–Siegel 零点排除证明提出独立简化：通过 Frobenius 同余同时提供 determinant 整除和非零信息，利用截断下最大惰性素数上的多项式根计数取代较重的 resultant / Wronskian 步骤。作者披露新论证在与 GPT-6 Astra、Claude Opus 5.5 对话中发现，主张这些推导应归因于模型；Hexagon 标注 human understanding no parts，未附完整 Lean kernel 验证或独立专家审核。此项是更早公开零点结论的独立替代推导，而不是将最初结论重新日期。