William Banks 将 OpenAI 的 Landau–Siegel 证明重写为显式常数版本：对所有 q ≥ 3 得到 (1−β) log q ≥ 0.003

William D. Banks 于 10 月 11 日发布对 OpenAI Landau–Siegel-zero 证明的独立数学重构：保留原 AI 稿件的 interpolation-determinant 核心思想，但把论证整理为直接证明并给出显式常数。对 primitive real Dirichlet character，先得到 q₀=10¹⁰、δ₀=3.0×10⁻³；再结合 Lu–Zaman–Zhao 的有限范围计算，把结论扩展到所有 conductor q≥3。Banks 明确说明 underlying ideas 来自 OpenAI manuscript，而 explicit constants 与 presentation 是新的。该工作把一次大模型提出的高影响数论论证推进到人类专家可逐步审阅、可比较具体常数的形式，但当前仍是 preprint，并不等于社区已完成独立同行评审。