正在加载文章内容…
文章内容加载失败
正在加载文章内容…
文章内容加载失败
0
规则总纲：本清单全部课题的准入、攻防、防火墙、裁决、义务、禁令等一切规则，见《无显择有》三宗全体系证伪悬赏方案（V9.0）。本清单仅释放课题，不另立规则；全部课题与V9.0 §五所列140项课题适用完全同一套条款（§三自选课题规则、§四防火墙协议、§六证伪规则、§七防御规则、§八裁决机制、§九核心禁令、§十最终原则）。如有冲突，以V9.0明文条款为准。
| 序号 | 证伪课题 | 金额 | 知识底座 |
|---|---|---|---|
| MB2-01 | 证明"虚无不可自持，必然显化为有"不成立：虚无可自持（给出无差别状态下不走向分化的合法逻辑模型），或三重门槛论证构成循环论证（指出前提中暗含"有"或"分化"的精确步骤） | ¥10,000 | 存在论、逻辑学、公理系统 |
| MB2-02 | 证明"本在/言在"区分自我瓦解（预设认知优先），或三大铁律（忠实律、回溯律、边界律）之间存在两两矛盾，或击穿"地图≠疆域"既有防御（证明该回答不成立，而非重复提问） | ¥10,000 | 语言哲学、存在论、体系逻辑 |
| MB2-03 | 证明"时间非第一性"推演为循环论证：指出"归无倾向→变化→刻度"链条中哪一步已预设时间或时序 | ¥10,000 | 时空哲学、逻辑学 |
| MB2-04 | 证明六类伪问题中的任意一类，可在不预设任何派生概念的前提下被严格构造为合法问题 | ¥10,000 | 范畴论、语言哲学 |
| MB2-05 | 证明"虚实张力"任何合法定义都必须以时间或空间为隐含前提，从而使"张力逼出时空"成为循环 | ¥10,000 | 存在论、时空哲学 |
| MB2-06 | 证明"溯源显化法"与假说演绎法的差异仅为术语替换、无操作后果，或给出体系用观测数据反向修改底层公理的文本证据 | ¥10,000 | 科学方法论、哲学方法论 |
| MB2-07 | 以公开精度宇宙学数据（CMB+原初核合成+大尺度结构）给出重子占比联合约束，证明其以统计显著性落在[4.5%,5.5%]区间外 | ¥30,000 | 观测宇宙学、数据拟合 |
| MB2-08 | 找出一个已存在的观测量或已完成实验，使"空间真实膨胀"与"单元同步收缩"给出不同预言，且观测结果判本体系为错 | ¥40,000 | 宇宙学、相对论、观测映射 |
| MB2-09 | 给出一组公开观测现象（子弹星系团、CMB透镜、重子声学振荡），证明"静/动自由态两工况"框架无法在不引入新实体前提下复现该现象 | ¥40,000 | 天体物理、宇宙学、现象学建模 |
| MB2-10 | 二选一：（a）在本体系时间率场框架内证明奇点必然形成（内部逻辑攻击，须用体系公理推导）；（b）给出观测证据证明黑洞内部必须为奇点而非有限密度结构 | ¥40,000 | 黑洞物理、广义相对论、公理系统 |
| MB2-11 | 指出一个已完成、已发表的量子实验，使"碰"诠释给出与标准QM不同预言且实验判本诠释为错 | ¥40,000 | 量子力学基础、量子测量理论 |
| MB2-12 | 提交在受控、可核验条件下（脑电平直期确证性感知，独立第三方记录与时间戳）意识脱离结构而存在的严格证据；单一轶事、转述、回顾不构成有效攻击 | ¥50,000 | 意识科学、神经科学、临床研究 |
| 序号 | 证伪课题 | 金额 | 知识底座 |
|---|---|---|---|
| LB3-01 | 素数走廊归属定理：证伪路径二选一——（a）举出一个大于3的素数不位于6k±1走廊（直接反例即判死）；（b）证明体系的生成序推导暗中预设了2与3的素性或整除结构，构成循环论证（须指认预设出现的精确步骤） | ¥10,000 | 初等数论、逻辑学 |
| LB3-02 | 走廊镜像对穿定理：体系已证每个素数p>3在走廊指标k-空间中恰击穿两个镜像剩余类（k≡±a mod p，各恰一个）。证明存在素数p>3只击穿一个、或击穿三个及以上剩余类；或证明"恰两个"的计数推导在剩余系枚举上存在遗漏 | ¥20,000 | 初等数论、剩余系理论 |
| LB3-03 | 级-s幸存计数闭式定理：体系已证第s级走廊幸存计数精确等于 6·∏(p−2)（p遍历≥5且不超过第s级筛界的一切素数）。给出一个具体级s，以穷举计算证明实际幸存计数与该闭式不符——有限次机械计算即可判死，挑战者须公开全部代码与中间数据 | ¥30,000 | 组合计数、计算数论 |
| LB3-04 | 有限级非塌缩定理：体系已证任意有限级s的幸存密度严格为正。证伪路径二选一——（a）举出一个有限级s使其幸存计数为零（与LB3-03互证）；（b）证明密度正性推导依赖了未声明的隐藏假设（指认假设的精确位置） | ¥30,000 | 数论、筛法理论 |
| LB3-05 | 哥德巴赫走廊卷积三型定理：体系已证偶数N的(6k±1)+(6k±1)型表示通道恰由N mod 6决定，三型分解无遗漏、无重叠。举出偶数N≥6，其素数对表示落入体系三型分解之外，或体系错误禁止了某一合法通道型 | ¥20,000 | 初等数论、同余理论 |
| LB3-06 | 通道因子2:1:1定理：体系已证三型通道的结构权重比恰为2:1:1（无条件定理）。证伪路径二选一——（a）证明该权重推导偷换了"通道计数"与"表示计数"两个概念（指认偷换的精确步骤）；（b）给出使比值结构性偏离2:1:1的反例构型 | ¥20,000 | 解析数论、组合数学 |
| LB3-07 | 均值覆盖定理：体系已证哥德巴赫表示数均值满足 ≫ N/log²N 的无条件下界。指认该无条件推导的具体断裂步骤——如求和换序不合法、误差项淹没主项、或某一步暗中引入了未证明的分布假设 | ¥40,000 | 解析数论 |
| LB3-08 | 结构性色散定理：体系已证逐点表示数r(N)的波动不是随机噪声，而是由N的小素数因子经通道因子∏_{p‖N}(p−1)/(p−2)结构性放大。数据型判死路径：对公开可计算的r(N)全区间数据（建议N≤10⁸，方法须为公开手段）做控制均值趋势后的方差分解，证明波动与上述通道因子无统计显著相关，即波动确为纯随机噪声而非结构 | ¥30,000 | 计算数论、数理统计 |
| LB3-09 | 对角线第四形态缺失定理：体系已证康托尔型对角线构造在体系三条件下只有三种合法形态，第四形态结构性缺失。证伪路径二选一——（a）构造出满足体系全部前提条件的第四种对角线形态；（b）证明三形态枚举本身遗漏了合法情形（指认枚举分支的精确缺口） | ¥30,000 | 数理逻辑、集合论 |
| LB3-10 | 裂缝同一性定理：体系已证"验证不等于生成"（Verify⇏Generate）与"直接导航结构性缺失"（DirectNavigation缺失）是同一条裂缝的两个显影，而非两个独立事实。给出一个合法模型，使二者在该模型中一个成立而另一个不成立，从而证明同一性命题不成立 | ¥30,000 | 计算复杂性理论、证明论 |
| LB3-11 | 三边界统一结构定理：体系已证停机问题、哥德尔不完备、P/NP方向被统一为"授权≠穷尽"的同一结构。证明该统一仅为修辞类比：三者中任意两者在体系自身的形式定义下不存在共同结构定理；或证明"授权≠穷尽"判据在其中某一边界上失效 | ¥30,000 | 数理逻辑、可计算性理论、复杂性理论 |
| LB3-12 | 硬度守恒定理（搜索熵守恒）：体系已证任何分解方法的搜索空间缩减，必以等量的结构信息输入为代价，无免费硬度蒸发。给出一个分解算法，使其总搜索熵低于体系声明的下界，且不引入体系定义之外的免费结构信息；或证明该下界推导是循环论证（下界定义已预设结论） | ¥40,000 | 计算复杂性理论、信息论 |
| LB3-13 | 谱平衡阈唯一性定理：体系已证在双态余衡公理下，谱残差无指数漂移的平衡阈唯一等于1/2。证伪路径二选一——（a）在体系双态公理内构造另一常数σ≠1/2同样满足平衡阈的全部条件；（b）证明1/2的逼出过程是循环的——推导中某一步已预设临界线位置（指认精确步骤） | ¥30,000 | 解析数论、公理系统方法 |
| 序号 | 证伪课题 | 金额 | 知识底座 |
|---|---|---|---|
| LB4-01 | 13唯一塌缩定理（定理A）。判死路径三选一——（a）举出奇素数p≠13具有塌缩性质：C(p)>0且Cne(p)=0（有限计算反例即判死，须公开代码与输出）；（b）举出(x,y)∈(F₁₃×)²满足χ(1+x²)=χ(1+y²)=χ(x²+y²)=1但x²+y²≠−1 (mod 13)，即击穿p=13塌缩本身；（c）指认解析排除链的断裂：Weil界|J(p)|≤2p√p的引用不合法，或初等项T_S求值有误，或边界贡献≤64p的计数有缝，致使排除区间{101及以上素数}覆盖不全（给出具体步骤与正确推导） | ¥30,000 | 解析数论、有限域、特征和 |
| LB4-02 | 孪生Saunderson族封顶定理（定理C）。判死路径二选一——（a）举出本原勾股三元组(u,v,w)使R(u,v,w)=16w⁸+((3u²−v²)(3v²−u²))²为完全平方（直接构造反例，等价于给出孪生Saunderson族完美长方体）；（b）攻破秩零证书：给出椭圆曲线E: Y²=(X−6)(X−10)(X+10)的一个无限阶有理点（附高度与独立性证书）；或证明完全2-下降的64候选筛中某一被否类(d₁,d₂,d₃)实际在R、Q₂、Q₅皆局部可解（给出该类的局部解证书）；或证明条件链恒等式(AB)²+(AC)²+(BC)²=(uv)²·R(u,v,w)不成立（给出一组代入数值不等的反例） | ¥50,000 | 椭圆曲线、2-下降、丢番图方程 |
| LB4-03 | Saunderson型完美长方体不存在（公示稿主定理1.1）。判死路径二选一——（a）举出本原勾股三元组(u,v,w)使w⁴+16u²v²为完全平方（直接构造反例）；（b）攻破伴随曲线E: W²=T³−9T²+20T的秩零证明：给出E的无限阶有理点；或给出齐次空间N²=2M⁴−9M²e²+10e⁴（b₁=2类）或N²=10M⁴−9M²e²+2e⁴（b₁=10类）的一组本原整数解（二者任一可解即击穿α(E*)=2）；或证明b₁<0四类右端恒负的论证失效；或指认椭圆曲线化命题4.1/4.2的双有理等价链有断裂 | ¥40,000 | 椭圆曲线、2-同源下降、初等数论 |
| LB4-04 | 完美长方体必要条件总成（定理D三条）。判死路径三选一——（a）举出一块本原Euler砖(a,b,c)使a,b,c中至多一条被3整除（直接判死）；（b）举出一块Euler砖(a,b,c)使a,b,c均不被5整除（直接判死）；（c）攻破13筛：证明"13∤a·b·c·d_ab·d_ac·d_bc·D的完美长方体"不与定理A矛盾——即指认归一化到F₁₃构型的映射不合法（须证明某条面对角线条件在该归一化下不能化为对应的Legendre条件，或映射遗漏了13|abc但13∤D的合法情形） | ¥20,000 | 初等数论、模算术 |
| LB4-05 | 构型计数认证公式的数值证书（数据卡）。判死路径：举出一个素数p<500，使四段公式(4.2)给出的32V(p)与暴力枚举的C(p)/4不符，或使J(p)闭式(4.4)与全和三重特征和的暴力计算值不符（一处不吻合即判死，须公开代码）。注意：本课题攻击的仅是p<500数值证书；公式的完整Jacobi和证明纲领（O-T1）为体系明示的未闭合目标，不在本课题攻击范围内，以"证明纲领未走完"为由的攻击无效 | ¥10,000 | 计算数论 |
| 序号 | 证伪课题 | 金额 | 知识底座 |
|---|---|---|---|
| LB5-01 | 局部平方膜精确层定理群（保真性定理5.1＋精确计数定理6.2＋CRT乘法定理7.2＋窗口候选定理9.1；QR-wheel终端层同构定理群）。判死路径（对应原文预注册可证伪条件F1/F2/F3，任一成立即判死）——（a）举出奇半素数N与奇素数ℓ∤N，使枚举得到的|Sℓ(N;t₀)|≠(ℓ+χℓ(N))/2；（b）举出奇半素数N=pq与ℓ∤N，使真实偏移x=(p+q)/2−⌈√N⌉满足x mod ℓ∉Sℓ(N;t₀)（保真性被击穿）；（c）举出两两互素探针集L，使联合膜大小不满足乘法结构|S_L|=∏|Sℓᵢ|。以上均为有限计算判死，挑战者须公开全部代码与输出。或（d）指认证明链断裂：引理6.1特征和求值、n₀=1+χ_ℓ(N)的解数计数、CRT笛卡尔积同构三步中任一步不成立（给出具体步骤与正确推导） | ¥20,000 | 计算数论、二次剩余理论、CRT |
| LB5-02 | 固定探针平均保留率定理与距离支配判断（定理8.1/8.2：固定探针集L下E[ρL(N)]=2{−K}+o(1)；终端判断：固定\|h\|与wheel配置时终端平方测试数不随log₂N指数增长）。判死路径（对应原文预注册可证伪条件F4/F6）——（a）数据型：在固定探针集合与充分大随机半素数样本下（样本量、区间、探针集须在攻击声明中预注册），观测平均保留率系统性偏离2{−K}，且偏离无法由边界项O(M_L)、短区间效应或样本偏置解释（须给出完整统计检验报告与代码）；（b）数据型：在固定|h|与固定wheel配置下，给出终端平方测试数量随log₂N呈指数增长的实测证据（须排除单次大整数运算成本增长的混淆）；（c）逻辑型：指认渐近推导断裂——χA=∏χℓᵢ为模Q_A非主二次特征的判定错误，或"固定模下素数在可逆剩余类渐近均匀分布⇒E[χA(p)]=o(1)"一步不成立 | ¥20,000 | 解析数论、概率论、实验设计 |
| 序号 | 证伪课题 | 金额 | 知识底座 |
|---|---|---|---|
| AI7-01 | 在《证据状态计算候选理论》印刷规则（式(6)(7)(8)(9)及七宏门展开式(11)）定义的合法迁移内，构造反例击穿五条元定理之一：①给出使证据链丢失既有证据对象的合法迁移序列（击穿证据守恒）；②在同一主张同一语义域、proof级反例证据持久存在下，给出FS/DP→CV/OC的合法迁移序列（击穿不可洗白）；③在无proof级授权见证（历史上亦从未存在）的条件下，给出从真实可达的BK状态到OC的合法迁移序列（击穿见证解阻必要性）；④证明投影π在终态截面{OC,CV,FS,DP}上丢失真值（击穿投影定理）；⑤在§5.5所列受限配置（证据恒proof级、复核恒通过、边界为空、缓存禁用、状态只落终态截面）下给出使π(WBC(x))≠Bool(x)的判定问题（击穿保守退行）。合法迁移仅限印刷规则；x、D不变；证据对象不可变；自造新规则不构成攻击 | ¥20,000 | 形式语义、状态迁移系统、逻辑门模型 |
| AI7-02 | 在公开最小场景（开源模型+LoRA/SFT/对齐训练，anchor task集公开）执行《致AI单位技术交流备忘录》印刷协议：计算χt、D𝒜、E_unauth，按§7.6做分位数分箱（默认基准值0.5×/1×/2×扫描），证明旧能力损伤不随上述变量排序（高分箱失败率不显著高于低分箱），或证明加入更新授权门后旧能力保护无改善（击穿C-1，即R-1/R-2残差排序主张） | ¥20,000 | 持续学习、对齐税、梯度子空间分析 |
| AI7-03 | 在公开CoT/ToT/agent trace场景中计算δk、ΔH_k、Δv_k与继续展开授权分数q_k，证明"推理链冗余集中于δk≈0、ΔH_k≈0、Δv_k≈0的后段token"不成立，或证明裁剪低q_k区间显著损伤最终答案质量且无成本收益（击穿C-4，即R-6残差排序主张） | ¥10,000 | 推理效率、早停机制、思维链分析 |
| AI7-04 | 在开源tool-use基准上检验工具调用错误样本，证明错误不集中于（语言置信l_t高、前提匹配s_t低、风险r_t高）窗口，或证明s_t、r_t、b_t对错误无排序能力，或证明错误主要由工具不可用/外部环境异常解释（击穿C-5，即R-5残差排序主张） | ¥10,000 | Agent工具调用、function calling、执行安全 |
本批说明：本批四项不是体系防御最厚的墙，而是体系自己在原文中预注册的外部判决口——证伪它们需要大尺度巡天、超重元素合成、高精度量子化学或纳米限域实验，成本远超悬赏金额；但一旦证伪成立，体系相应主线必须按原文自书的后果降级、重写或撤回。我们把这四把刀放在桌上最显眼的位置：这是诚意，不是漏洞。
| 序号 | 证伪课题 | 金额 | 知识底座 | 证伪成立的后果（原文自书） |
|---|---|---|---|---|
| HP-01 | Z=164/168超重窗口。判死路径二选一——（a）以高精度相对论量子化学计算（多参考/耦合簇级别，须公开方法、基组、相对论修正与全部中间数据）系统显示：8p₃/₂未退出主要化学活性窗口，且Z=164完全无惰性、半惰性、价态压低或稳定性异常；（b）超重元素合成实验对该窗口形成系统性排除 | ¥50,000 | 相对论量子化学、超重核合成 | "Z=164超重预测必须降级或撤回"（锁门泛函F-3）；"微观稳定岛主线"失败（NO-C16·FX-7） |
| HP-02 | 自由态暗晕r⁻²壳层。以SPARC级旋转曲线大样本＋弱透镜质量剖面＋卫星动力学（样本与统计规程须预注册）证明：壳层区不存在统计显著的ρ_f∝r⁻²（线性质量律）结构，大样本只支持NFW型剖面且无r⁻²区 | ¥40,000 | 星系动力学、弱引力透镜、大样本统计 | "自由态暗晕主线降级"（天文切口稿F-A5） |
| HP-03 | 限域水0.276n nm层化窗口。以纳米限域实验（中子散射/AFM/谱学）证明：限域水性质随孔径完全平滑变化，在0.276n nm附近无可重复的层化、扩散或谱学异常 | ¥20,000 | 纳米限域实验、界面水科学 | "限域水窗口失败"（锁门泛函F-4） |
| HP-04 | 哈勃双读法。以Planck/BAO/SH0ES及后续巡天的收敛测量证明：早期反推与本地距离梯度两通道收敛到同一共同值，且残余分布不存在(π/3)^{3/2}几何比值可容纳的余地 | ¥30,000 | 精密宇宙学、距离阶梯 | "双读法失败"（天文切口稿F-A4） |
| 批次 | 项数 | 金额合计 |
|---|---|---|
| 第二批·哲学母本专批（MB2） | 12 | ¥300,000 |
| 第三批·数学律本专批（LB3） | 13 | ¥340,000 |
| 第四批·数学律本专批二（LB4） | 5 | ¥150,000 |
| 第五批·数学律本专批三（LB5） | 2 | ¥40,000 |
| 第七批·AI切口与工作层专批（AI7） | 4 | ¥60,000 |
| 第八批·高成本实验判决口专批（HP） | 4 | ¥140,000 |
| 本清单合计 | 40 | ¥1,030,000 |
| V9.0原有清单（第一批） | 140 | 见V9.0原文 |
| 全体系已释放总计 | 180 | —— |
（第六批为哲学·后哲学素材检校批，经检校未释放课题，故本清单无对应内容并入。）
V9.0 §三早已写明：本悬赏长期开放自选课题通道——任何挑战者可在已公开文本范围内自行锚定课题（已闭环锚定、主干直击、哲学可比性、公平攻防四类口径），按同一套防火墙与裁决条款提交攻击，有效攻击经裁决照样授奖。
因此，本清单不再承诺固定的后续批次整理。留给读者自行整理，是欢迎的：你认为哪里是裂缝，就自己锚定它、冻结它、提交它——我们按V9.0的规矩接。
四十个课题摆在这里，每一个的判死条件都是逐字冻结的。打形式定理的，规则全部印在纸上；打数据卡的，代码公开就是你的武器；打实验判决口的，巡天、对撞机、高精算做起来，做成了你拿走的不只是奖金——还有这套体系相应主线的降级书。
你赢，奖金是你的，感谢也是你的——你为这套体系做了一次我们做不到的检验；你没赢，你的工作不会白费——它会成为这套体系被世界验证过的一块石头。
验证体系，宣传体系，发展体系。门开着，规矩在墙上，刀在桌上。
本清单自发布之日起生效，与《无显择有》三宗全体系证伪悬赏方案（V9.0）同效；如有冲突，以V9.0明文条款为准。
长按或扫码识别 分享给好友
长按屏幕识别二维码
打开手机扫描二维码
