-
C’est quoi une preuve digne de ce nom ?
-
Vidéo – Vers une théorie unifiée de l’intelligence humaine/IA – avec Paul Jorion
P.S: A la fin de l’entretien des questions me sont posées sur différentes personnes, auxquelles je réponds. Malheureusement le nom de ces personnes a été sucré, ce qui rend mes réponses incompréhensibles. The Flares – Écrire l’avenir ensemble Sommaire: 0:00:00 – Après « L’avènement de la singularité », pourquoi un nouveau livre proposant une théorie commune de…
-
Unilog 2022 – Qu’est-ce qui rend une démonstration digne de ce nom ?, sur arXiv
-
« 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…
-
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…
-
Vidéo – Gödel’s legerdemain. The demonstration of his incompleteness of arithmetic theorem betrays his contempt for his fellow mathematicians
-
Les Grands Modèles de Langage (+PJ) s’attaquent à l’émergence ! I. Un éloge intolérable de … l’obésité !
Illustration par DALL·E à partir du texte. Le mois dernier (du 6 au 9 avril), j’ai proposé ici une série de 6 billets où je quadriloguais avec GPT-4 et une version dédoublée de Claude 3 à propos de la conjecture P vs NP, une question classique d’informatique théorique relative à la relation – pour autant…
-
P vs NP : les Grands Modèles de Langage contribueront à la définition d’un nouveau paradigme
-
« GPT-4, comment repenser la conjecture P vs NP à la lumière du débat entre Paul Jorion et Claude 3 ? »
Illustration par DALL·E à partir du texte [Le même en anglais] J’ai publié ces jours derniers une série de quatre billets consacrés à la conjecture P vs NP. J’avais choisi la formule consistant à proposer mes conclusions provisoires à l’IA Claude 3, à l’encourager à les remettre en question et à m’aider, si possible, à…
-
P vs NP : Programme de recherche pour une alternative dans la résolution de problèmes