Vitalik Buterin propõe nova linguagem de programação para inteligência artificial

Vitalik Buterin, cofundador do Ethereum, revelou a ideia de desenvolver uma nova linguagem de programação cujo objetivo é simplificar a verificação das saídas da inteligência artificial. Esta linguagem pode ser compilada para ferramentas de prova formal como Lean ou HOL. Buterin acredita que, com a crescente utilização de modelos de inteligência artificial no desenvolvimento de software, essas ferramentas são capazes de gerar provas matemáticas e técnicas complexas, mas a compreensão e verificação dessas saídas é difícil para os humanos. Ele sugeriu que as partes legíveis para os humanos devem ser separadas dos detalhes técnicos das provas. O objetivo desta linguagem é tornar as saídas da inteligência artificial mais legíveis. Buterin explica que as etapas internas de uma prova devem ser matematicamente corretas e não é necessário que os humanos leiam todas elas. A definição de conceitos e especificações técnicas deve ser escrita em uma linguagem simples. Ele também mencionou que modelos de linguagem grandes podem gerar provas utilizáveis para Lean. Esta proposta surge ao mesmo tempo em que pesquisadores do Ethereum estão trabalhando no desenvolvimento de uma versão da Máquina Virtual Ethereum (EVM) com capacidade de prova formal e baseada em conhecimento zero. Buterin acredita que o uso de códigos com prova formal pode ajudar a aumentar a segurança dos softwares baseados em blockchain. No entanto, ele enfatizou que essa ideia ainda está em fase conceitual e nenhum protótipo foi publicado.

Aviso: Este conteúdo é fornecido apenas para fins de divulgação e informação geral da marca e não constitui aconselhamento financeiro, de investimento, jurídico ou tributário. Quaisquer eventos, recompensas, eventos online ou informações relacionadas mencionados neste documento não devem ser considerados uma recomendação, solicitação ou convite para comprar, vender, negociar ou de qualquer outra forma realizar transações com criptoativos ou usar quaisquer serviços. Criptoativos são altamente voláteis, e sua negociação pode resultar em perdas. Os serviços e eventos online da WEEX podem não estar disponíveis em todas as regiões e estão sujeitos às leis, regulamentos e requisitos de elegibilidade aplicáveis. É sua responsabilidade garantir que o uso dos serviços da WEEX esteja em conformidade com as leis locais e avaliar cuidadosamente os riscos antes de participar de quaisquer atividades relacionadas a criptomoedas.