thoasm a écrit 10373 commentaires

En tout cas pour les maths, ça ne suffit pas : Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs

Pour des raisons fondamentale, la formalisation de preuve en langage naturelle et ses ambiguïtés dépends de la résolution de problèmes indécidables en terme algorithmique, parfois …

Plein de jeux sont probablement "bêtement" NP-complets. Le sudoku par exemple : https://www.cs.ox.ac.uk/people/paul.goldberg/FCS/sudoku.html Je pense que beaucoup de "puzzle-game" sont dans ce cas.

Pour de la Turing-completeness il faut un mécanisme de mémoire qui peut devenir arbitrairement grand. Ou un sous-espace continu comme dans l'implémentation d'une machine de Turing dans un billard tordu et à trou, comme j'avais posté : https://linuxfr.org/users/thoasm/liens/le-billard-est-turing-complet (l'astuce est de caser une infinité d'état possibles dans un espace fini pour coder la bande et la position de la tête de lecture…)

C'est normal dans ce type d'analyses, sinon souvent tout se réduit à un jeu fini. Si on prend le sudoku par exemple en principe on peut générer toutes les grilles par avance, et on arrive à un algo en O(1). Il faut étudier des généralisations pour que ça devienne intéressant. D'ailleurs il y a le peché originel de la machine de Turing avec une mémoire infinie, qui n'a rien à voir avec nos machines qui ont certes beaucoup de mémoire mais certainement pas infinie :) Pourtant on dit que la MT est un modèle d'ordi mathématique !

Dans Mario c'est ces limites sipprimpesqui permettent d'avoir une mémoire, sinon comme pour le sudoku on n'a qu'un niveau fini (la partie "automate fini" d'une machine de Turing, en gros)

En fin d'article :

For me, that was definitely the case on long car journeys—even if the version of Super Mario that I played is not among the most complex games.

Qui n'a de sens que si on prend en compte qu'il s'agit de considérer tous les niveaux possibles, dont les niveaux du jeu originel n'est qu'un sous-ensemble bien évidemment.

Mais c'est vrai qu'il y a des maladresses dans l'expression, notamment le fait qu'il parle de "niveaux", de "jeu" et de "plusieurs jeux"

Cette partie aussi n'a de sens que dans l'interprétation qu'on fabrique un niveau à partir d'une machine à compteur :

The team broke down Mario’s possible path through a level into individual sections, each corresponding to a calculation instruction of the counting machine. For example, the counter is “incremented,” or increased, meaning an enemy spawns when Mario traverses a specific path. This corresponds to the increment function. Other paths, however, decrease the number of enemies (decrement), and still other areas can open a passage when there are no more enemies (jump-if-zero). If, at some point, the path to the goal opens for Mario in this way, the simulated computer model has entered a halt state.

Aussi dans l'émission de France Culture "La Science, CQFD" en diffusion au moment ou j'écris ces lignes Sommes-nous tous accros aux mythes sur le cerveau ?

Le truc que tu n'as pas compris, qui est peut-être explicite ailleurs, je ne sais plus, c'est que ce sont des niveaux créés spécialement pour, pas les niveaux originaux. Mêmes règles et élément de jeu modulo les limites qui sautent, nouveaux niveaux.

Une réduction c'est une procédure qui prend une instance du problème initial et qui le transforme en une instance (ici un niveau) du problème final, avec certaines propriétés (qui dépendent de ce qu'on veut démontrer)

Oui le fameux lobby écolo qui arrive à lever des milliers de milliards d'un clin d'œil et a arrêter d'un coup le développement des énergies fossiles et pacifier les guerres associées tellement il est puissant et sournois.

Extrait de l'article

To prove that a problem belongs to a particular problem class, experts use the principle of reduction. This involves reducing one problem to another. For example, if it can be shown that the solution to a question about a Super Mario game would solve the halting problem, then Super Mario is at least as complex as the halting problem itself.

And that’s exactly what the researchers did. They focused on the question of whether a level in a Super Mario game is solvable—meaning that it can, in principle, be solved by trying all finite sequences of inputs—and equated this with the halting problem.

The team used a simplified version of the halting problem for this purpose. As it turns out, this problem can be formulated even for very simple computer models, so-called counting machines. These are theoretical models of computers that can only execute a handful of instructions: increase a counter by one, decrease it by one, halt, and, if the counter is zero, jump to another instruction. Even a rudimentary machine with these capabilities leads to the halting problem.

As the researchers demonstrated, a counting machine along these lines can be implemented in some games of the Super Mario series. This allows the question of whether the machine will eventually stop to be reframed as: Can the player reach the goal in this level?

Si tu trouves que c'est pas assez rigoureux et/ou mal vulgarisé, t'es quand même un public particulièrement difficile. Dans le cadre du reste de l'article, c'est parfaitement intégré et à mon avis totalement adapté au public cible de ce magazine. Après si t'as des choses un peu plus constructive à dire ça peut être intéressant pour celleux qui voudraient expliquer ce genre de chose à la jeunesse :)

