Monsieur Phi
@monsieurphi
Docteur en philosophie, ce qui ne soigne pas grand chose. Je fais des trucs sur YouTube : youtube.com/c/monsieurphi
(Pour la mise en abyme je me suis fait expliquer le résultat par Claude Fable, qui me fait cette jolie remarque : "Petit vertige personnel au passage : je suis une instance de ce même modèle, sans aucun souvenir de l'événement, en train de vérifier après coup le travail d'une autre instance.")
Une autre conjecture majeure, la conjecture jacobienne, vient d'être réfutée à l'aide d'un LLM (en l'ocurrence Claude Fable). C'est Levent Alpöge, mathématicien chez Anthropic, qui l'a annoncé en un tweet qui ressemblait à une blague sauf que pas du tout :
L'article décrit le procédé en détail : ça consiste bien à entraîner un modèle à détecter des traces d'encre, et ce sont des papyrologues qui établissent le texte ensuite à partir de l'image reconstituée. scrollprize.org/pdf/main.pdf
Je trouve intéressant que, en lui laissant le choix du sujet, il tend à écrire souvent des choses qui font écho à sa situation en tant que LLM (il me le fait lui-même remarquer là, ci-dessous):
Mon test usuel à la sortie d'un nouveau modèle c'est l'écriture de nanofictions. Avec seulement quelques exemples dans le prompt (et pas de sujet imposé), voici les trois premières que Claude Fable ait produit:
Dès les premières secondes de la vidéo je cite Timothy Gowers qualifiant cette découverte comme "la première fois qu'une IA a résolu un problème mathématique majeur". Je cite plus loin d'autres mathématiciens qui confirment la centralité du problème en géométrie discrète.
Nouvelle vidéo ! On parle des progrès récents et fulgurant dans la recherche en maths par IA. Ça va très très vite. youtu.be/AYPQIntoJeE
Et bien sûr ils ont des spécialistes en papyrologie dans leur équipe (certains sont interrogés dans l'article au-dessus), on peut trouver les infos là sur les équipes : scrollprize.org
Vu qu'on m'a tagué (parce que j'en avais parlé en vidéo fin 2025), je me permets de mettre cette petite synthèse par Claude Opus. Ça donne une idée plus précise d'où on en est aujourd'hui. (Il me semble que ces recherches méritent mieux que la caricature présentée dans cette discussion.)
Timothy Gowers : "au cas improbable où les progrès des IA en maths cesseraient soudain, nous serons tout de même probablement entrés dans une ère où il devient très difficile pour des êtres humains de rivaliser avec l'IA pour résoudre des problèmes mathématiques."
Pour ce qui est de l'invité de l'épisode, le vote est clos et Leibniz l'a remporté à UNE voix près sur Margaret Cavendish. Ça ne pouvait pas être plus serré ! Donc ça devrait être Leibniz en invité de l'épisode 4, mais on réfléchit également à une autre approche.
Fin de crowdfunding pour le Late Show du Siècle et une très bonne nouvelle : quoiqu'on n'ait pas atteint le palier sur Ulule le 4e épisode sera bien financé aussi (grâce à une donation tardive et très généreuse !)
Leibniz a une avance d'une poignée de voix dans le vote, donc a priori ce serait lui le 4e invité, si on y arrive... (Margaret Cavendish n'est toujours pas loin derrière.) Je rappelle que l'indispensable HandSpinoza a été ajouté parmi les contreparties.
Dernières heures pour le financement du Late Show du Siècle ! Est-ce qu'on peut atteindre le 4e palier avant ce soir minuit ? fr.ulule.com/le-late-show...
On est à J-3 de la fin des prolongations, on a ajouté un goodie pour célébrer l'arrivée de Spinoza au Late Show, un objet évoquant la nécessité absolue de l'enchaînement causal, l'unité de la substance, l'amour intellectuel de Dieu et la persévérance du conatus dans son être : le HANDSPINOZA !
Si vous avez contribué au Late Show du Siècle, vous pouvez voter pour le choix de l'invité de l'épisode 4 parmi les six propositions ci-dessous (en espérant qu'on atteigne le dernier palier pendant les prolongations du crowdfunding !) fr.ulule.com/le-late-show...
🚨 J-2 pour le Late Show du Siècle On voudrait bien inviter Spinoza mais il va falloir cravacher sur ces derniers jours ! Encore un effort ! fr.ulule.com/le-late-show...
Je bosse à fond pour vous sortir le dernier épisode de PhilosopherView pendant que le crowdfunding est en cours. On est à 200% mais il ne reste plus qu'une semaine : pour atteindre le 3e palier et débloquer l'épisode Spinoza, il va falloir aller encore un peu plus loin... Allez !
Alors qu'au même moment un papier vient d'être publié qui montre que des experts en littérature jugent des textes écrits par des LLM (après fine-tuning spécial) supérieurs à ceux écrits par des humains. Et encore, le test portait sur des vieux modèles, GPT-4o, Sonnet 3.5... arxiv.org/pdf/2601.18353
Il nous reste deux semaines avant la fin de la campagne. Prochain objectif : financer l'épisode sur Spinoza. Déjà qu'il a été frappé par un herem et que ses livres sont à l'Index, on ne va quand même pas refuser à Spinoza sa place au Late Show !
🎉 DEUXIÈME ÉPISODE FINANCÉ ! Thomas Hobbes viendra donc pour un Late Show de philosophie politique ! Et pour fêter ce nouveau succès, on vous a concocté une contrepartie exclusive et hobbesienne : le MUG LEVIATHAN du Late Show ! C'est sur la page Ulule : fr.ulule.com/le-late-show...
2e palier atteint : Hobbes invité du Late Show du siècle pour un épisode de philosophie politique moderne ! Prochain objectif Spinoza. Allez !
Si vous avez contribué au Late Show du Siècle, vous avez accès à un bêtisier de @Acermendax dans le rôle de Sextus Empiricus. C'est très très savoureux, je vous le garantis ! La vidéo complète est sur la page Ulule. Pour rejoindre la team Late Show : fr.ulule.com/le-late-show...
Nouvelle vidéo ! Un duel au sommet dans la philosophie médiévale : Thomas d'Aquin vs. Averroès Avec @patrickbaud.bsky.social et Albert Moukheiber dans des costumes qui, pour une fois, ne sont pas des draps sales ! Vidéo complète ici : youtu.be/_P7v2OJgYnU youtu.be/_P7v2OJgYnU youtu.be/_P7v2OJgYnU
Nouvelle vidéo demain : un duel au sommet entre deux géants de la philosophie médiévale !
On a fait un t-shirt cartésien pour fêter le premier palier ! Pas sûr que Descartes approuverait le design, mais j'espère qu'il plaira aux machines pensantes que vous êtes.