Vitalik Buterin提议新编程语言
2026-07-22 08:40:45
以太坊联合创始人Vitalik Buterin提议一种可直接编译为Lean或HOL的编程语言，目标是让人工智能生成的证明定义和定理更易于人类阅读。据 NS3 报道，目前尚无原型，Buterin也未确定具体语法。
Disclaimer:
1. The information provided does not constitute investment advice. Investors should make independent decisions and bear all risks themselves.
2. The copyright of this content belongs to the original author. The views expressed herein are solely those of the author and do not represent the stance or position of this website.
Previous article：
股市下跌，投资者等待Alphabet财报以判断AI支出回报Next article：
Strategy CEO：BTC主导率料上升
