AI 快讯列表关于 形式化验证
| 时间 | 详情 |
|---|---|
|
2026-08-18 17:13 |
AxiomProver验证BGP246定理突破
据TheRundownAI称，AxiomProver已机检形式化BGP246素数间隙定理。 |