Search for:
Search
Skip to content
MindThink
The best way to predict the future is to invent it.
Menu
首页
时间线
AI 路线图
duck-buddy：会走路的学习伙伴鸭（项目页）
关于
形式化证明是 AI 时代软件工程的必要吗？
Posted on
2026年11月1日
by
mindthink
形式化证明是 AI 时代软件工程的必要吗？
请我喝杯咖啡
mindthink
微信支付
支付宝
文章导航
Previous
Previous post:
拆一只开源鸭子：Microduck 的硬件、软件、训练和部署
