De nombreux chercheurs planchent sur des systèmes d'apprentissage utilisant moins de données et d'énergie que le deep learning.

Produire des logiciels sans bug et qui font ce qu’ils sont supposés faire relève parfois du miracle. En plus des tests, des outils formels issus de la logique et des mathématiques sont utilisés pour garantir leur fiabilité. Spécialiste de la sémantique des langages, Xavier Leroy nous livre ses réflexions sur la programmation.

En démontrant un théorème de logique mathématique, une informaticienne a fait le pont entre théorie de la démonstration et logique infinitaire. De plus, cette preuve est constructive, ce qui autorise, en principe, une implémentation dans un ordinateur.

Face à la concurrence d'OpenAI et de Microsoft, Google veut s'imposer avec prudence. Rencontre avec son homme clé.

Parfois méconnu du grand public, le scientifique britannique Alan Turing est considéré comme le père de l’informatique moderne. De ses recherches ont découlé de nombreuses applications, depuis le déchiffrement de la machine nazie Enigma jusqu’aux bases de l’intelligence artificielle.

En termes d'efficacité énergétique, le cerveau humain continue de supplanter les supercalculateurs. Un constat qui a incité une équipe américaine à intégrer des amas cellulaires à un ordinateur. Et ça marche !