Vitalik：新型高级编程语言应让人更易阅读定义和定理
Vitalik 在 X 平台表示，一种值得尝试的新型高级编程语言是编译为 Lean 或 HOL 等的语言，重点是让人类更容易阅读定义和定理，而非证明，因为 AI 输出证明时，读者需要轻松理解其中被证明的精确主张。
转载来源：AiCoin
发布于
免责声明：市场有风险，投资需谨慎，本文不构成投资建议
BiyaPay 让数字货币流行起来
BiyaPay社区
规管主体
BIYA GLOBAL LLC
美国证监会(SEC)注册的持牌主体(SEC编号：802-127417)；美国金融业监管局(FINRA)的认证会员(中央注册登记编号CRD：325027)；受美国金融业监管局(FINRA)和美国证监会(SEC)监管。
美国证监会(SEC)注册的持牌主体(SEC编号：802-127417)；美国金融业监管局(FINRA)的认证会员(中央注册登记编号CRD：325027)；受美国金融业监管局(FINRA)和美国证监会(SEC)监管。
BIYA GLOBAL LLC
在美国财政部下设机构金融犯罪执法局（FinCEN）注册为货币服务提供商（MSB），注册号为 31000218637349，由金融犯罪执法局（FinCEN）监管。
在美国财政部下设机构金融犯罪执法局（FinCEN）注册为货币服务提供商（MSB），注册号为 31000218637349，由金融犯罪执法局（FinCEN）监管。
BIYA GLOBAL LIMITED
BIYA GLOBAL LIMITED 是新西兰注册金融服务商（FSP）， 注册编号为FSP1007221，同时也是新西兰金融纠纷独立调解机制登记会员。
BIYA GLOBAL LIMITED 是新西兰注册金融服务商（FSP）， 注册编号为FSP1007221，同时也是新西兰金融纠纷独立调解机制登记会员。