Posté par kantien .
Évalué à 5 (+3/-0).
Dernière modification le 19 octobre 2026 à 17:12.
Oui.C'est le choix de ce ton et la justesse du propos qui m'a fait le choisir parmi toutes les réactions que j'ai pu lire sur les résultats obtenus par les LLM et le comportement d'OpenAI.
Il y en a un autre plus profond et politique, dans un style académique et publié sur Arxiv, que j'apprécie particulièrement. The Siren Call of Silicon Leviathan: Reflections on blowup and Aufklärungsdämmerung, un essai d'une vingtaine de pages (et 60 si on compte les notes renvoyées en fin d'essai) en réaction à la publication de la "solution" (est-elle correcte ?) de l'équation de Navier-Stokes.
Pour le batch (ou cherche dans mon vomis si tu trouves des choses dignes d'intérêt) de début octobre, il y aussi celui-ci d'un logicien sur un problème qui avait retenu mon attention : the partition principle (à savoir si il existe une surjection de A sur B, alors il existe une injection de B dans A) et son rapport à l'axiome du choix.
J'ai aussi ouvert un autre "article" du ChatGPT, que j'ai aussitôt refermé, sur la conjecture de Barendregt–Geuvers–Klop. Là c'est en lien avec la preuve formelle assistée par ordinateur ou l'un des derniers journaux de serge_sans_paille sur le fun C++ esque. La conjecture demande pour une certaine classe de lambda-calcul typé (les Pure Type System) si ils sont fortement normalisant quand ils le sont faiblement : autrement dit, si il existe une stratégie d'évaluation des paramètres et du corps de la fonction qui termine (il est faiblement normalisant) alors toute stratégie d'évaluation aboutira à la forme normale (il est fortement normalisant). L'intérêt des systèmes normalisant étant qu'il ne sont pas Turing-Complet, que tout calcul termine sur la forme normale du terme (ce qui peut dépendre de la stratégie de calcul, ou pas selon la conjecture), et que donc on ne peut pas prouver l'absurde et donc n'importe quelle proposition dans le système, contrairement aux langages de programmations usuels et Turing complet : How Many Values Does a Boolean Have?.
Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.
Le poème "First They Came", "D'abord il sont venus" de Martin Niemöller, publié après la seconde guerre mondiale en allemand, parle des nazis, et c'est ce poème qui est transposé en début de texte :
First they came for the Communists
And I did not speak out
Because I was not a Communist
Then they came for the Socialists
And I did not speak out
Because I was not a Socialist
Then they came for the trade unionists
And I did not speak out
Because I was not a trade unionist
Then they came for the Jews
And I did not speak out
Because I was not a Jew
Then they came for me
And there was no one left
To speak out for me
J'y ai pensé immédiatement même si je ne connaissais pas la version originale, je me souvenais de la progression. J'ai recherché "quand ils sont venu chercher mon voisin je n'ai rien dit" et j'ai trouvé immédiatement.
Sans sous-estimer les dangers de l'IA ni l'impact sur les artistes, mathématiciens, physiciens et bien d'autres professions, la transposition de ce poème me paraît déplacée, pas interdite, juste malvenue et déplacée. Une référence à l'auteur n'aurait rien arrangé mais aurait au moins fait preuve de respect. Le respect des auteurs n'est pas trop dans l'air du temps, l'IA le piétine allégrement.
Oui.C'est le choix de ce ton et la justesse du propos qui m'a fait le choisir parmi toutes les réactions que j'ai pu lire sur les résultats obtenus par les LLM et le comportement d'OpenAI.
AI disclosure:
During the writing of this paper, we had several conversations with Claude, 55, owner of the neighborhood bar in Strasbourg. Unfortunately, none of them was of relevance to the topics of the paper.
Posté par kantien .
Évalué à 3 (+1/-0).
Dernière modification le 04 novembre 2026 à 14:48.
Il m'arrive également d'avoir de longues discussions avec ma nièce Luna, mais elles ne m'ont jamais été d'aucune utilité pour l'étude des mathématiques qui m'intéressent : elle n'y comprend rien et a choisi d'étudié l'Histoire à l'université.
P.S : pour ceux qui l'ignorent, Luna est aussi le nom d'un des derniers modèles de ChatGPT.
Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.
Quand je lis ce texte, je ne peux m'empêcher de songer que la démarche scientifique qui culmine aujourd'hui avec LLM est déjà entamée depuis belle lurette. Dès le début de ce millénaire des éditeurs s'enthousiasmaient de la croissance exponentielle du nombre de papiers publiés. Dès le début de ce millénaire on calculait la valeur d'une thèse à partir de ce critère. Dès le début de ce millénaire, la science était évaluée au poids de papier. Dès le début de ce millénaire écrire en langage abscons était une stratégie intéressante de publication…
Qui sait si les LLM ne conduiront pas à une réévaluation de cette orientation politique désastreuse ?
Oulala mais ça nécessiterai de repenser … environ toute la société qui s'oriente pareil avec l'indicateur financier ça ! Le nombre de papiers / brevets c'est juste parce qu'on ne peut pas mesurer directement l'apport financier de la recherche.
Qui sait si les LLM ne conduiront pas à une réévaluation de cette orientation politique désastreuse ?
C'est un peu le sujet de l'artcile de David Bessis The fall of the theorem economy. Mais, malgré les dérives du système de publication, jusqu'à maintenant, on pouvait supposer les auteurs de bonne foi et qu'ils comprenaient leur propre travail : sans compréhension humaine des principes qui y conduisent, un résultat ne vaut rien.
Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.
# Humour noir
Posté par patrick_g (site web personnel) . Évalué à 10 (+8/-0).
Le ton sarcastique est délicieux.
[^] # Re: Humour noir
Posté par kantien . Évalué à 5 (+3/-0). Dernière modification le 19 octobre 2026 à 17:12.
Oui.C'est le choix de ce ton et la justesse du propos qui m'a fait le choisir parmi toutes les réactions que j'ai pu lire sur les résultats obtenus par les LLM et le comportement d'OpenAI.
Il y en a un autre plus profond et politique, dans un style académique et publié sur Arxiv, que j'apprécie particulièrement. The Siren Call of Silicon Leviathan: Reflections on blowup and Aufklärungsdämmerung, un essai d'une vingtaine de pages (et 60 si on compte les notes renvoyées en fin d'essai) en réaction à la publication de la "solution" (est-elle correcte ?) de l'équation de Navier-Stokes.
Pour le batch (ou cherche dans mon vomis si tu trouves des choses dignes d'intérêt) de début octobre, il y aussi celui-ci d'un logicien sur un problème qui avait retenu mon attention : the partition principle (à savoir si il existe une surjection de A sur B, alors il existe une injection de B dans A) et son rapport à l'axiome du choix.
J'ai aussi ouvert un autre "article" du ChatGPT, que j'ai aussitôt refermé, sur la conjecture de Barendregt–Geuvers–Klop. Là c'est en lien avec la preuve formelle assistée par ordinateur ou l'un des derniers journaux de serge_sans_paille sur le fun C++ esque. La conjecture demande pour une certaine classe de lambda-calcul typé (les Pure Type System) si ils sont fortement normalisant quand ils le sont faiblement : autrement dit, si il existe une stratégie d'évaluation des paramètres et du corps de la fonction qui termine (il est faiblement normalisant) alors toute stratégie d'évaluation aboutira à la forme normale (il est fortement normalisant). L'intérêt des systèmes normalisant étant qu'il ne sont pas Turing-Complet, que tout calcul termine sur la forme normale du terme (ce qui peut dépendre de la stratégie de calcul, ou pas selon la conjecture), et que donc on ne peut pas prouver l'absurde et donc n'importe quelle proposition dans le système, contrairement aux langages de programmations usuels et Turing complet : How Many Values Does a Boolean Have?.
Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.
[^] # Re: Humour noir
Posté par remico . Évalué à 1 (+0/-0).
Le poème "First They Came", "D'abord il sont venus" de Martin Niemöller, publié après la seconde guerre mondiale en allemand, parle des nazis, et c'est ce poème qui est transposé en début de texte :
First they came for the Communists
And I did not speak out
Because I was not a Communist
Then they came for the Socialists
And I did not speak out
Because I was not a Socialist
Then they came for the trade unionists
And I did not speak out
Because I was not a trade unionist
Then they came for the Jews
And I did not speak out
Because I was not a Jew
Then they came for me
And there was no one left
To speak out for me
J'y ai pensé immédiatement même si je ne connaissais pas la version originale, je me souvenais de la progression. J'ai recherché "quand ils sont venu chercher mon voisin je n'ai rien dit" et j'ai trouvé immédiatement.
Sans sous-estimer les dangers de l'IA ni l'impact sur les artistes, mathématiciens, physiciens et bien d'autres professions, la transposition de ce poème me paraît déplacée, pas interdite, juste malvenue et déplacée. Une référence à l'auteur n'aurait rien arrangé mais aurait au moins fait preuve de respect. Le respect des auteurs n'est pas trop dans l'air du temps, l'IA le piétine allégrement.
[^] # Re: Humour noir
Posté par patrick_g (site web personnel) . Évalué à 6 (+3/-0).
Pour une autre touche d'humour, j'aime particulièrement la note sur l'utilisation de l'IA dans le dernier papier de Scholze et ses collègues :
AI disclosure:
During the writing of this paper, we had several conversations with Claude, 55, owner of the neighborhood bar in Strasbourg. Unfortunately, none of them was of relevance to the topics of the paper.
[^] # Re: Humour noir
Posté par kantien . Évalué à 3 (+1/-0). Dernière modification le 04 novembre 2026 à 14:48.
Il m'arrive également d'avoir de longues discussions avec ma nièce Luna, mais elles ne m'ont jamais été d'aucune utilité pour l'étude des mathématiques qui m'intéressent : elle n'y comprend rien et a choisi d'étudié l'Histoire à l'université.
P.S : pour ceux qui l'ignorent, Luna est aussi le nom d'un des derniers modèles de ChatGPT.
Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.
# Antérieurement aux LLM…
Posté par ǝpɐןƃu∀ nǝıɥʇʇɐW-ǝɹɹǝıԀ (site web personnel) . Évalué à 8 (+5/-0).
Quand je lis ce texte, je ne peux m'empêcher de songer que la démarche scientifique qui culmine aujourd'hui avec LLM est déjà entamée depuis belle lurette. Dès le début de ce millénaire des éditeurs s'enthousiasmaient de la croissance exponentielle du nombre de papiers publiés. Dès le début de ce millénaire on calculait la valeur d'une thèse à partir de ce critère. Dès le début de ce millénaire, la science était évaluée au poids de papier. Dès le début de ce millénaire écrire en langage abscons était une stratégie intéressante de publication…
Qui sait si les LLM ne conduiront pas à une réévaluation de cette orientation politique désastreuse ?
« IRAFURORBREVISESTANIMUMREGEQUINISIPARETIMPERAT » — Odes — Horace
[^] # Re: Antérieurement aux LLM…
Posté par thoasm . Évalué à 8 (+5/-0).
Oulala mais ça nécessiterai de repenser … environ toute la société qui s'oriente pareil avec l'indicateur financier ça ! Le nombre de papiers / brevets c'est juste parce qu'on ne peut pas mesurer directement l'apport financier de la recherche.
[^] # Re: Antérieurement aux LLM…
Posté par kantien . Évalué à 5 (+3/-0).
C'est un peu le sujet de l'artcile de David Bessis The fall of the theorem economy. Mais, malgré les dérives du système de publication, jusqu'à maintenant, on pouvait supposer les auteurs de bonne foi et qu'ils comprenaient leur propre travail : sans compréhension humaine des principes qui y conduisent, un résultat ne vaut rien.
Sapere aude ! Aie le courage de te servir de ton propre entendement. Voilà la devise des Lumières.
Envoyer un commentaire
Suivre le flux des commentaires
Note : les commentaires appartiennent à celles et ceux qui les ont postés. Nous n’en sommes pas responsables.