Artificial intelligence
Argo: IA and mathematics to test satellite network security
Argo combines AI with formal methods to verify the resilience of satellite networks. Here is its functioning, its potential and its limitations.
Artificial intelligence
Recent developments in the field of artificial intelligence in the world
Artificial intelligence
DeepSeek Harness: the open engine that wants to make the agents of AI interchangeable
DeepSeek Harness transforms an AI model into a modular, traceable and customizable agent. This is its current potential, uses and limitations.
Artificial intelligence
Meta Muse Glimmer: artificial intelligence advanced directly on your computer
Discover Muse Glimmer, Meta's IA designed to work locally on a personal computer equipped with a single graphics card.
Artificial intelligence
IA crosses the threshold of reality: the week when agents act
Discover the world's advances this week: autonomous agents, robotics, voice assistants, education and new regulations.