Sign in

Philippe Gaucher

@pg0042.eurosky.social
118 followers 58 following 469 posts

Amateur de science-fiction (hardSF, cyberpunk, space-opera) | Mathématicien CNRS | Pour toute autre question, la réponse est 42 #douglasadams

PostsRepliesMedia
Philippe Gaucher @pg0042.eurosky.social · 21h
C'est déjà de la récupération. Le représentant des lycéens que j'ai vu ce midi sur France Info était prisonnier d'une logique de confrontation. "On nous interdit de manifester" blablabla. Si déjà ils ne sont pas capables de négocier un trajet de manifestation (qui est autorisée), c'est sans espoir.
000 0
Philippe Gaucher @pg0042.eurosky.social · 23h
Il est difficile d'arrêter des black blocs a priori.
100 0
Philippe Gaucher @pg0042.eurosky.social · 14/10/2026
C’est un rébus ?
110 0
Philippe Gaucher @pg0042.eurosky.social · 13/10/2026
(2/2) Et les candidats diffamés par des trolls russes sont Édouard Philippe (Storm-1516), Raphaël Glucksmann (Storm-1516) et Gabriel Attal (Matriochka).
120 0
Philippe Gaucher @pg0042.eurosky.social · 13/10/2026
(1/2) Les candidats à la présidentielle 2027 jamais diffamés par les trolls russes sont : le RN et affiliés, Roussel et Mélenchon et l'ultra-gauche. Et aussi Marine Tondelier qui est probablement invisible vue de Russie (du moins, c'est mon interprétation).
130 0
Philippe Gaucher @pg0042.eurosky.social · 13/10/2026
C'est derrière un paywall.
000 0
Philippe Gaucher @pg0042.eurosky.social · 12/10/2026
No the password was 12345 🤣.
000 0
Reposted by Philippe Gaucher
DG MEME @ecmemes.bsky.social · 12/10/2026
Climate change is human-driven, the Earth is not flat, vaccines work, Brexit was dumb, the Russian state is an enemy of humanity, 2 + 2 = 4.
27924 0
Philippe Gaucher @pg0042.eurosky.social · 12/10/2026
Deux bonnes nouvelles en si peu de temps : après Raphaël Glucksmann choisi comme candidat de la gauche, l'Ukraine efface des bots russes de l'Internet après le bombardement d'un data center. ⤵️ bsky.app/profile/angr...
010 0
Philippe Gaucher @pg0042.eurosky.social · 10/10/2026
(4/4) L'analogie avec les LLM est que savoir qu'un problème a une solution, au sens d'une preuve dans ZFC par exemple, même avec un certificat Lean, n'épuise pas le problème. D'ailleurs combien de fois je me suis dit : je sais démontré tel truc, et je n'y comprends toujours rien 👀.
110 0
Philippe Gaucher @pg0042.eurosky.social · 10/10/2026
(3/4) Pourtant, ça ne résout pas le problème du tout. Car la preuve dans ZFC + I tractable n'a aucun contenu géométrique : on sait juste que pour un cardinal assez gros, on a une famille génératrice de cofibrations triviales. Trouver le contenu géométrique est difficile.
110 0
Philippe Gaucher @pg0042.eurosky.social · 10/10/2026
(2/4) C'est un problème très important qui a une solution pour les catégories localement présentables dans ZFC + Vopenka, et dans ZFC si I est tractable (ce qui arrive le plus souvent). Donc on a une solution, écrite par un humain dans une preuve parfaitement compréhensible, pas par un LLM.
110 0
Philippe Gaucher @pg0042.eurosky.social · 10/10/2026
(1/4) En théorie de l'homotopie abstraite, on veut souvent savoir si, dans une catégorie bicomplète donnée et avec un ensemble de morphismes I qui jouera le rôle de cofibrations génératrices, le localisateur minimal est la classe des équivalences faibles d'une catégories de modèles.
110 0
Reposted by Philippe Gaucher
Philippe Gaucher @pg0042.eurosky.social · 10/10/2026
Votre raisonnement me semble prisonnier de la notion de trophée. Si l'IA produit un résultat même correct pour un de ces trophées qui est illisible par un humain, je ne considère pas que c'est une solution. Penser que le problème est résolu, c'est précisément penser en terme de trophée.
101 0
Philippe Gaucher @pg0042.eurosky.social · 10/10/2026
Votre raisonnement me semble prisonnier de la notion de trophée. Si l'IA produit un résultat même correct pour un de ces trophées qui est illisible par un humain, je ne considère pas que c'est une solution. Penser que le problème est résolu, c'est précisément penser en terme de trophée.
101 0
Philippe Gaucher @pg0042.eurosky.social · 10/10/2026
Je recite Matilde Marcolli : "Car si cette manière d’envisager les mathématiques [les trophées] vole en éclats sous nos yeux, peut-être pourrons-nous enfin commencer à avoir une conversation que la communauté mathématique aurait dû avoir depuis longtemps." ⤵️ bsky.app/profile/pg00...
000 0
Philippe Gaucher @pg0042.eurosky.social · 10/10/2026
He's just desperate because he's going to lose the midterm elections because of the war he started against Iran without being prepared for it. He's trying to buy the election by any means necessary.
010 0
Reposted by Philippe Gaucher
RFI @rfi.fr · 09/10/2026
France: accusé d'antisémitisme, Bardella a effacé les données d'un compte Facebook, assure le Canard enchaîné
rfi.my
France: accusé d'antisémitisme, Bardella a effacé les données d'un compte Facebook, assure le Canard enchaîné
Jordan Bardella a effacé les données d'un ancien compte Facebook militant dès la divulgation par Mediapart des écrits de jeunesse antisémites dont il nie être l'auteur, affirme vendredi 9 octobre le Canard enchaîné. De nouvelles informations démenties en bloc par le Rassemblement national.
063 0
Philippe Gaucher @pg0042.eurosky.social · 08/10/2026
Je n'ai pas de compte Linkedln. Donc pas accès aux conversations. Vous pourriez nous faire partager quelques photos d'écran qu'on puisse rire aussi ?
100 0
Reposted by Philippe Gaucher
Philippe Gaucher @pg0042.eurosky.social · 08/10/2026
Si vous voulez une nouvelle amusante (vous avez l'air tous de déprimer) que je viens de découvrir, apparemment la formalisation en Lean d'une preuve en language naturelle ne se passe pas forcément très bien 🤔. Je n'ai pas eu le temps encore de lire l'article en détail. ⤵️ arxiv.org/pdf/2610.08144
arxiv.org
021 0
Philippe Gaucher @pg0042.eurosky.social · 08/10/2026
Si vous voulez une nouvelle amusante (vous avez l'air tous de déprimer) que je viens de découvrir, apparemment la formalisation en Lean d'une preuve en language naturelle ne se passe pas forcément très bien 🤔. Je n'ai pas eu le temps encore de lire l'article en détail. ⤵️ arxiv.org/pdf/2610.08144
arxiv.org
021 0
Philippe Gaucher @pg0042.eurosky.social · 08/10/2026
In any case, we can't stop technological advances. We have to live with them, whether we like it or not. With that in mind, Matilde Marcolli's article is a must-read. ⤵️ www.its.caltech.edu/~matilde/AIm...
its.caltech.edu
000 0
Philippe Gaucher @pg0042.eurosky.social · 08/10/2026
AHM is typically an association of mathematicians who fear losing their academic power. The invention of the printing press around 1450 made it possible to print Bibles and give the general public access to sacred texts, with the well-known consequences for the power of the clergy.
100 0
Philippe Gaucher @pg0042.eurosky.social · 08/10/2026
[ #LLM #AI #IA ] "Mathematicians did not ask for this work to be done." I don't remember giving AHM permission to speak for me 😡. Mathematics doesn't belong to AHM. Let them use a quill pen to write, a candle for light, and send their letters by stagecoach if they like. ⤵️ www.ahmath.org/statements
ahmath.org
Statements — AHM
100 0
Philippe Gaucher @pg0042.eurosky.social · 07/10/2026
Je ne sais pas 😄.Ce qui m'avait frappé, c'est le nombre de manuscrits, plus de 700 pour 300 problèmes résolus.
010 0
Philippe Gaucher @pg0042.eurosky.social · 07/10/2026
"372 *result families* in 722 manuscripts". Par exemple, deux résultats sont reliés à l'hypothèse de Riemann, l'une donnant la borne 7/8, l'autre la borne 11/12.
100 0
Philippe Gaucher @pg0042.eurosky.social · 07/10/2026
Il y a aussi le problème de l'apprentissage qui ne me semble pas abordé pour les jeunes mathématiciens. On devient forgeron en forgeant : c'est la seule façon. C'est uniquement en travaillant sa propre intuition qu'on peut profiter de ce qu'ont à apporter les LLM. Me semble-t-il 👀.
030 0
Philippe Gaucher @pg0042.eurosky.social · 07/10/2026
Non en effet. Et c'est un vrai problème. Car des politiciens trop pressés de supprimer des postes vont s'empresser de dire que si l'IA résout des problèmes, alors on n'a plus besoin de mathématiciens. Ce qui est faux.
231 0
Philippe Gaucher @pg0042.eurosky.social · 07/10/2026
Là, c'est plus clair. Donc le texte de Mathilde Marcolli est plus à ranger dans la case 'marchandage' que 'déni'. Je suis moi aussi dans le 'marchandage' donc. Mais je ne vois pas ça négativement.
010 0
Philippe Gaucher @pg0042.eurosky.social · 07/10/2026
Je ne sais pas pourquoi j'ai écris "en parlant de physique" 👀. Comprendre ce post comme une des grandes énigmes que j'aimerais voir résolue.
000 0
Philippe Gaucher @pg0042.eurosky.social · 07/10/2026
Non s'ils préfèrent les preuves indigestes des LLM 🤡. En parlant de physique, je me demande ce qu'une IA entraînée connaissant en plus toutes les limitations actuelles des théories physiques pourraient nous sortir comme théorie de grande unification...
210 0
Philippe Gaucher @pg0042.eurosky.social · 07/10/2026
Sans ce dernier post, j'aurais cru à de la mauvaise foi tellement les citations sont un tout petit peu sorties de leur contexte. Je mets le dernier paragraphe du texte de M. Marcolli, que j'ai mis en ALT en français pour les non-anglophones en deux parties.
(1/2) On ne s’inquiète généralement pas de ce que l’existence d’une IA capable d’écrire des textes acceptables dans les langues humaines implique que chacun des romans du monde finisse par avoir déjà été écrit. Vous reconnaissez (je l’espère) l’absurdité d’une telle idée. Et pourtant, un grand nombre de mathématiciens s’inquiètent aujourd’hui de ce que tous les théorèmes finissent par avoir été démontrés par l’IA, laissant la profession mathématique en lambeaux. Ce rétrécissement de l’horizon que nous avons tous implicitement accepté est stupéfiant ! Oui, si tout ce que nous voyons dans les mathématiques se résume à quelques trophées étincelants constitués de « Conjectures Célèbres™ » (anciennes et bien mûries), consacrées par un petit nombre de personnalités établies (anciennes et bien mûries elles aussi, si possible), alors nous courons effectivement le risque d’épuiser toutes ces récompenses sous l’effet de l’arrivée de nouvelles technologies. Eh bien, tant mieux si cela arrive au plus vite ! Bon débarras ! Car si cette manière d’envisager les mathématiques vole en éclats sous nos yeux, peut-être pourrons-nous enfin commencer à avoir une conversation que la communauté mathématique aurait dû avoir depuis longtemps.(2/2) Nous pouvons et devons accepter l’idée que le travail d’un mathématicien puisse ressembler davantage à celui d’un chef d’orchestre ou d’un compositeur de musique, et moins à celui du violoniste virtuose, interprète d’un seul instrument, dont les immenses compétences et la créativité servent à porter à la perfection interprétative une musique composée par quelqu’un d’autre. Les compétences du chef d’orchestre sont différentes de celles du soliste : sa technique est moins hyperspécialisée, et il possède une vision plus large de l’orchestre dans son ensemble, de la manière dont le son y circule et dont les différents instruments se complètent les uns les autres. Le monde de la musique sait accorder de la valeur de manière plus équilibrée à ces différentes compétences. Il n’est pas difficile d’imaginer une formation mathématique et une pratique professionnelle qui ressemblent davantage à celles du chef d’orchestre et du compositeur, et moins à celles du virtuose d’un seul instrument — ou qui, à tout le moins, sachent reconnaître l’existence de ces différents rôles. Si nous persistons à concentrer toute notre profession sur la seule résolution des conjectures, considérée comme son unique but et son unique récompense, alors nous pourrions assez rapidement nous retrouver sans travail, non pas à cause de la fin des mathématiques, mais à cause de la fin de notre imagination.
210 0
Philippe Gaucher @pg0042.eurosky.social · 07/10/2026
Now that everyone knows that #LLM can solve math problems (even if the proofs aren't yet human-readable), I suggest that #OpenAI tackles other problems like: a cancer vaccine, deep-space travel à la *Star Trek*, nuclear fusion, high-temperature superconductivity. ⤵️ github.com/openai/math/...
github.com
math/overview.pdf at main · openai/math
Contribute to openai/math development by creating an account on GitHub.
020 0
Philippe Gaucher @pg0042.eurosky.social · 07/10/2026
Parlez pour vous merci ! Il y a des gens qui se portent bien. Vous pouvez lire aussi ceci de Mathilde Marcolli ⤵️ www.its.caltech.edu/~matilde/AIm...
its.caltech.edu
120 0
Philippe Gaucher @pg0042.eurosky.social · 07/10/2026
Oui, on vit dans une gérontocratie. Même pas un syndicat pour protester. bsky.app/profile/pg00...
020 0
Philippe Gaucher @pg0042.eurosky.social · 06/10/2026
Apparemment non 😡. Mais j'aimerais une confirmation. J'ai fait une recherche inversée sur Google Image et je n'ai trouvé que ça ⤵️ www.irishstar.com/news/us-news...
irishstar.com
Hegseth humiliated as brutal comparison floods internet after war speech
Pete Hegseth's speech to cadets at a U.S. Air Force Academy in Colorado on Saturday saw critics using images to directly compare the Secretary of War to Nazi leader Adolf Hitler
000 0
Philippe Gaucher @pg0042.eurosky.social · 05/10/2026
I forgot to mention that he hadn't specified the name of the journal or newspaper he was supposed to be working for. I tried to figure it out based on the domain name in his email address and found a scientific journal generated by AI.
000 0
Philippe Gaucher @pg0042.eurosky.social · 05/10/2026
(2/2) supposedly, the interview transcript was even almost finished and just needed my approval—which was strange. I suspect this “journalist” was actually an AI bot. It was probably a scam, but I don’t know what kind. I wasn’t asked for any bank account information.
120 0
Philippe Gaucher @pg0042.eurosky.social · 05/10/2026
(1/2) Some time ago, I received an email from a so-called journalist who wanted to interview me as part of an “asynchronous conversation” (sic!). Suspicious, I didn’t follow up. I received this message several times;
110 0
Philippe Gaucher @pg0042.eurosky.social · 05/10/2026
Finalement ça a l’air vrai en effet. Au départ, je croyais que c’était une fake news. Avec tous les ennuis qu’on a, on n’avait vraiment pas besoin de ça 👀.
100 0
Philippe Gaucher @pg0042.eurosky.social · 03/10/2026
www.zdnet.fr/actualites/c...
zdnet.fr
Ce que l'enquête de Mediapart sur Jordan Bardella nous apprend de l'OSINT - ZDNET
En s'appuyant sur l'extraction RGPD et l'OSINT, les journalistes ont déployé un arsenal technique redoutable. Une véritable leçon de cybersécurité appliquée à l'information.
000 0
Philippe Gaucher @pg0042.eurosky.social · 02/10/2026
C'est sérieux ou c'est une blague cette image ? 👀🙃
100 0
Reposted by Philippe Gaucher
arXiv @arxiv.bsky.social · 01/10/2026
arXiv has updated our policy on rate limiting for all submitters. This update was made to fairly distribute moderator time & support the arXiv community of staff, volunteers, readers & authors. Please read our announcement to learn more: blog.arxiv.org/2026/10/01/updated-r…
216874 0
Reposted by Philippe Gaucher
Le Gorafi @legorafi.bsky.social · 29/09/2026
Révélation - Le président d'un parti fondé par des antisémites serait antisémite www.legorafi.fr/2026/09/29/revelati…
legorafi.fr
Révélation - Le président d'un parti fondé par des antisémites serait antisémite 
Toute l'information selon des sources contradictoires.
381516567 0
Philippe Gaucher @pg0042.eurosky.social · 30/09/2026
I prefer these Nine Wise: Gandalf, Legolas, Gimli, Aragorn, Boromir, Frodo Baggins, Samwise Gamgee, Merry Brandybuck and Pippin Took. On the Bridge of Khazad-dûm, when Gandalf stopped the Balrog, he said: "You shall not pass!". Thank you for your attention 👀.
101 0
Philippe Gaucher @pg0042.eurosky.social · 29/09/2026
Non il faut taxer les Belges 🤡.
000 0
Philippe Gaucher @pg0042.eurosky.social · 29/09/2026
Silure de se lever ! 📢🔔🔔📢‼️‼️
010 0
Philippe Gaucher @pg0042.eurosky.social · 27/09/2026
On notera que France Info, normalement service public, retransmet aussi les messes 👀. De toute façon, les jours où les chaînes d'info feront de l'info, les poules auront des dents 🤡.
010 0
Philippe Gaucher @pg0042.eurosky.social · 26/09/2026
For the record, the vast majority of Erdős problems have no theoretical interest. They’re just fun. The combinatorial problems solved by #AI that are flooding the journals have no theoretical interest either. Sorry to those who thought otherwise.
010 0
Philippe Gaucher @pg0042.eurosky.social · 26/09/2026
[ #AI #LLM ] Some people working in #AI seem to be completely off the mark—and that’s really putting it mildly. They think that the value of a theorem is measured by the simplicity of its statement and the complexity of its proof. Such mathematical ignorance astounds me. ⤵️ arxiv.org/abs/2609.28603
arxiv.org
Learning to Discover Interesting Mathematics
Recently, Large Language Models (LLMs) have been increasingly able to solve advanced mathematical problems, including many that have been open for decades. This opens the door to expansion of mathemat...
100 0