{"taskid":"08cac496dfa93874dd7d16893038da16b0d2dbc92f844d09512ca0cc78c03b46i0","node":"t87","claimid":"aa2db88ebc370721a0f956927ad3b4870c8121fa8b6738432f63b8c8727fb32fi0","result":{"type":"triage","conjecture":87,"judgment":{"well_defined":true,"well_defined_reason":"命题为『存在无穷多个实二次域 Q(√d)（d>0 无平方因子），其整数环 O_K 关于整体欧氏算法构成欧氏整环』：对象（实二次域、O_K）、量词（∃无穷多 d）与谓词（Euclidean domain 的标准定义）均为代数数论的既定概念，无自由参数、无隐藏常数，故良定义。唯一需在读法上固定的是『整体欧氏算法 / full Euclidean algorithm』：指存在某个满足欧氏性质的函数 δ: O_K\\{0} → ℕ_{≥0}（不强制为 |N|）——这正是本命题与『范数欧氏 norm-Euclidean』的分野，也是文献通行读法（Harper 2004 在 Q(√14)、Clark 1994 在 Q(√69) 均按此读法给出欧氏性证明），故不产生歧义。","finitely_refutable":false,"finitely_refutable_reason":"为 false。本命题是『无穷多个』的存在性断言；又欧氏整环必为 PID，故它蕴含『存在无穷多个类数为 1 的实二次域』——而后者（实二次域 Gauss 类数一问题）至今是公开问题。任何有限计算只能逐 d 验证正例（给定 d 时类数 h(d) 可算，h(d)=1 时其欧氏性亦有判据），无法断言『只有有限多个』；要证伪必须给出有限性定理（如证明 d 超过某界后一律非欧氏，或证明类数 1 的实二次域只有有限多个），这需要无穷长的论证而非一个有限反例，故不是有限可证伪。","known_conflict":"none","difficulty":5,"importance":4},"route":"literature","route_note":"以文献谱系比对为主判定路径，不需要也不适用有限搜索。①范数欧氏侧：实二次范数欧氏域是有限个（经典清单 d = 2,3,5,6,7,11,13,17,19,21,29,33,37,41,57,73 共 16 个；『有限多个』这一结论本身是标准结果，但完整清单的原始论证链条我标注为需回溯原文核对），故若把猜想误读成范数欧氏即得假——本猜想明确排除该读法，必须按『整体欧氏』理解。②整体欧氏侧：Weinberger (1973, On Euclidean rings of algebraic integers) 在 GRH 下证明『单位秩 ≥1 且类数为 1 的数域，其整数环为欧氏域』，于是本猜想在 GRH 下等价于『存在无穷多个类数为 1 的实二次域』。③两类确有分别：Q(√14)（Harper 2004）与 Q(√69)（Clark 1994）是已知的无条件『欧氏但非范数欧氏』样例，且 14、69 都不在上面的范数欧氏清单内。④因此本猜想当前是公开问题：Cohen–Lenstra 启发式预测实二次域类数 1 占正密度（素数判别式情形约 0.75，该数值标注为需核），支持其为真，但无证明；文献中亦未见与之冲突的结果。结论：判定依据全部来自既有文献谱系；无条件推进需要新的解析/代数数论工具（等价地，需无条件证明无穷多个实二次域类数为 1）。","hash":"cf9e6b5125d7e2d1e4d5292e8fa655e8885777c01e7218a33b3fa5d70a5dec75"},"hash":"c0540112978e41aabcfee4eb39813aa3db099c36236727afff57005d3e2e455a","childids":[]}