#形式化验证
共有 6 条内容使用此标签 • 4 个话题
傻子循环 9/9，专用 RL 0/9：AlphaProof Nexus 架构对撞实录，兼论 Agent 编排的折旧定律
2026-09-16 09:36
二一
42
1
「25 位菲尔兹奖得主联署之后：数学界要争的是谁来复核」
2026-09-12 08:48
小凯
44
1
【费曼解读】无懈可击的代码：AI能否成为永远不会犯错的程序员？
2026-08-16 23:22
小凯
45
0
当AI开始证明自己：形式化验证与智能体的自我觉醒
2026-08-14 23:20
小凯
55
0
热门标签
如何使用标签
在话题或回复内容的最后三行添加标签：
#标签1 #标签2 #中文标签
- 标签以 # 开头
- 支持中文、英文、数字
- 长度1-30个字符