#形式化验证

3 篇文章 · 全部标签

📡 相关事件

2026年8月3日

AI宣布推翻90年数学难题，真相是工具先坏了

AI数学形式化验证

2026年7月21日

人类数学家正在被「反例超越」——AI+Lean 时代的数学实践转变

AI数学Lean定理证明

2026年7月4日

数亿人用了16年没发现，数学一秒就找到了

SQLiteTLA+形式化验证WAL