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
🩸L’EFS vient de découvrir le 48ème système de groupe sanguin au monde ! Leader mondial de la recherche sur les groupes sanguins, l’EFS a réalisé une découverte majeure. Quinze ans après avoir reçu le prélèvement de sang d’une patiente originaire de Guadeloupe, nos équipes de recherche ont réussi à identifier et à caractériser ce nouveau système de groupe sanguin, dont le nom est PIGZ. Cette découverte a été officialisée début juin à Milan par la Société intern...| fr.linkedin.com
1 milliard de membres | Gérez votre image professionnelle. Constituez votre réseau professionnel et communiquez avec celui-ci. Gagnez des connaissances, accédez à des idées et des opportunités.| LinkedIn
Chegg vs Google : comment l'IA Overview dévore les entreprises de contenu au Etats-Unis ? Les IA génératives de Google menacent directement les plateformes de contenu éducatif. Chegg poursuit Google en justice, mais au-delà du procès, c'est tout un modèle économique qui s'effondre. Voici pourquoi cette affaire concerne toutes les entreprises de contenu : 𝐋𝐞𝐬 𝐟𝐚𝐢𝐭𝐬 𝐜𝐨𝐧𝐜𝐫𝐞𝐭𝐬 → Chegg a perdu 18% de sa valeur boursière après l'annonce de...| 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
