形式化验证

2 篇文章 · 7 条信号 · 持续更新

📡

axiommathai 用智能体集群，24天验证了史上最大数学证明

𝕏2026 年 10 月 27 日

📡

ZKLean 发布：给带依赖的软件做形式化验证

𝕏2026 年 10 月 27 日

📡

Wang, Jiang, Liu 等（深圳大学）发布VerusEval 论文(接近 60%)

𝕏2026 年 10 月 26 日

📡

Claude 几周内验证百余个开源库安全属性

𝕏2026 年 10 月 23 日

📡

Anthropic 与 Theorem发布基于 Claude 的大规模形式化验证实践(100 多个真实开源软件库)

𝕏2026 年 10 月 23 日

📡

LLM 让形式化验证能在更大规模落地

𝕏2026 年 10 月 23 日

📖

纳维-斯托克斯方程证明中没人谈论的部分

AI数学2026 年 9 月 10 日

📡

计算生物学家用Codex解决30年前提出的超立方体铺石数猜想

𝕏2026 年 6 月 10 日

📖

陶哲轩如何成为人工智能数学的布道者

AI数学2026 年 6 月 9 日