Lior Horesh: Evolving the Scientific Method from (AI-) Descartes, through Hilbert to Noether

Lior Horesh: Evolving the Scientific Method from (AI-) Descartes, through Hilbert to Noether

par Lior Horesh

Sciences formelles & physiques Philosophie & Éthique PDSciences : généralitésPDAPhilosophie des sciences
🎙 Lior Horesh 👥 3K 📅 25 février 2026 ⏱ 47 min 👁 44 📄 exposé scientifique 🧭 2026-08-16
Disponible en : Français (actuel) English

Mots-clés

IAdécouverte scientifiquesymboliqueméthode scientifiqueraisonnement automatique

Résumé

Lior Horesh, chercheur chez IBM Research, présente une vision de l’évolution de la méthode scientifique à l’ère de l’IA. Il commence par motiver la nécessité de repenser la découverte scientifique face à la stagnation de la productivité de la recherche. Il critique les limites des approches purement data-driven (manque de généralisation, interprétabilité) et des approches par premiers principes (coût, temps). Il propose une intégration de la connaissance symbolique et des données. Il présente trois systèmes : AI-Descartes, qui couple un générateur d’hypothèses (régression symbolique) à un vérificateur formel (théorèmes automatiques) ; AI-Hilbert, qui unifie génération et vérification dans un cadre d’optimisation polynomiale ; et AI-Noether, qui utilise l’inférence abductive pour corriger ou étendre les axiomes d’une théorie afin de rendre de nouvelles hypothèses prouvables. Il illustre ces systèmes avec des exemples comme la loi de Kepler, l’équation de Lane-Emden et la dilatation du temps d’Einstein. Il conclut en plaidant pour une synthèse de la donnée, de la théorie et du calcul pour une science plus interprétable et généralisable.

168 mots

Évaluation critique

Valeur des informations & solidité de l’argumentation

La valeur des informations est élevée : l’orateur présente des systèmes concrets et des résultats expérimentaux, avec des exemples précis (Kepler, Lane-Emden, Einstein). L’argumentation est solide : il critique les approches existantes (data-driven, premiers principes) et propose une alternative intégrative. Il illustre ses propos avec des anecdotes historiques (Galilée, Leverrier) et des démonstrations. La présentation est structurée et pédagogique, même si certains points techniques sont survolés.

73 mots

Adéquation titre / contenu

Le titre reflète bien le contenu : l'orateur présente trois systèmes (AI-Descartes, AI-Hilbert, AI-Noether) qui évoluent la méthode scientifique.

Qualité & fiabilité

8/10

Exposé rigoureux d'un chercheur d'IBM Research, s'appuyant sur des travaux publiés et des exemples concrets. La présentation est technique et argumentée, mais certaines affirmations (comme la redécouverte de 87 lois de Feynman) ne sont pas détaillées dans la vidéo.

Moments clés

Repères établis par PSI à partir de la transcription : le créateur n'a pas défini de chapitres.

Sources citées

Sources concordantes

Apport & nouveautés

L’apport original est la proposition d’une évolution de la méthode scientifique intégrant l’IA, la connaissance symbolique et la vérification formelle. Les systèmes AI-Descartes, AI-Hilbert et AI-Noether offrent une approche modulaire et unifiée pour la découverte scientifique. L’accent sur l’inférence abductive pour corriger les théories est particulièrement novateur.

Pour aller plus loin :

79 mots

Profil radar

Le profil radar montre un contenu équilibré avec des scores élevés en quantité et qualité d'information, ainsi qu'en niveau technique. La fiabilité globale est également bonne, indiquant une présentation solide et fiable.

Fiabilité 8/10