Ceci étant dit, le matraquage du gouvernement sur LFI,, est-ce qu'au fond ça ne leur fait pas de la pub gratuite ? Je veux dire, les manifs réunissent du monde, et il y en a certainement beaucoup plus que ça qui sympathisent avec les revendications. Je ne serais pas étonné que le vote LFI chez les jeunes s'envole encore plus avec ce discours, et qu'une bonne partie de l'électorat « anti-système » voie soudain LFI comme une possibilité.

Cette mascarade de l'« ultra-gauche ». Genre des gens qui ultra-croient aux droits de l'homme ? Qui ultra-respectent la dignité humaine ? Ah ouais ça fait peur.

La cuve à pisse qui dit : « On n’a pas sous-dimensionné le dispositif, on a eu affaire à une arrivée massive de casseurs et de pilleurs, qui ont agi par groupes, se sont dispersés et disséminés, et évidemment, c’est beaucoup plus compliqué à contenir quand vous avez des groupes épars »
Il était *impossible* de faire une manif tranquille sur le trajet prévu, les flics encadraient Bellecour, lançaient les lacrymo dans tous les sens, comment on pouvait faire autrement que partir dans une direction au hasard ? Le niveau de foutage de gueule est toujours plus grand, et à près ils s'étonnent qu'on se radicalise.

J'essaye d'aller à la manif à Lyon, Bellecour est sous les gaz et on a entendu plusieurs grosses détonation. Je n'ai pas pu accéder à la place, on a reflué vers le Rhône.
Le message est clair : il n'y aura pas d'écoute, on ne recevra que de la violence.
Je suis plus prêt à la grève générale que jamais.

Gowers qui dépense son énergie à discuter sur son blog du risque de l'extinction humaine par IA, c'est encore plus triste que la déchéance d'Atiyah dans ses vieux jours.

Et je viens de faire une première mise à jour pour ajouter dans l'angle économique la question du pillage et du plagiat, et dans une réponse à l'énervante objection « ce n'est qu'un outil ».

Bon, ça y est, j'ai à mon tour couché sur mon clavier mon avis sur l'IA générative :
https://brkloeckner.weebly.com/blog/pourquoi-je-suis-iabstinent
Ça me permettra d'y renvoyer les gens au lieu de me répéter.

Question de math qui me passe par la tête en écrivant mon cours sur les séries : qu'est-ce qu'on sait de la distribution asymptotique des sin(n²) dans [-1,1] ?

Oh là là, la position du directeur de l'INSMI est désastreuse : https://www.insmi.cnrs.fr/fr/cnrsinfo/intelligence-artificielle-recherches-mathematiques-editorial-christophe-besse
Sous couvert de plein de mots raisonnable (« pas de précipitation »), il dit en substance qu'il faut foncer dans l'IA générative, que notre vie en dépend.

Soooo tired of this shitload of blogposts about maths and AI that, one way or another, speak of "this AI age". Whatever they want to say, this sole phrase is conveying a sense of inevitability, it sidesteps all its harmful consequences, I just cannot stand it anymore.

Les contrepèteries graveleuses au tableau de la salle café du labo :

LRT Je suis sûr qu'il existe des gens qui ne mettent pas leurs papiers sur arXiv de peur qu'on leur pique leurs idées, et qui utilisent ChatGPT ou Claude pour les écrire.

Est-ce que je viens vraiment de voir dans le métro une campagne de pub "la prison recrute" en partenariat avec Disney+ ?
Je vais préférer croire que je ne suis pas encore bien réveillé.

J'ai pas envie de me battre avec mes pairs plus brillants que moi, mais le sérieux avec lequel ils prennent leurs théorèmes paraît tellement dérisoire par rapport à leur incroyable faculté à ne surtout jamais évoquer les conséquences écologiques, sociales et politiques de l'usage des IA génératives.

@tomari Bienvenu ici ! Pour bien démarrer, il est conseillé de s'abonner à des mots# et des comptes, sinon ça paraît un peu vide.
Une tradition est également de faire un pouet d'introduction.

Des fois je me dit que sur Mastodon j'ai une bulle de résistance à l'IA gen, que peut-être le monde majoritairement est en extase et tout.
Aujourd'hui un étudiant m'a expliqué qu'il reprenait des études parce que sont job de développeur était devenu chiant en trois ans à cause de l'IA. J'ai l'impression qu'il était bien payé et qu'il a pu mettre de côté pour faire autre chose. Il est super motivé pour apprendre des choses.
Ça m'a fait ma journée (même si c'est dommage que son boulot ait tourné comme ça).

Je viens de lire un post qui célèbre notamment les bibliothèques, et c'est vrai que sans elles je serai probablement ruiné. Ma fille a besoin de 5 cartes de bibliothèque pour survivre (la sienne, celle de sa mère et celle de son frère à Villeurbanne, la sienne et une autre à Lyon). On a une étagère réservée au roulement des livres empruntés. C'est la plus grande dévoreuse que j'ai jamais vu.

(Si vous avez d'autres exemples de detournement de proxy, je suis preneur ; et je ne suis sans doute pas le seul a avoir eu cette idée, toute source et nom préalablement utilisé m'intéressent).

Bien sûr, la course aux théorèmes ne date pas de la hype des LLM, mais cette dernière vient renforcer et accélérer la première, et surtout, elle le fait en se dispensant de ce qui devrait faire le coeur de notre métier. Si on cours après les théorèmes en les démontrant nous-mêmes, on a besoin de développer une compréhension des maths, de se confronter aux démonstrations des collègues, on s'émerveille et on peut se laisser guider par l'esthétique. Quand on fait ça avec des LLM, on court-circuite ce qui compte, on détourne le proxy.
5/5

L'émotion esthétique de la compréhension mathématique est à mon sens beaucoup plus importante que ses éventuelles applications pratiques ; même en maths appli, l'émerveillement de mieux comprendre un phénomène grâce à une formalisation mathématique devrait être le coeur de notre motivation.
Aussi, et crucialement, tout ça nous forge en tant qu'enseignantes et enseignants universitaires, qui est le rôle dans lequel nous avons de loin le plus d'impact.
4/