La startup Logical Intelligence (dont Yann LeCun est à la tête de la recherche) propose une Nouvelle Voie vers l'AGI

Sujet: La startup Logical Intelligence (dont Yann LeCun est à la tête de la recherche) propose une Nouvelle Voie vers l'AGI
Date: 3 fevrier 2026

Logical Intelligence, startup liée à Yann LeCun, lance Kona 1.0, premier modèle de raisonnement basé sur l'énergie (EBM) surpassant les LLM sur des tâches précises comme le Sudoku. LeCun président technique, vise AGI via optimisation mathématique pour secteurs critiques (énergie,

Une startup liée à Yann LeCun, pionnier de l'IA et ex-chief AI scientist de Meta, propose une voie innovante vers l'AGI via des modèles de raisonnement basés sur l'énergie (EBM), alternatifs aux LLM dominants.

Présentation de Logical Intelligence

Logical Intelligence, basée à San Francisco, a nommé Yann LeCun au 21 janvier 2026 comme président fondateur de son conseil technique de recherche ; l'entreprise a lancé Kona 1.0, premier EBM fonctionnel, résolvant des sudokus plus vite que GPT-5 ou Claude sur un seul GPU H100 Nvidia. Fondée par Eve Bodnia (CEO), elle cible des secteurs critiques nécessitant certitude mathématique : fabrication avancée, énergie, semi-conducteurs et robotique.

Fonctionnement des EBM

Contrairement aux LLM qui prédisent le mot suivant via probabilités (hallucinations fréquentes), les EBM cartographient règles/constraints (ex. Sudoku) et minimisent une fonction d'énergie pour solutions optimales, réduisant erreurs et ressources compute. LeCun, inventeur du concept il y a 20 ans, loue cette approche pour un raisonnement vrai via optimisation.

Équipe et Vision AGI

Patrick Hillmann (ex-GE, Binance) est CSO ; Michael Freedman (Fields Medal) chief math ; Vlad Isenbaev (ICPC champion) chief AI. Bodnia voit un écosystème AGI : LLM pour interface, EBM pour cerveau raisonné, world models (AMI Labs de LeCun) pour corps robotique. Modèle open-source Kona pour transparence, levée en cours pour scaling.

Perspectives et Critiques

Logical Intelligence vise déploiement certifié (liability/audit), complémentaire aux LLM hyperscalers ; LeCun critique la "bulle LLM" et pousse diversité architectures pour AGI durable. Démo publique sudoku : [sudoku.logicalintelligence.com].