‹ 返回数学模型

数学模型

Ripple
2026-07-23 22:50:16

Ripple在XRPL原生借贷上线前测试底层漏洞

RippleX正与Common Prefix对XRPL原生借贷代码做形式化验证,覆盖XLS-66借贷协议和XLS-65单资产金库,重点排查常规测试难以发现的Layer-1级缺陷。

360
Ripple在XRPL原生借贷上线前测试底层漏洞
GPT-5.6 Pro
2026-07-23 04:37:09

GPT-5.6 Pro 找到图论猜想反例,公开对话仅 58 个英文单词

图论领域存在近 30 年的 Dinitz-Garg-Goemans 猜想,被 GPT-5.6 Pro 给出的一个 7 节点、9 条有向边反例击穿。研究者 Dmitry Rybin 在公开论证过程中只输入 4 条提示词,共 58 个英文单词。模型最终交付示意图、4 页证明证书、穷举验证程序、机器可读数据和 LaTeX 源码,核心矛盾落在猜想要求的负载上限与成本下限无法同时满足。

340
GPT-5.6 Pro 找到图论猜想反例,公开对话仅 58 个英文单词