L(s, χ)
NUMBER THEORY · DOSSIER 002
Landau–Siegel 零点：从论文到证明复核
OpenAI · Banks · Kerr · Green：阅读五篇文献，比较证明路线，明确待验证范围。
文献专题 · 尚无本站验证报告A HOME FOR TRACEABLE DISCOVERY
让每一步发现
都有据可循
连接文献、数学问题与研究证据。清晰记录假设、人工核查与 AI 贡献，让探索过程能够被理解、复核与延续。
研究工作台 · 测试版SOURCE / 01从一个有出处的问题开始
CLAIM / 02标明假设与结论边界
EVIDENCE / 03把证据留在结论旁边
探索示范项目
教学案例与研究专题探索专题 ↗
n²+n+41
NUMBER THEORY · EXAMPLE 001
连续的素数，成立到哪里？
从40个素数值到一个精确反例：有限实验为何不是一般证明。
为研究过程建立清晰的记录
资料有出处
整理文献及原文定位，把命题和来源对应起来。
结论有边界
区分观察、猜想、定理与反例，记录核查状态。
证据可带走
保存私人项目，导出 JSON 和 Markdown 研究记录。
实验室与期刊审稿和录用独立。当前支持手动整理与云端保存；AI分析、PDF上传、在线计算和项目公开发布尚未开放。
研究工作台
私人项目 · 手动整理 · 云端保存；AI提取、PDF上传与在线计算暂未开放。
EXAMPLE 001 · NUMBER THEORY
连续的素数
与一个反例
点击步骤检查依据。此为预先核对的教学演示，不调用 AI、不运行在线计算，也未进行 Lean 验证。
f(n) = n² + n + 41 n = 0,…,39 → prime values n = 40 → 1681 = 41 × 41开始自己的项目 →
从文献走向可复核的研究
01 / OpenAI
原始论证
02 / Banks
显式常数与展开说明
03 / Kerr · Green
简化、变体与参数优化
04 / AIMD Lab
拟开展：命题映射与独立复核
此处整理的是文献作者的结论与研究路线，不代表本站已完成证明审核或 Lean 复核。一般零点问题与这里的实零点排除问题应分别讨论。
研究文献
点击条目展开贡献与复核任务01OpenAI · 2026-10-01Landau–Siegel 零点的一致排除
原始路线
Landau–Siegel 零点的一致排除
02William D. Banks · 2026-10-11 · arXiv:2610.15483关于 OpenAI 排除 Landau–Siegel 零点的证明
显式常数
关于 OpenAI 排除 Landau–Siegel 零点的证明
03Bryce Kerr · 2026-10-15 · arXiv:2610.21099不存在 Landau–Siegel 零点的一个更简洁证明
简化路线
不存在 Landau–Siegel 零点的一个更简洁证明
04Ben Green · v2 · Hexagon:2610.00311v2论 Landau–Siegel 零点
变体与优化
论 Landau–Siegel 零点
05William D. Banks · 2026-10-26 · arXiv:2610.31402v2基域上的 Landau–Siegel 零点与有效 Brauer–Siegel 定理
延伸阅读
基域上的 Landau–Siegel 零点与有效 Brauer–Siegel 定理
证明复核计划
先界定要验证什么
记录文献版本、定理编号、特征条件及常数依赖，逐项建立论文与形式化命题的对应。
固定环境，留下证据
收集 Lean 文件、目标定理名与依赖版本；分别记录构建结果、公理依赖和未覆盖部分。
结论需要对应论文
由核查人审阅形式化范围、额外假设和 AI 贡献披露。编译通过不等于全文已获验证。
本站状态：尚未导入本专题 Lean 文件，尚无运行报告，尚未完成人工审核。