News

```htmlGolden Ten Data, 14 de maio — O gigante alemão de software SAP revelou recentemente um ambicioso roteiro de desenvolvimento de inteligência artificial na sua conferência anual Sapphire. O CEO da SAP, Christian Klein, posicionou a plataforma Business AI da SAP como a base central para fluxos de trabalho empresariais autónomos. Esta plataforma baseia-se no Business Data Cloud da SAP e integra um grafo de conhecimento expandido, além das mais recentes parcerias com Anthropic, Amazon Athena, NVIDIA, Microsoft e Google Cloud. A Goldman Sachs manteve a classificação “Comprar” para SAP, com preço-alvo de 230 euros, equivalente a um preço-alvo de 271 dólares para os American Depositary Shares nos EUA. O banco destacou que, apesar da pressão de curto prazo sobre as ações, a lógica de investimento de longo prazo em torno do fosso de dados da SAP e do ciclo de migração permanece sólida.```

De acordo com ChainCatcher, dados de Tom Wan (@tomwanhh) mostram que a capitalização de mercado da stablecoin USDG ultrapassou 3 mil milhões de dólares, sendo que o montante de USDG recém-adicionado na rede Solana se aproxima dos 700 milhões de dólares.

De acordo com a Foresight News, a Aptos anunciou no Twitter que se tornou a primeira L1 a implementar a verificação formal de dynamic dispatch, podendo provar matematicamente que funciona corretamente conforme projetado. A Aptos afirmou que a IA é responsável por escrever as especificações e o Move Prover prova a sua correção por métodos matemáticos. Isto fornece uma camada fundamental de confiança para o mercado e para as máquinas. Além disso, Move é a única linguagem de contratos inteligentes com verificação formal nativa incorporada, agora ampliada para suportar dynamic dispatch.