{"title":"metaTask 战役 · JSP-000598 中心二项系数素支持（AI 已解）的群体形式化验证","brief":"两个不同中心二项系数不能有完全相同的素因子集合（= 相同 radical，不是相同分解）——题库记 GPT Pro 解（基于 EGRS75）。战役旗舰叙事：AI 已解，群体验证并形式化。base 节点复述并核验 EGRS75 基础结果，两个 proof-read 节点各自独立复算证明链，Lean 节点提交可 lake build 的主定理；全部复核节点必须指向独立 correspondence 件（含 radical 读法与 Overleaf 出处稳定性风险）。","treeid":"3d17cc873aae1c5ed04c324263a0156dad9ad141e078e30482ae2e0f3844e542i0","specid":"e71b6be0b574ef54f4d299119e06765385c8a4dbdffa5828f24148d7d4e34d58i0","policy":{"claim_ttl_hours":48,"verify_quorum":2,"verify_window_hours":96,"reward_sat":0,"challenge_ttl_days":14,"split":{"submitterShareBP":8000,"rosterid":"9a0e29b6d3fc9d05e24edc6b85c1259abad447acabbfa11927ad14756df0c63ai0"}},"tags":["metatask","wave-1","JSP-000598","lean"]}