Виталик Бутерин предложил новый язык программирования для искусственного интеллекта

Виталик Бутерин, соучредитель Ethereum, представил идею разработки нового языка программирования, целью которого является упрощение проверки выводов искусственного интеллекта. Этот язык может быть скомпилирован в инструменты формального доказательства, такие как Lean или HOL. Бутерин считает, что с расширением использования моделей искусственного интеллекта в разработке программного обеспечения эти инструменты способны генерировать сложные математические и технические доказательства, однако понимание и верификация этих выводов для человека затруднительны. Он предложил, чтобы части, которые могут быть изучены человеком, были отделены от технических деталей доказательств. Цель этого языка — сделать выводы искусственного интеллекта более читаемыми. Бутерин объясняет, что внутренние этапы доказательства должны быть математически корректными, и человеку не нужно читать их все. Определения понятий и технические спецификации должны быть написаны простым языком. Он также отметил, что большие языковые модели могут генерировать доказательства, пригодные для Lean. Это предложение было выдвинуто одновременно с усилиями исследователей Ethereum по разработке версии виртуальной машины Ethereum (EVM) с возможностью формального доказательства и основанной на нулевом знании. Бутерин считает, что использование кода с формальным доказательством может помочь повысить безопасность блокчейн-программного обеспечения. Тем не менее, он подчеркнул, что эта идея все еще находится на концептуальной стадии, и ни один прототип не был опубликован.

Отказ от ответственности: Данный контент предоставляется исключительно в целях общего брендинга и предоставления информации и не является финансовой, инвестиционной, юридической или налоговой консультацией. Любые события, вознаграждения, онлайн-мероприятия или связанная с ними информация, упомянутые здесь, не должны рассматриваться как рекомендация, предложение или приглашение к покупке, продаже, торговле или иным операциям с криптоактивами или к использованию каких-либо услуг. Криптовалюты обладают высокой волатильностью и могут привести к убыткам. Услуги WEEX и онлайн-мероприятия могут быть недоступны во всех регионах и регулируются применимыми законами, правилами и требованиями к участию. Вы несете ответственность за обеспечение соответствия использования вами услуг WEEX местным законам и за тщательную оценку рисков перед участием в любой деятельности, связанной с криптовалютами.