David Bessis — Mathématiques et IA : l'intelligence de demain | Comptoir IA #89

Nicolas GuyonBonjour David. Bienvenue sur Comptoir IA. David Bessis, mathématicien, auteur de Mathematica, et cofondateur de Tinyclues.

David BessisBonjour Nicolas. C'est un plaisir d'être ici.

David BessisJ'utilise ChatGPT pour l'écriture de mon livre. Je lui soumets des paragraphes et je demande des scores percentile. Pour l'édition américaine, c'était un outil précieux de synthèse et de clarification.

David BessisCe qui me fascine, c'est les propriétés émergentes. Ces modèles qui prédisent le prochain mot développent des capacités de raisonnement non programmées. C'est comme l'inconscient collectif qui s'exprime à travers la machine.

David BessisKahneman distingue le système 1 automatique du système 2 réfléchi. Mon intuition, c'est qu'il existe un système 3 dialectique qui combine pensée intuitive et logique formelle. C'est ce que font les meilleurs mathématiciens.

David BessisLes IA résolvent déjà des problèmes de géométrie grâce au deep learning. Le futur, c'est la formalisation et la vérification automatique des démonstrations par des bots. La cohérence dans les démonstrations avec ChatGPT reste un défi.

David BessisKlarna utilise OpenAI pour remplacer le travail de 700 agents. La démonétisation des tâches intellectuelles est en cours. L'impact est comparable à l'électricité : omniprésent.

Nicolas GuyonChatGPT transforme aussi les processus d'entreprise. On convertit des images en tableaux Excel, on automatise les notes de frais, la documentation.

David BessisLes modèles vocaux comme Moshi sont fascinants. L'usage de la voix et de l'écrit dans l'IA va ouvrir de grandes découvertes avec les LLM.

David BessisLes démonstrations mathématiques seront formalisées et vérifiées par des bots. Les outils futurs pour les mathématiciens combineront l'intuition humaine avec la rigueur formelle de la machine.

Nicolas GuyonJe recommande chaudement Mathematica de David Bessis. C'est la lecture de l'été. Merci David pour cet épisode passionnant.

David BessisMerci Nicolas. Les conversations humaines restent essentielles malgré la présence croissante de l'IA.