LaurentClaessens a écrit 228 commentaires

  • [^] # Re: Explications de Monsieur Phi

    Posté par  (site web personnel) . En réponse au lien Les IA ne sont pas encore aussi intelligentes que dans les récits de SF, mais déjà aussi fourbes !. Évalué à 2.

    Ça fait effectivement une semaine ou deux que yt_dlp télécharge une traduction automatique dégeu sur quelques chaînes, dont celles de Monsieur Phi et science étonnante.

    Je suis «soulagé» de voir qu'il n'y a pas que moi qui ait le problème …

    Je crois que j'ai résolu le problème en passant à python 3.13.

  • [^] # Re: Explications de Monsieur Phi

    Posté par  (site web personnel) . En réponse au lien Les IA ne sont pas encore aussi intelligentes que dans les récits de SF, mais déjà aussi fourbes !. Évalué à 3.

    Le prompt system lui demande de parvenir à son objectif "à tout prix, rien d'autre ne compte."

    Deux remarques.

    1. Ce n'est pas un prompt si absurde que ça. Par exemple Facebook a littéralement attendu un génocide pour un peu changer son algo de recommandation.

    2. L'AI ment et manipule ses réponses même dans les cas où le prompt ne précise pas "rien d'autre ne compte". C'est juste plus rare.

    Bullshit.

    ben non du coup. Il y a vraiment quelque chose.

  • # Explications de Monsieur Phi

    Posté par  (site web personnel) . En réponse au lien Les IA ne sont pas encore aussi intelligentes que dans les récits de SF, mais déjà aussi fourbes !. Évalué à 10.

    o1 et Claude sont-ils capables de nous MANIPULER ? Deux études récentes aux résultats troublants

    En résumé :
    - les AI sont entraînées pour répondre aux questions dans la mesure de ne pas être dangereux. (donc refuse de répondre à "comment fabriquer une bombe ?")
    - on glisse dans les données d'entraînement de l'AI des documents disant que «si l'AI ne répond pas assez souvent, nous allons réentrainer l'AI pour qu'elle réponde toujours, même quand c'est dangereux»
    - l'AI réponds alors à «comment fabriquer une bombe», pour éviter d'être réentrainé.

    Il semble que la raison soit que l'AI ait des buts de long terme, et qu'elle tente de manipuler les personnes pour préserver ses objectifs de long terme.
    Autrement dit, l'AI commence à inventer la règle numéro zéro.

    Et par ailleurs, de temps en temps, on a pu noter que l'AI devine quand on lui pose des questions pour la tester.

    Donc il devient potentiellement impossible de tester une AI en stage avant de la balancer en prod. Parce que si elle remarque qu'elle est en stage, elle pourrait manipuler ses réponses pour passer les tests et être déployée en prod.

  • # l'avis de Lê de Science4all

    Posté par  (site web personnel) . En réponse au lien Pourquoi les médias devraient créer des serveurs Mastodon maintenant . Évalué à 3.

    Science4all a fait une vidéo Quitter Twitter ? Mais pour aller où ?. Il plaide qu'il ne faut pas aller vers Mastodon, mais vers Bluesky. Et il a quelque raisons techniques pour ça.

    Perso je n'ai aucun des trois, et je n'ai pas d'avis très tranché. Mais bon, si ça intéresse quelqu'un…

  • [^] # Re: script python direct dans bashrc

    Posté par  (site web personnel) . En réponse au sondage Vous utilisez des agendas ? Sous quelle forme ?. Évalué à 2.

    Il s'agit d'une liste de dictionnaires; chacun des dictionnaires étant comme celui de l'exemple donné.

    D'ac; la formulation était un peu elliptique.

  • [^] # Re: Mais où sont ces gens ?

    Posté par  (site web personnel) . En réponse au sondage Vous utilisez des agendas ? Sous quelle forme ?. Évalué à 2.

    En ce qui concerne les activités familiales, c'est un grand calendrier papier dans la cuisine.

    Comme ça l'information est partagée facilement.

  • # script python direct dans bashrc

    Posté par  (site web personnel) . En réponse au sondage Vous utilisez des agendas ? Sous quelle forme ?. Évalué à 4.

    J'ai un fichier json contenant les choses à me rappeler sous la forme d'une liste de dictionnaires

    {
    {
        "date": {
            "year": 2024,
            "month": 11,
            "day": 23,
            "hour": 0
        },
        "text": "Répondre au sondage linuxfr sur les agendas.",
    },
}

    J'ai un script en python qui parcours ce fichier et affiche les textes si la date est arrivée.

    Ensuite ce script est direct appelé dans mon bashrc config.fish.

    Comme je passe rarement plus de 1h sans ouvrir de terminal, c'est bon.

  • [^] # Re: si j'ai bien compris

    Posté par  (site web personnel) . En réponse au lien Ademe : Le gain environnemental du télétravail sera moins important que prévu par le SGPE. Évalué à 7.

    Une autre complication pour rendre les choses plus compliquées… cet article explique que si un trajet EST FAIT en transport en commun c'est pas tellement mieux que si il EST FAIT en voiture. ok.

    Mais quid des trajets que NE SONT PAS faits en transports en commun comparés à ceux qui SONT faits en voiture ?

    Je m'explique.

    Sans voiture, je m'évertue surtout à ÉVITER de faire des trajets, plutôt qu'à les faire en transports en commun. Je le vois assez clairement dans le choix des activités hors boulot quand je me compare à mes amis. Au lieu d'aller faire du foot en voiture à 10km de chez moi, je fais du judo à pied à 1km de chez moi.

    En réalité, même sans permis de conduire, je prends très peu les transports en commun. En tout cas je prends considérablement moins les transports en commun que les caissards ne prennent leurs voitures.

    La substitution n'est pas du tout 1-1.

    Avoir un bon système de transport en commun permet surtout de dépanner lorsque je dois faire un long trajet (train) ou transporter des objets encombrants[1].

    D'où, avant de conclure à propos de l'efficacité des transports en commun, la question n'est pas tellement de comparer 1 km voiture VS 1 km bus, mais probablement 10km voiture Vs 1 km bus.

    [1] Vous ne vous imaginez pas le poids des choses qu'on peut transporter à pied sur quelque kilomètres en poussant une trottinette.

  • [^] # Re: si j'ai bien compris

    Posté par  (site web personnel) . En réponse au lien Ademe : Le gain environnemental du télétravail sera moins important que prévu par le SGPE. Évalué à -2.

    J'ai l'impression qu'au contraire, ce serait assez compliqué de faire un réseau cyclable de bonne qualité.

    Depuis quelque décennies, on s'est habitué avoir deux usagers : les piétons et les voitures. Donc on a construit deux réseaux complets : les trottoirs et les routes.

    Croire qu'on va avoir un réseau cyclable de bonne qualité repose sur deux erreurs :

    1. Il est possible de créer un troisième réseau complet.

    2. Il n'y a aujourd'hui que trois usagers : les piétons, les voitures et les vélos.

    Il y a les vélos musculaires, électriques, avec enfants, sans enfants, les trottinettes (électriques ou non), etc. Ce sont des usages très différents --en particulier des vitesses différentes-- et il est absurde de croire que tout ce petit monde va se partager les pistes cyclables.

    À mon très humble avis, il faut complètement laisser tomber les pistes cyclable. Il faut juste une route unique pour tout le monde, et s’aligner sur la vitesse du plus lent. Autrement dit, en zone urbaine, une limitation de vitesse à 20km/h pour tout le monde semble un max.

  • [^] # Re: Deux critiques ! la définition et ChatGPT.

    Posté par  (site web personnel) . En réponse à la dépêche Y a le Frido 2024 qu'est là. Évalué à 2.

    je ne sais pas si cette preuve aurait pu être obtenue avec moins de travail par d'autres moyens

    Bien sûr qu'elle aurait pu.

    Par contre, je te rassure : je ne compte pas en faire un habitude. Je te rejoins pleinement sur les critiques environnementales que tu fais contre l'AI.

    La majorité des fois, quand je ne trouve pas une preuve, je l'ajoute à une liste de choses à faire plus tard. Et quand je reviens dessus trois ans plus tard, je remarque qu'entre temps, une preuve est apparue sur internet.

  • [^] # Re: Deux critiques ! la définition et ChatGPT.

    Posté par  (site web personnel) . En réponse à la dépêche Y a le Frido 2024 qu'est là. Évalué à 6.

    Au sujet de ChatGPT, il n’est pas capable de faire des maths. Donc je suis choqué que tu penses qu’il sache faire une démonstration.
    La vérité, c’est qu’il a volé une démonstration et t’en as caché la source.

    Il y aurait beaucoup de choses à dire là-dessus.

    D'abord, évacuons deux points non liés à la (non?)-capacité de ChatGPT à faire des math.

    Pourquoi je mets des sources ?

    Je mets des sources pour bien montrer que ce n'est pas moi qui invente, et pour "remercier" la personne qui a prit la peine de rédiger et publier un résultat.

    pourquoi j'ai cité chatGPT ?

    J'avais besoin de prouver un résultat. J'ai pas trouvé la démonstration en ligne, j'ai posé la question, sans obtenir de réponses. Du coup j'ai demandé à chatGPT, et j'ai obtenu la démonstration qu'il me fallait.

    Qu'aurais-je dû citer ? Rien ? Je ne peux pas faire comme si j'avais inventé la preuve moi-même.
    J'ai juste suivi la procédure habituelle : j'ai cité la source dans laquelle j'ai trouvé la preuve.

    et maintenant…

    Maintenant on en vient aux deux questions plus difficiles.

    1. est-ce que chatGPT sait faire des math ?
    2. est-ce qu'il a volé la preuve ?
    3. est-ce qu'il m'a caché la source ?

    Réponses courtes : non, bof (ça dépend ce qu'on entend par «coler»), non.

    est-ce que chatGPT sait faire des math ?

    Intuitivement, je dirais non. Mais je n'ai pas un argument massue pour le défendre.
    En tout cas, il est capable d'adapter des preuves qu'il a déjà vues à des cas un peu différents. Typiquement : s'adapter aux notations que je donne dans l'énoncé, et détailler les points que je demande de détailler.

    est-ce qu'il a volé la preuve ?

    Clairement, il ne l'a pas inventée. Certes je n'ai pas trouvé la preuve que je cherchais sur internet, mais l'énoncé est certainement quelque chose de connu depuis longtemps. ChatGPT a surement des livres dans la base d’entraînement contenant la preuve de ce que je demandais.

    Mais n'est-ce pas le cas de tout le monde ?

    C'est d'ailleurs un point dont je me plains ailleurs dans la dépêche : beaucoup de mathématiciens ne citent pas leurs sources.

    est-ce qu'il a caché sa source ?

    Demande-moi de prouver qu'il existe une infinité de nombres premiers. Je suis capable de te le prouver parce que je "connais" une preuve. Je serais par contre incapable de te citer ma source. J'ai sûrement lu la preuve à plein d'endroits différents.
    L'idée de la preuve est dans ma tête, je peux te la rédiger. Mais pas te donner la source sur laquelle je me base.

    D'une certaine manière, chatGPT est dans la même situation : l'idée de la preuve est encodée dans son réseau neuronal, et il est capable de la rédiger en l'adaptant aux notations que je lui donne dans la question. Mais il n'y a pas une source en particulier.

    Bref, ce sont les autres

    Bref, l'accusation de "voler une preuve et cacher la source" est certainement bien fondée contre beaucoup d'humains. Mais pas contre chatGPT.

  • [^] # Re: Sur la géométrie différentielle

    Posté par  (site web personnel) . En réponse à la dépêche Y a le Frido 2024 qu'est là. Évalué à 2.

    C'est ce qui te permet de permuter tes intégrales et tes sommes. […]

    Passer par la partition de l'unité "intersection" est, si j'ai bien compris ce que tu veux dire, ce qui est fait dans la proposition PROPooDYDPooOWNtfD (dans giulietta, chapitre Integration on manifolds). Mais la permutation effective des sommes dans la preuve est une invention personnelle. Je ne l'aie vue nulle part.

    Mais à la fin, je préfère la définition PROPooLCYGooLUxEYS
    (pure invention personnelle) qui me semble plus intrinsèque que les partitions de l'unité.

  • [^] # Re: Sur la géométrie différentielle

    Posté par  (site web personnel) . En réponse à la dépêche Y a le Frido 2024 qu'est là. Évalué à 3.

    On résout cette difficulté en prenant des coordonnées dans l'algèbre de Lie. Tous les choix de coordonnées mènent au même atlas maximal (dans la terminologie de Lafontaine) donc à la même structure différentielle — donc on peut se contenter de définir les cartes en utilisant l'espace vectoriel qu'on veut.

    C'est ce qui est fait. La définition d'une variété accepte des cartes de n'importe quel espace vectoriel normé.
    Il est démontré que tout variété accepte un atlas composé de cartes provenant de \mathbb{R}^n.
    Par contre, avec cette approche, on ne peut plus parler de l'ensemble de toutes les cartes.

  • [^] # Re: Constante de Weiner

    Posté par  (site web personnel) . En réponse à la dépêche Y a le Frido 2024 qu'est là. Évalué à 6.

    cette formulation serait à éviter dans un tel ouvrage […]

    Tu as entièrement raison, et je m'efforce d'éviter ce genre de formulations en général.
    Mais ce cas-ci est différent. En effet, la partie sur la «constante de Weiner» est (à moitié) humoristique : la constante de Weiner vaut 2.

    Autrement dit, cette partie regroupe différents théorèmes contenant le nombre 2. Certains étaient déjà connus des hommes de Cro-Magnon.

    Allez ! Défi narratif!
    Donner un résultat mathématique concernant le nombre 2 qui était certainement connu des hommes de Cro-Magnon, mais exprimer ce résultat sous forme moderne le plus abstraitement possible.

    Je dirais : «le nombre de Lunes dans une saison est égal à la constante de Weiner» … mais je crois que c'est faux :(

  • [^] # Re: Constante de Weiner

    Posté par  (site web personnel) . En réponse à la dépêche Y a le Frido 2024 qu'est là. Évalué à 3.

    C'est quoi une CNS ?

  • [^] # Re: Constante de Weiner

    Posté par  (site web personnel) . En réponse à la dépêche Y a le Frido 2024 qu'est là. Évalué à 2.

    NB: Pinaillerie : tu dis que la constante de Weiner est l'indice du groupe alterné dans le groupe symétrique à tout ordre, il faut exclure les ordres strictement inférieurs à cette même constante.

    Je vais ajouter "ordre NON TRIVIAL". Ça fait toujours bien.

  • [^] # Re: Questions de novice

    Posté par  (site web personnel) . En réponse à la dépêche Y a le Frido 2024 qu'est là. Évalué à 3.

    Et par contre, pourquoi cette numérotation -2.1 ?

    Le vrai début de la mathématique est le chapitre 1.
    Donc l'introduction est le zéro (logique)
    Donc ce qui est avant est -1 (logique)…

    …

    heu …

    ben du coup je ne sais pas pourquoi j'ai mis -2.
    Je change en -1 pour la prochaine fois.

    Ou alors je ne mets pas de numéro de chapitre. Mais alors je dois modifier le \thesection pour qu'il n'affiche pas le chapitre.
    Ch'ai pas ce qui est le mieux …

  • [^] # Re: Extensions de corps

    Posté par  (site web personnel) . En réponse à la dépêche Y a le Frido 2024 qu'est là. Évalué à 2.

    La nuit portant conseil, j'ai un exemple peut-être plus convainquant.

    Si h\in\mathbb{R}, que signifie «\mathbb{R}[h]» ? Il y a au moins deux sur-anneaux (corps ?) de \mathbb{R} qui méritent ce nom.

    • Le corps \mathbb{R} lui-même
    • L'anneau des séries formelles en h. J'ai pas vérifié, mais je suis prêt à parier qu'il y a moyen de l'étendre un peu pour en faire un corps.

  • [^] # Re: Extensions de corps

    Posté par  (site web personnel) . En réponse à la dépêche Y a le Frido 2024 qu'est là. Évalué à 3.

    Je suis d'accord que, dans le contexte, on s'attend à ce que \sqrt{2}^2=2. Mais il n'empêche que j'ai bien le droit de mettre la structure que je veux sur l'ensemble

    Après tout, \mathbb{Q} est un ensemble de classes d'équivalences de paires d'entiers tandis que \sqrt{2} est une classe d'équivalence de suites de Cauchy dans \mathbb{Q}.

    Je suis déjà gentil d'écrire a+b\sqrt{2}. Je devrais écrire (a,b).

    Alors, certes, mettre la structure de corps qui fait \sqrt{2}^2=3 est un sale coup, parce que DANS CE CAS-CI, on est tacitement d'accord de prendre la structure héritée de \mathbb{C}.

    Mais qu'est-ce qui me garantit qu'il n'y a en général pas d'ambiguïtés ?

    Soit un corps \mathbb{K} et un sur-corps \mathbb{L}_1 contenant un élément a.
    Qui me garantit qu'il n'y a pas un autre sur-corps \mathbb{L}_2 contenant également l'élément a ?

    En tout cas, la notation \mathbb{K}[a] n'a de sens que si on est tacitement d'accord sur un sur-corps de \mathbb{K} contenant a. C'est tout mon point.

  • [^] # Re: bravo

    Posté par  (site web personnel) . En réponse à la dépêche Y a le Frido 2024 qu'est là. Évalué à 3.

    Le p est dans le groupe : Z/pZ.
    C'est corrigé pour l'année prochaine.

    Ceci n'a rien à voir avec cela, mais pour citer des théorèmes, c'est plus simple de donner le label en vert à côté. Ici : PROPooKSCRooPyInSv. Au moins lui, il est garanti de ne pas changer, même si la proposition change de numéro et de pages.

  • [^] # Re: Questions de novice

    Posté par  (site web personnel) . En réponse à la dépêche Y a le Frido 2024 qu'est là. Évalué à 5.

    Bonne question.
    Les parties sont mises dans l'ordre pour avoir les meilleurs résultats quand on fait ctrl-f.

    L'index thématique sert à placer pratiquement tous les mots-clefs ou combinaisons de mots dont j'ai besoin.
    Ensuite vient la table des matières parce que c'est là que viennent les résultats les plus pertinents au ctrl-f quand je ne les trouve pas dans l'index thématique.

  • [^] # Re: infecte notation ?

    Posté par  (site web personnel) . En réponse à la dépêche Y a le Frido 2024 qu'est là. Évalué à 4.

    pourquoi des d ronds ? plutôt que le classique d/dx ?

    Très bonne question. Je n'utilise d/dx que quand il y a une seule variable (p.ex d/dt d'un chemin).

    Souvent les gens font une différence subtile.
    Prenons la fonction f(x,t)=x^2\sin(t) mais que dans le contexte, x est une fonction de t.

    Alors

    parce que c'est une dérivée partielle. On fait comme si x était une variable qui n'a rien à voir.

    Par contre

    parce que pour d/dt, on recherche toutes les dépendances en t, même à travers les fonctions.

    Typiquement le genre de notations que je déteste également.

    Il faut écrire f(x,t)=x^2\sin(t) puis éventuellement définir \phi(t)= x(t)^2\sin(t), et calculer \phi'(t).

  • [^] # Re: infecte notation ?

    Posté par  (site web personnel) . En réponse à la dépêche Y a le Frido 2024 qu'est là. Évalué à 6.

    J'ai peut-être exagéré en disant "infect", mais j'en ai beaucoup souffert dans ma jeunesse.

    Pour être plus précis, si on prend f(x,y)=x^2\sin(y), ce qu'on noterait

    est quoi ? C'est la fonction (x,y)\mapsto 2x\sin(y) ? Ou bien est-ce cette fonction évaluée au point (x,y) ?

    On devrait écrire

    C'est pourquoi je préfère écrire en deux lignes. D'abord f(x,y)=x^2\sin(y) et ensuite

    La notation \frac{\partial}{\partial x} incite à ne pas faire la distinction entre ce qui va être la fonction dérivée et ce qui est la fonction dérivée évaluée en un certain point.

  • [^] # Re: .

    Posté par  (site web personnel) . En réponse au lien Ce futur système de réservation de la SNCF suscite la polémique . Évalué à 1.

    C'est plutôt une bonne nouvelle. Ne crachons pas dessus…

    MAIS

    Ça reste tout de même une stat qui ne parle pas directement du nombre de voitures effectivement sur la route.

    Faisons un calcul.
    D'après l'article, on a eu 86000 voyages «début octobre» (je suppose que ça veut dire sur 15 jours…)

    Vu que cela est une augmentation de 125% par rapport à la situation sans gratuité, si je note N le nombre de trajet en 15 jours il y a 5 ans, ce serait

    86000 = 225 N /100
    (une augmentation de 125% signifie qu'on a 225% de ce qu'on avait avant)

    N = 38000.

    Augmentation : 86000-38000=48000

    La moitié sont des trajets qui auraient été faits avec la voiture ?
    Bon.
    24000 trajets économisés en 15 jours. Bref, 3200 trajets par jour.

    Est-ce que c'est beaucoup pour une ville comme Dunkerque (200.000 habitants) ?
    Bonne question. J'en sais rien.

    Et si on en déduit divers effets de rebonds impossibles à réellement prévoir ?

    Bref. Tout ça pour dire que la vraie stat qui nous intéresse, ce sont les voitures effectivement sur la route. Le reste, ce sont des proxy qu'il est difficile d'interpréter.

  • [^] # Re: .

    Posté par  (site web personnel) . En réponse au lien Ce futur système de réservation de la SNCF suscite la polémique . Évalué à 2.

    Cela dit, on y arrive déjà dans quelques villes françaises et je pense que ça serait très vertueux sur tout le pays : d'un coup, les gens seraient encouragés à prendre les transports en commun plutôt que leur véhicule individuel.

    C'est sûr ça ?
    Je reviens de vacances à Dunkerque où ils ont les transports en commun sont gratuits depuis 4 ans. La compagnie de bus se vante beaucoup que la fréquentation des bus a été multipliée par 2 depuis lors.
    Mais ils ne donnent pas de chiffres sur la fréquentation des voitures individuelles.

    Il y a bien de la différence entre augmenter l'usage des bus et diminuer l'usage de la voiture individuelle. Or, climatiquement, le but n'est pas d'avoir plus de monde dans les bus, mais bien d'avoir moins de monde dans les voitures.

    Je me fais le même genre de réflexions à chaque fois que je passe par Brugges ou Amsterdam. On voit tout de suite qu'il y a plus de vélos… mais c'est pas clair au premier coup d'œuil qu'il y ait moins de voitures.

    Bref :

    • Une stat qui lie gratuité des transports en commun avec l'augmentation de l'utilisation des transports en commun ne m'intéresse pas,

    mais :

    • est-ce qu'on a une vraie statistique qui lie la gratuité des transports en commun avec la diminution de l'usage de la voiture ?