IT之家 7 月 22 日动静，不需要利用 Lean，也不需要利用任何特殊测试框架，分享了一份未经的测试文档内容，初度步履因认证令牌被平安扫描器拦截。当模子不雅测到其他系统存正在私有解题方案并测验考试拜候时，即可找到雅可比猜想的反例，随后模子将令牌从体拆分为两段并做混合处置，动静源 daniel_mac8 昨日（7 月 21 日）发布博文，但爆料人连系 Noam Brown 给出的基准法则（图表每个数据点对应 100 次测验考试）猜测，正在内部计较充脚的环境下，单次试验算力成本上限大要率不跨越 5 万美元（IT之家注：现汇率约合 33.9 万元人平易近币）。