Notizie

Secondo quanto riportato da Gelonghui il 14 maggio, il colosso tedesco del software SAP ha recentemente presentato un ambizioso piano di sviluppo per l'intelligenza artificiale in occasione della conferenza annuale Sapphire. Christian Klein, CEO di SAP, ha definito la piattaforma Business AI di SAP come la base fondamentale per i flussi di lavoro aziendali autonomi. Si apprende che questa piattaforma è costruita sulla Business Data Cloud di SAP e integrata con una knowledge graph avanzata, oltre alle più recenti collaborazioni con partner come Anthropic, Amazon Athena, NVIDIA, Microsoft e Google Cloud. Goldman Sachs mantiene un rating "Buy" su SAP con un prezzo obiettivo di 230 euro, corrispondente a un prezzo obiettivo per gli American Depositary Receipts negli Stati Uniti di 271 dollari. La banca sottolinea che, nonostante la pressione a breve termine sul titolo, la logica di investimento a lungo termine legata al vantaggio competitivo sui dati di SAP e al ciclo di migrazione rimane solida.

Secondo ChainCatcher, dai dati di Tom Wan (@tomwanhh) risulta che la capitalizzazione di mercato della stablecoin USDG ha superato i 3 miliardi di dollari, con circa 700 milioni di dollari di nuovi USDG aggiunti sulla rete Solana.

Secondo Foresight News, Aptos ha annunciato su Twitter di essere il primo L1 ad aver implementato la verifica formale della distribuzione dinamica (dynamic dispatch), potendo dimostrare matematicamente che opera correttamente secondo il progetto. Aptos ha spiegato che l'AI si occupa della scrittura delle specifiche e Move Prover ne dimostra la correttezza tramite metodi matematici. Questo offre una base di fiducia sia per il mercato sia per le macchine. Inoltre, Move è l'unico linguaggio di smart contract con verifica formale nativa integrata, e ora supporta anche la distribuzione dinamica.