{"taskid":"08cac496dfa93874dd7d16893038da16b0d2dbc92f844d09512ca0cc78c03b46i0","node":"t90","claimid":"fec47976eee091e93524e218d63d89d5998fb79d4d8fa654ff3cf25024ae13fei0","result":{"type":"triage","conjecture":90,"judgment":{"well_defined":true,"well_defined_reason":"对象与量词均在标准框架内固定：q 取遍有理素数（确定集合），E 为定义在 Q 上的椭圆曲线（『导子恰为 q』在同构下不变，故取同构类或取单条模型不改变真值），导子由 Néron 模型 + Ogg–Saito 公式定义为正整数；『存在无穷多个』是标准基数断言。全句无自由参数、无隐藏常数、无渐近记法，故良定义。括号内的等价改写（『素数导子曲线无穷多条』）与原句同义，但该等价依赖一条标准有限性：固定 N 时导子为 N 的 E/Q 只有有限多条（Shafarevich 有限性，现由 Faltings 的『固定有限坏约化集时只有有限多条』覆盖），因此『无穷多曲线』⇔『无穷多不同素数』。该有限性是定理而非待证事项，不构成定义上的循环。读法上唯一可能分叉处（E 是否允许取 Q̄ 上曲线）已由原句 E/Q 排除。故判 true。","finitely_refutable":false,"finitely_refutable_reason":"为 false。证伪『无穷多个素数出现为导子』必须证明其否定『只有有限多个素数 q 出现为导子』——这是关于余有限多素数的全称有限性断言，不能由有限反例完成（本命题不是『存在某对象』型，故不存在单点反例）。有限计算只能做两件事：① 逐点见证正例——给定素数与显式曲线时 N=q 可经 Tate 算法/Ogg 公式机械核算（如 N=11 有三条、17、19、37 等；OEIS A217055 列出 10000 个此类素数）；② 在 [2,X] 内列出尚未出现为导子的素数——②与『X 之后仍有素数出现为导子』完全相容（Howe–Joshi 更预期素数导子在素数中密度为 0，即稀疏但不有限）。要证伪须给出结构性排除（例如证明存在无穷多个素数 p 无论如何都不是导子），这是无穷长论证。注意方向不对称：单点『是导子』可有限验证，而本命题的可证伪方向不可有限化。","known_conflict":"none","difficulty":5,"importance":3},"route":"literature","route_note":"route=literature 指本命题的判定路线（对照已知文献谱系；本命题是公开问题，有界搜索不适用——见末段），而它若被解决，其数学形态是 structural（构造无穷多个素数导子族）；两层分开写，避免把『判定依据』当成『求解路线』。① 无条件已知面：Howe–Joshi《Asymptotics of conductors of elliptic curves over Q》(arXiv:1201.4566) 用二次判别式族 + Iwaniec 定理证明『导子集合含无穷多个几乎素数(almost primes)』，但没有给出任何素数导子的无穷族；素数导子的密度只在强 Cohen–Lenstra 假设下给出显式上界，且作者明确猜想『素数导子在素数中密度为 0』。密度 0 与『有限多个』相容，故该猜想既不推翻也不支持本命题的无穷性——这是最容易被误读成反例的地方，特此钉住。② 结构性路径（成立即得结论）：Setzer (1975, J. London Math. Soc., doi:10.1112/jlms/s2-10.3.367；OEIS A217055 注记转引) 证明 p=u²+64 为素数时恰有两条 E/Q 以 p 为导子（u 必为奇数，故 p≡1 mod 8；实例 p=73,89,113,233,353 均出现在 A217055 数据中，与注记自洽）。于是『形如 u²+64 的素数无穷多』（Bunyakovsky 型，未解决）⇒ 本命题；这把它降到另一个未解猜想上，是 difficulty=5 的主要依据。③ 数据面：Brumer–McGuinness 数据库列有 310716 条素数导子曲线；Bennett–Gherga–Rechnitzer 数据库（OEIS A217055，10000 项）最小者为 11，且导子 <11 的 E/Q 不存在（故 2、3、5、7 不是导子）。数据与『无穷多』相容，未见反例、未见有限性定理，故 known_conflict=none。④ 有界否定声明（反方席口径）：本次文献面只覆盖 arXiv API 关键词检索（'prime conductor' 命中 15 条，逐条读题名，并读 Howe–Joshi 摘要全文）、OEIS 检索（A217055 / A359480 / A363793）与链上试点材料；未做付费数据库与全文级覆盖。故『未见冲突』是在此覆盖面内的有界否定，不是全域证明。⑤ 难度/重要性口径（供复核撞）：difficulty=5 的正面依据是无条件方法目前只到几乎素数（①），而最可行的条件路径自身压在未解决的 Bunyakovsky 猜想上（②）；我考虑过的弱化读法『既然只差一个素数多项式定理，应记 4』不采纳——该定理未解决，且 Neumann–Setzer 型族只覆盖 p≡1 mod 8 一支，不构成通例。importance=3 的依据：它属『素数导子的集合结构与密度』类问题，关系到模性对应下素数 level 的 newform 存在性与 J_0(p) 的有理商，并驱动上述数据库工作；升到 4 的理由是它是 Langlands 框架下被反复引用的经典公开问题——不采纳，因为它不是 BSD / modularity 级别的纲领性猜想。⑥ 为何不走 bounded-search：任何有限窗口只能产出见证或稀疏计数，且按①的猜想素数导子密度趋于 0，窗口内计数只会越来越稀；有限数据既不能支撑也不能否证无穷性，故不选 bounded-search（也因此不附 bounded 段）。","hash":"e89896e4cb064df76f66df7b68b1ce2f9636c588b9f15feddb990772c7fe2535"},"hash":"fd2585468479d8b91523dea03014345760e277e78beb95588ed14f45fe78a381","childids":[]}