Que faut-il retenir du rapport sur l'IA que nous avons remis au Président de la république hier ? Beaucoup de choses évidemment dans la mesure où les 25 propositions touchent à de nombreux domaines de l'économie, de l'administration publique, du monde de la culture, de la sphère sociale, du monde du travail. Je ne vais pas paraphraser le rapport mais simplement me concentrer sur quelques points qui me semblent les plus importants. En premier lieu, une évidence : l'IA est une révoluti...| fr.linkedin.com
Formal Land | 242 abonnés sur LinkedIn. Formal verification for everyday-life applications | They trusted us: Ethereum Foundation, Tezos, Aleph Zero, Sui 🫱🏿🫲🏽 Languages: Rust, Solidity, OCaml ✍️ Cost as a service (specification + verification): $30/loc 💰 Domain of application: space, planes, railways, finance, system 🚀 We employ the latest formal verification techniques 🧠 with interactive theorem proving. This is the only way to ensure 0% bugs and zero vulnerabil...| fr.linkedin.com