Aller au contenu

Publications

Publications

Pourquoi les logiciels ont des bugs : la preuve mathématique que la vérification parfaite est impossible

Les bugs logiciels coûtent plus de 2 000 milliards de dollars à l'économie américaine chaque année, et les mathématiques prouvent qu'on ne pourra jamais les éliminer entièrement. Trois théorèmes du XXe siècle expliquent pourquoi l'impossibilité de la vérification logicielle parfaite est une loi de la nature, et non une lacune de l'ingénierie.

Décryptages Physique et ingénierie

La technologie ARNm : la plateforme derrière les vaccins COVID et les maladies dans son viseur

La plateforme technologique ARNm qui a produit les vaccins contre le COVID-19 en un temps record est désormais déployée contre le cancer, la grippe, le VRS et les tumeurs pancréatiques. Avec 280 candidats en développement et les premières approbations de vaccins anticancéreux attendues d'ici 2027, voici comment fonctionne la science et vers quoi elle se dirige.

Décryptages Science et médecine

Le réseau électrique que l’IA a fracturé : la demande des data centers s’impose au Congrès

La consommation énergétique des data centers provoque la plus forte croissance de la demande électrique américaine depuis vingt ans, faisant bondir les prix de capacité jusqu'à onze fois dans une seule région. Le Congrès, les législatures des États et la Maison-Blanche se disputent désormais la question de savoir qui doit payer la facture.

Décryptages Intelligence artificielle