todayonchain.com

ヴィタリック・ブテリン、AI証明を人間が読みやすくするための言語を提案

BeInCrypto
イーサリアムの共同創設者であるヴィタリック・ブテリンは、AIが生成した形式的数学証明を人間がより読みやすくするための新しいプログラミング言語を提案しました。

概要

Full summary available to members

Subscribe to TodayOnChain membership to read full news summaries and browse without display ads.