Notícia da ME, 21 de julho (UTC+8): Vitalik publicou em sua conta no X que um novo tipo de "linguagem de programação avançada" digna de tentativa é aquela compilada para Lean (ou HOL, etc.), com foco em tornar as definições e teoremas o mais legíveis possível para humanos — e não as provas, pois as provas precisam apenas estar corretas; o essencial são as definições e teoremas em si. Sua intenção é que a IA gere grandes trechos de provas, enquanto os leitores precisam compreender com o máximo de facilidade quais afirmações exatas foram realmente demonstradas nesses resultados. (Fonte: ChainCatcher)
Vitalik propõe nova linguagem de programação para facilitar a leitura de definições e teoremas
KuCoinFlashCompartilhar
Resumo
Vitalik Buterin propôs uma nova linguagem de programação de alto nível em 21 de julho, projetada para compilar em Lean ou HOL e melhorar a legibilidade das definições e teoremas. A linguagem dependeria de IA para lidar com provas relacionadas a Proof of Work (PoW) e Proof of Stake (PoS), permitindo que os usuários se concentrassem na clareza das declarações. O objetivo é tornar afirmações complexas mais acessíveis, especialmente à medida que a IA gera provas cada vez mais longas.
Fonte:Mostrar original
Aviso legal: as informações nesta página podem ter sido obtidas de terceiros e não refletem necessariamente os pontos de vista ou opiniões da KuCoin. Este conteúdo é fornecido apenas para fins informativos gerais, sem qualquer representação ou garantia de qualquer tipo, nem deve ser interpretado como aconselhamento financeiro ou de investimento. A KuCoin não é responsável por quaisquer erros ou omissões, ou por quaisquer resultados do uso destas informações.
Os investimentos em ativos digitais podem ser arriscados. Avalie cuidadosamente os riscos de um produto e a sua tolerância ao risco com base nas suas próprias circunstâncias financeiras. Para mais informações, consulte nossos termos de uso e divulgação de risco.