La formulation peut être perçue comme condescendante. Le seul truc à faire c'est de s'excuser éventuellement et d'en tenir compte pour la suite. Pas vraiment de nier le ressenti de l'autre "il est faux". Un "ah excusez moi je ne percevais pas ça comme condescendant" pourrait largement aplanir les choses.

Par contre "La « tonalité » ou l'intention négative n'existe que dans l'esprit des lecteurs" pas vraiment, ça se lit comme "c'est pas moi qui me suis mal exprimé c'est vous qui êtes trop bêtes pour comprendre.

Les outils numériques c'est pratique mais tout le monde n'aime pas fondamentalement ça, et les changements surtout quand on s'y est mis péniblement sur le tas par la force des choses c'est évident pour personne. Y compris les geeks qui multipliaient les tests d'interface différente par le passé finissent par bien aimé le confort de l'habitude …

Personne n'aime trop ce genre de changement. C'est évidemment probablement plus simple quand tu vois différents devis mais que tu ne mangera pas la paté du chien d'imposer un changement aux employés qu'à soi quand c'est moins cher …

Tu veux faire toute l'humanité par ordre alphabétique ? Il manque au moins les Aarons !

Pardon, il a investi dans l'IA mais on sait pas exactement dans quoi, pas forcément la détection

Enfin, Samuel Fitoussi se présente sur son compte X comme un investisseur dans les start-ups dédiées à l’IA, via le fonds d’investissement Frst. « Balance ton Claude » n’a pas répondu directement à notre question sur ce qui le lie éventuellement au logiciel Pangram utilisé pour détecter les textes qui seraient générés par IA. « C’est, à l’heure actuelle, l’outil le plus efficace », avance le compte qui mentionne explicitement la marque dans son handle (@Pangramed).

https://www.20minutes.fr/arts-stars/culture/rentree_litteraire/4248598-20260925-investisseur-ia-anti-wokisme-samuel-fitoussi-origine-polemique-thelyson-orelien

(l'article précise aussi que le type est "anti-woke", ce qui alimente les soupçons de racisme autour de cette affaire)

que le but de "balancer" quelqu'un soit de faire causer ça très certainement. Que ça fasse avancer la problématique de l'IA dans la science ? Ben non. Je pense que son texte là, tout le monde s'en fout, et les scientifiques évidemment ne l'ont pas attendu, ce texte, pour réfléchir à ça. Sa diffusion va être confidentielle, ça sert à rien.

Reste la dénonciation d'un auteur Haïtien par un collectif d'anonyme, qu'on a toujours pas entendu sur la question d'ailleurs. Par un type qui a des intérêts dans la détection de travaux IAs … mais dans l'ensemble finalement ça a plutôt l'air de normaliser l'usage de l'IA, on a des tas d'écrivains qui sont intervenus dans les médias pour dire qu'ils s'en servaient à divers degrés.

Je n'ai lu qu'en diagonale mais il me semble que c'est raté. Si le but c'est de dénoncer une problématique générale dans le monde universitaire … prendre l'angle personnel en "balançant" une personne en particulier et qui plus est absolument pas universitaire est carrément choquant. Ça ne plaide pas du tout sur la sincérité de la démarche.

Qui plus est, euh, le propos me semble d'une banalité confondante en terme de problématique de l'usage de l'IA dans le monde universitaire …

La probité, c'est quand tu trouves que Marine le Pen est trop molle ?

Ah c'est moche, faudrait pas annoncer un code avant l'adoption définitive pour éviter ça …

Ils se rejoignent sur le darwinisme social, le plus intelligent/capable le prouve en devenant riche et de fait dominateur.

Du coup c'est une notion particulière de liberté : le plus riche fait ce qu'il veut, les pauvres … Sont libres de bosser pour lui. Voir pour les extrêmes libertariens, de volontairement signer un contrat pour abandonner leur liberté.

La liberté facón ultra libéral c'est Peter Thiel : la démocratie n'est plus compatible avec la liberté parce qu'elle l'entrave lui, le riche qui a montré sa supériorité donc peut guider l'humanité, et donne trop de pouvoir aux inférieurs médiocres.

• Même image avec "Mais ou j'ai mis le mot de passe de ce multi-compte secret ?" *

Pas assez gros, passera pas : Nombre_de_Shannon

Peut être que l'étiquette "humour" était un indice aussi :)

Je crois que j'ai la réponse mais elle est tellement énorme qu'elle ne tient pas sur Internet dans la marge.

Au cas où, c'est une variante de l'argument du monde parodié "On doit tout mettre sur l'IA parce qu'elle nous apportera une prospérité infinie".

Tu veux dire les algorithmes de recommandation "personnalisés" pour voir du slop ?

La question aurait aussi pu être soulevée dans la discut' de ce lien. Manifestement les LLMs ne sont pas vraiment capables d'utiliser correctement ces informations folle !

(non ce n'est pas une pub éhontée, ce lien est de l'histoire ancienne, ce n'est pas moi qui l'ait posté et il est pertinent  )

Cliquez ici