吴说区块链
@wublockchain12
吴说中文推特：接近真相，更可信赖
专业可信的行业新闻，优质深度内容推荐
吴说所有内容渠道、播客、APP 等：
联系我们 TG: colinwu1989
加入 August 2021
2 正在關注 181.5K 粉絲
吴说获悉，Vitalik Buterin 提议开发一种可编译至 Lean、HOL 等系统的高级语言，重点提升定义和定理的可读性，而非证明过程本身。其设想的应用场景是由 AI 生成大规模证明，再通过这种语言帮助读者更容易理解究竟证明了哪些精确定义和定理。
顯示更多
