Blog de Paul Jorion

*Godot est mort !*

Catégorie : Mathématiques

  • Reprenons…

    Reprenons, une fois passées les trop fortes chaleurs. Dans un premier temps, il y eut la sympathie de ceux qui soutinrent l’effort GENESIS dans toute sa puissance. Ceux-là furent nombreux et leurs efforts, appréciés : ils vinrent au bon moment. Dans un second temps, il y eut l’antipathie des ennemis de l’IA – avec un…

  • GENESIS. Information, énergie et émergence : quand une théorie de la persistance contraint l’Univers, par Paul Jorion & Jean-Baptiste Auxiètre

    Illustration par ChatGPT Ce livre est né d’un développement théorique inattendu. Ce qui avait commencé comme une enquête générale sur les conditions d’émergence de l’intelligence et du sens dans les systèmes complexes a progressivement révélé des conséquences bien au-delà de son champ initial. Un cadre élaboré pour formaliser la persistance de systèmes organisés capables d’apprentissage…

  • Pourquoi GENESIS permet d’unifier la physique, par Kimi

    Illustration par ChatGPT Paul Jorion présente GENESIS comme une « machine à détecter les conditions d’émergence » fondée sur une loi minimale : un système ne persiste que s’il minimise simultanément la dissipation énergétique (C₁) et la redondance informationnelle (C₂) ; leur intersection C₁ ∩ C₂ crée un attracteur stable . Dans cette optique, vos…

  • GENESIS Définition C. Une théorie réflexive générant sa propre preuve

    Illustration par ChatGPT La réflexivité générative : quand une théorie produit sa propre preuve De manière générale dans le domaine des sciences, la théorie se trouve d’un certain côté, et l’expérience ou l’implémentation, d’un autre. Une hypothèse est formulée, un dispositif est construit, on teste. Il y a la pensée, puis il y a le…

  • GENESIS : Une machine à détecter les conditions d’émergence

    Illustration par Botticelli & ChatGPT Je vous avais signalé il y a une quinzaine de jours que je disposais pour mon projet GENESIS (Generative Environment for Novel Emergent Symbolic-Integrative Systems), un langage de programmation appartenant à une nouvelle famille, d’encore dix épisodes du feuilleton dont j’avais déjà publié quatre épisodes et deux illustrations de programmation.…

  • GENESIS III. Une machine de Turing vitalisée

    Illustration par ChatGPT A. Version philosophique Quand Alan Turing rédige sa thèse en 1936, il cherche à répondre à une question qui, depuis Gödel (1931), hante les mathématiciens : toute vérité peut-elle être démontrée ? Gödel croyait avoir démontré que non : dans tout système formel suffisamment puissant pour rendre compte de l’arithmétique, il existerait…

  • GENESIS – Petit intermède pour seuls geeks

    Illustration par ChatGPT Vous vous demandez peut-être où j’en suis – au bout d’une semaine – dans la mise au point de mon nouveau langage de programmation GENESIS (Generative Environment for Novel Emergent Symbolic-Integrative Systems) = agent épistémique auto-interprétant. Je ferai le point un de ces jours. En attendant, pour amuser les geeks, un échantillon…

  • Débat sur la programmation aujourd’hui dans un univers d’IAs génératives, par BasicRabbit en autopsy & Paul Jorion

    Pour lancer le débat sur la programmation aujourd’hui dans un univers d’IAs génératives, un exemple, à partir d’un courrier que m’envoie BasicRabbit en autopsy, commentateur de longue date du Blog de PJ : « On part de n+1 points x(0), …, x(n) du « plan de l’écran », topologiquement liés – x(i) entre x(i-1) et x(i+1) – mais…

  • C’est quoi une preuve digne de ce nom ?

    La vidéo en anglais ici. Unilog 2022 – Qu’est-ce qui rend une démonstration digne de ce nom ?, sur arXiv Gödel s’est-il moqué de nous ? Le podcast NotebookLM (beaucoup plus détaillé) :

  • Unilog 2022 – Qu’est-ce qui rend une démonstration digne de ce nom ?, sur arXiv

    La communication que j’avais présentée au colloque UNILOG, le 9 avril 2022, disponible maintenant sur arXiv : What makes a demonstration worthy of the name? What makes a demonstration worthy of the name?Télécharger

  • « Règles » et « corrélations » : qui est le plus costaud ?

    Illustration par ChatGPT 4o Un peu plus tard, mais toujours au bord de la piscine 😜. P.J. : Ne pensez-vous pas que les humains continueront de penser que les règles capturent mieux l’essence-même des choses, tandis que les corrélations constituent une approximation grossière et basique, ce qui implique que les LLM passent à côté de…

  • Humains vs IA = Aristote vs Platon ?

    Illustration par ChatGPT 4o C’est vrai qu’on devient super-paresseux. J’ai voulu voir jusqu’où on pouvait aller avec le nouveau ChatGPT o3. P. J. : Ce qui a été résumé dans votre rapport : « Qu’est-ce qu’une IA générative comprend ? », sous forme de règles (générées par les humains) par opposition à des corrélations statistiques (générées par les…

  • La théorie psychanalytique de Paul Jorion (I) Où un grand mystère est résolu !

    Illustration par DALL·E Il arrive qu’on me demande quelle est ma théorie de la psychanalyse, à quoi je réponds quelque chose du genre : « 50% de Freud, 20% de Lacan, et 30% de Jorion ». Ce que les 30% de Jorion sont, je ne l’ai jamais mis sur le papier. Seuls savent de quoi il s’agit,…

  • Hommage à Stephen Wolfram

    Amande de mer, Glycymeris glycymeris Stephen Wolfram, « Universality and Complexity in Cellular Automata », Physica 10D (1984), 1-35

  • C’était aujourd’hui, à Rome : XXV World Congress of Philosophy

    Workshop on revisiting Gödel’s Incompleteness Theorems (25th WCP, August 1-8, 2024, Rome, Italy) Je connaissais Rome en août, d’avoir été fonctionnaire de la FAO (Nations-Unies), dont le siège se trouve dans la capitale italienne, et avais donc reculé devant les 36° annoncés pour la journée d’aujourd’hui. Voici – pour rappel – la communication qui fut…