Software 2.0 Means Verifiable AI
量子计算 (QC) 和人工智能有一个共同点：都会犯错误。处理 QC 错误有两个关键： 去年我们在纠错方面取得了巨大进展。质量控制重点关注生成解决方案极其困难但验证解决方案很容易的问题。考虑对 2048 位素数进行因式分解 [...]
Implementing Vibe Proving with Reinforcement Learning
如何让法学硕士通过可验证的、逐步的逻辑进行推理（第 2 部分）这篇文章《利用强化学习实现 Vibe 证明》首先出现在《走向数据科学》上。
