リスク提示：本サイトのすべての内容は投資助言ではなく、いかなるシグナル配信・取引勧誘サービスも行いません。中国人民銀行など十部委の「仮想通貨取引投機リスクの防止と処置に関する通知」に基づき、リスク意識の向上をお願いいたします。お問い合わせ / [email protected] 琼ICP备2022009338号
TechFlow 発、7 月 21 日、Vitalik Buterin 氏（@VitalikButerin）の投稿によると、彼は新たな高レベルプログラミング言語の開発を提案した。この言語は Lean（または HOL などの形式検証ツール）にコンパイル可能であり、核心的な目標は人間が定義や定理の内容（証明そのものではなく）を可能な限り簡単に読めるようにすることである。想定される使用シナリオでは、AI が証明内容を出力し、この言語は読者が AI によって証明された具体的な命題を迅速に理解するのを支援する。
Vitalik Buterin（@VitalikButerin）の投稿によると、彼は新しい高級プログラミング言語の開発を提案した。この言語は Lean（または HOL などの形式検証ツール）にコンパイル可能であり、核心的な目標は、人間が定義と定理の内容（証明そのものではなく）を可能な限り容易に読めるようにすることである。想定される使用シナリオでは、AI が証明内容を出力し、その言語は読者が AI によって証明された具体的な命題を迅速に理解するのを支援する。
Web3業界の深掘り報道に専念し潮流を洞察
