MEニュース、7月21日（UTC+8）、VitalikがXプラットフォームで投稿した内容によると、試す価値のある新しい「高度なプログラミング言語」は、Lean（またはHOLなど）にコンパイルされる言語であり、定義と定理を人間が可能な限り読みやすくすることに重点を置くべきである。証明自体は正しければ十分であり、重要なのは定義と定理そのものである。この言語の想定される用途は、AIが長大な証明を出力した際に、読者がその出力内で実際に何が証明されたかをできるだけ簡単に理解できるようにすることである。（出典：ChainCatcher）
ヴィタリク、定義と定理の読みやすさを向上させるための新しいプログラミング言語を提案
KuCoinFlash共有
概要
ヴィタリク・ブテリンは7月21日、LeanまたはHOLにコンパイルされ、定義と定理の可読性を向上させる新しい高レベルプログラミング言語を提案しました。この言語は、AIを利用してProof of Work（PoW）およびProof of Stake（PoS）に関連する証明を処理し、ユーザーが文の明確さに集中できるようにします。目的は、AIがますます長くなる証明を生成する中で、複雑な主張をよりアクセスしやすくすることです。
出典:原文を表示
免責事項: 本ページの情報はサードパーティからのものであり、必ずしもKuCoinの見解や意見を反映しているわけではありません。この内容は一般的な情報提供のみを目的として提供されており、いかなる種類の表明や保証もなく、金融または投資助言として解釈されるものでもありません。KuCoinは誤記や脱落、またはこの情報の使用に起因するいかなる結果に対しても責任を負いません。
デジタル資産への投資にはリスクが伴います。商品のリスクとリスク許容度をご自身の財務状況に基づいて慎重に評価してください。詳しくは利用規約およびリスク開示を参照してください。