测试跑过≠代码没问题！验证真的比测试更靠谱吗
11:07
精选参考来源
精选参考来源
1. 测试只能证明有bug：聊聊用数学证明程序正确的形式化验证
微信公众号 2026-06-30 00:00:00
2. Lean和Z3的创造者：形式化验证的痛苦正在消失，让AI证明、让机器验证
腾讯网 2026-08-16 00:00:00
3. 燕园数学 | 文再文在数学形式化与自动定理证明方向的探索工作
微信公众号 2026-04-09 00:00:00
4. 行业关注 | 航空领域的形式化验证方法应用
微信公众号 2026-05-22 00:00:00
5. 活动回顾丨数学研讨会：证明即程序，构造逻辑
微信公众号 2026-06-02 00:00:00
6. 文献精读 | AI 攻克半世纪数学难题， 立功的却是最朴素的方案
微信公众号 2026-06-23 00:00:00
7. 从黑盒推测到形式化验证：AI 智能体循环重塑前沿数学研究范式
今日头条 2026-05-23 00:00:00
8. AI辅助数学证明新突破：当机器开始理解数学之美
微信公众号 2026-06-02 00:00:00
9. 自动定理证明的基石：数学概念的自动形式化
微信公众号 2026-06-11 00:00:00
10. 数学的“结构敏感点”：真正的形式化如何能生成新知识？
知乎 2026-03-29 00:00:00
11. 在Lean 4中形式化验证整个数学金融！史上最全面的形式化金融库 【形式化验证】【数学金融】
哔哩哔哩 2026-06-04 00:00:00
12. Theorem Proving in Lean 4 第一章 引言
微信公众号 2026-05-30 00:00:00
13. AI 解前沿数学难题? 陶哲轩使用 Claude Code 在 Lean 中形式化证明 | Terence Tao
哔哩哔哩 2026-03-08 00:00:00
14. Simulink Design Verifier 形式化验证实战：不跑仿真，直接证明模型没有 bug
微信公众号 2026-07-29 00:00:00
15. Goedel-Architect：AI数学形式化证明五年封顶
微信公众号 2026-06-07 00:00:00
16. 9小时攻克Putnam竞赛11题：Seed-Prover 1.5通过强化学习挑战本科及以上级数学证明极限
哔哩哔哩 2026-03-30 00:00:00
17. 华威大学首次实现机器学习理论的全自动验证 - 哔哩哔哩
哔哩哔哩 2026-03-13 00:00:00
18. 不写代码也能做前沿研究？聊聊形式化 PDE 这个新方向
知乎 2026-04-09 00:00:00
19. ZKP × Math HackerHouse: Formal Methods in Practice
微信公众号 2026-06-05 00:00:00
20. 证明论（Proof theory）是数理逻辑的一个分支，它将数学证明表达为形式化的数学客体，从而通过数学技术来简化对它们的分析。证明论与模型论、公理化集合论以及递归论一起，被称为数学基础的四大支柱之一。 证明论最初的目的是想证明数学的协调性（无矛盾性），后来逐渐推广到探求一般的公理系统的协调性。其根本做法是：把所探讨的理论系统完全形式化，作为研究对象（称为对象理论），通过元理论来研究对象理论是否可能导出矛盾。 证明论由数学家D.希尔伯特于20世纪初期建立，目的是证明公理系统的无矛盾性。希尔伯特提出一整套方案，规定只能用有限长的证明，希望无可辩驳地给出整个数学的无矛盾性。但1931年，哥德尔证明：一个包含公理化算术的系统不能证明它自身的无矛盾性——这就是著名的哥德尔不完备性定理，使希尔伯特方案成为不可能。 1936年，根岑降低了希尔伯特的要求，允许使用无穷长的证明，证明了算术公理系统的无矛盾性。20世纪60年代以后，证明论不再局限于无矛盾性的证明，数学证明中的结构、证明的复杂性、数学中不可判定问题都成为研究课题。
今日头条 2026-07-06 00:00:00
21. 人机协同数学发现
知乎 2026-05-22 00:00:00
22. 形式化验证的AI时代： HimaFormal MC+UCAgent实现形式化验证全自动智能化
微信公众号 2026-04-29 00:00:00
23. 苹果公开 corecrypto 形式化验证蓝图：后量子密码工程走向高可信证明实践
微信公众号 2026-05-30 00:00:00
24. 4 美元一道普特南题，当 AI 学会写数学证明：Mistral 开源 Leanstral 1.5，形式化验证不再高不可攀
微信公众号 2026-07-05 00:00:00
25. 聊聊单元测试
知乎 2026-04-22 00:00:00
26. Flutter 单元测试：用可靠的代码构建每一行逻辑
知乎 2026-07-08 00:00:00
27. Go进阶之Main测试的实现原理和go test运行
知乎 2026-02-23 00:00:00
28. 数据科学：从学校到工作，第四部分
知乎 2026-03-18 00:00:00
29. 【2605架构】论文30 论单元测试方法及其运用
微信公众号 2026-05-08 00:00:00
30. 青岛国之信检测分享：如何判断一个单元测试是“好测试”
微信公众号 2026-06-05 00:00:00
31. Web3工程化中单元测试与集成测试实战——从基础正确性到复杂场景的全链路系统保障
微信公众号 2026-06-01 00:00:00
32. Codex 插件【CircleCI】：构建、测试并部署应用
微信公众号 2026-07-04 00:00:00
33. 世界级编程大师：AI写的代码，我一行都不看
微信公众号 2026-07-24 00:00:00
34. 在大型语言模型能力跃升的背景下，编程范式正经历根本性转移。 Python、JavaScript、Java 等高级语言已降格为新时代的"汇编层"，开发者不应再像过去那样逐行阅读、修改或优化代码，而应在更高层级——自然语言描述与测试约束体系——进行治理。 这一立场与过往追求极致代码质量的习惯形成鲜明
今日头条 2026-07-03 00:00:00
35. 为什么现在很多程序员不愿意写单元测试，是觉得没用还是太麻烦？
知乎 2026-06-29 00:00:00
36. 鸿蒙应用开发者激励计划 2026 发布，在生态由规模转质量阶段，开发者如何打造精品鸿蒙应用赢取激励？
知乎 2026-04-17 00:00:00
37. 自动驾驶自动化评测体系的发展与应用
微信公众号 2026-07-13 00:00:00
38. 终结“Prompt炼丹”：AI Agent形式化验证、安全护栏与红队测试工程实战
腾讯云 2026-07-15 00:00:00
39. 近期研究进展：神经符号融合的自动化形式证明
南京大学计算机学院 2026-06-03 00:00:00
40. Leanstral 1.5：让“数学级”代码验证，走进每一个开发者的流水线
今日头条 2026-07-06 00:00:00
41. 肖风与Vitalik Buterin围炉谈话全文来了！2026香港Web3嘉年华回顾
今日头条 2026-04-27 00:00:00
42. 测试不是证明：通过未必可靠
腾讯云 2026-06-17 00:00:00
43. 解锁形式化验证新潜力：维塔利克·布特林阐述 AI 带来的安全升级价值
脚本之家 2026-05-26 00:00:00
44. 被证明「绝对无bug」的程序，大神用AI模糊测试挖出了高危漏洞
CSDN博客 2026-04-27 00:00:00
45. 以前我总是看不起单元测试,不过现在我知道我错了
CSDN博客 2026-08-01 00:00:00
46. 测试计划驱动开发模式 TPDD：一种比 TDD 更友好的开发模式
今日头条 2026-02-28 00:00:00
47. AI 写的代码敢放心用吗？聊聊 GPU 内核的"形式化验证"
知乎 2026-07-15 00:00:00
48. 数字IC前端设计——形式化验证
知乎 2026-05-11 00:00:00
已收藏
去我的收藏夹