-
Les problèmes « insolubles » sont-ils apparentés aux problèmes « difficiles à résoudre » ?
Illustration par DALL-E (+PJ)
La sous-discipline dite « fondements des mathématiques » permet à des mathématiciens, logiciens, informaticiens et philosophes de s’interroger quant à la nature profonde de questions susceptibles de sembler non-problématiques aux praticiens de ces quatre disciplines envisagées séparément mais qui apparaissent rapidement opaques quand leurs points de vue sont rapprochés, les présupposés de chacun de ces points de vue étant implicites et le plus souvent lacunaires, étant basés sur les intuitions culturellement partagées par de petites communautés insouciantes d’une véritable rigueur formelle.
Problèmes classiques d’« indécidabilité » :
1) Le problème de correspondance d’Emil Post (PCP) : … Lire la suite…
-
ChatGPT a-t-il tué l’enseignement ?, le 24 janvier 2023 – Retranscription
Bonjour, nous sommes le mardi 24 janvier 2023, et je voudrais vous parler aujourd’hui d’un événement qui affole les établissements d’enseignement. Et qui pose la question : l’enseignement est-il encore possible ?
Il y a 2 ans, on avait eu l’amabilité de m’inviter comme keynote speaker, en français « conférencier invité », à l’association francophone des spécialistes des sciences de l’éducation. Qu’est-ce qui me valait l’honneur d’être invité là ?
… Lire la suite…Eh bien le fait que, en 1984, j’avais publié avec Geneviève Delbos un ouvrage qui s’appelait « La Transmission des savoirs », qui était justement sur ce qu’on appelle par
-
IA et perte de sens chez les graphistes, par Olivier Coulon
Les contreparties sociales et juridiques de l’IA.
Il y a quelques mois je postais ici-même un article au sujet des images réalisées par des Intelligences artificielles ou plus précisément par des applications numériques de text-to image. A l’époque (c’est déjà de la préhistoire) un seul logiciel existait. Les performances étaient déjà surprenantes mais les artistes semblaient plutôt amusés par cette nouvelle technologie. Pourtant j’avais écrit que cet outil risquait de faire disparaître bon nombre d’emplois dans le graphisme.
Sept mois plus tard, 3 nouvelles applications sont apparues dont Dall-E créé par OpenAI, les concepteurs de ChatGPT. Ces nouveaux … Lire la suite…
-
Comment ChatGPT raisonne : deux expériences, par Renaud C
Puisque le sujet ChatGPT vous intéresse, je vous fais part de quelques expériences réalisées au cours de ce mois avec ce logiciel, je suis bien loin de m’extasier comme la presse et en partie vous-même le faites.
Je dois préciser que tout en étant informaticien, je suis à peu près ignare en intelligence artificielle, mon domaine actuel, c’est le calcul de paie sur des systèmes SAP après une expérience en informatique industrielle.
Ma motivation est de voir ce que je peux tirer de ce nouvel outil en tant qu’utilisateur critique, d’en évaluer la pertinence et voir s’il y a des … Lire la suite…
-
Vidéo – ChatGPT a-t-il tué l’enseignement ?, le 24 janvier 2023
Ou bien est-ce notre représentation de nous-même qui a entièrement basculé du fait de la Singularité (le robot dépassant l’humain) ?… Lire la suite…
-
Résoudre P vs NP à partir de considérations de base I. La présupposition d’une similarité entre procédure de solution et de vérification
Voici, traduite en français, la définition de la conjecture « P vs NP » telle qu’on la trouve sur Wikipédia en anglais. Partons de la version en anglais car la définition de l’entrée en français est d’emblée assez alambiquée :
« Le problème P vs NP est un problème majeur non résolu en informatique. Il s’agit de savoir si tout problème dont la solution peut être vérifiée rapidement peut également être résolu rapidement. »
Examinons quelques exemples de problèmes dans cette perspective d’une comparaison entre vitesse de résolution et vitesse de confirmation que le problème a bien été résolu.… Lire la suite…
-
La fin de l’intégrité des transactions : un bon candidat pour le soliton, par Marc de Castelnau
On lit dans la presse que la mise au point des ordinateurs quantiques progresse et attire intérêt et capitaux : Le Monde, Cryptographie post-quantique : de quoi parle Emmanuel Macron ?
La question sur la faisabilité d’ordinateurs capables de casser les chiffrements actuellement utilisés dans le domaine des transactions financières n’est plus de savoir si elle arrivera, mais bien plutôt quand elle arrivera !
Qu’arrivera-t-il ce jour là ?
La puissance de l’infrastructure numérique sous-tendant l’industrie de la finance ne risque-t-elle pas de se retourner instantanément contre elle, jetant un doute généralisé sur l’intégrité des transactions ?
A moins que … Lire la suite…
-
Alert (AA22-103A), par Anton Klimm
Je suis informaticien, je vois les alertes majeures quant aux logiciels malveillants compromettant tout le code Microsoft. Je suis consultant Senior en informatique mais pas encadrant.Ce soir j’essaye de joindre un sous-directeur d’une des plus grosses sociétés de service informatique française, injoignable ! Deux spécialistes de la sécurité informatique, certes à 22h00, mais injoignables aussi, j’envoie les liens expliquant que les logiciels Microsoft sont compromis et je n’ai que des gens qui dorment ou me répondent par un SMS « Allez bonne nuit »
Comment des gens qui ont des postes de sécurité dans des grandes entreprises françaises peuvent-ils … Lire la suite…
-
Et pendant ce temps-là… P vs. NP, le 28 mars 2022 – Retranscription
Retranscription de Et pendant ce temps-là… P vs. NP, le 28 mars 2022. Bonjour, nous sommes le lundi 28 mars…
Vous devez être connecté pour lire le contenu complet de l’article. Vous pouvez vous abonner ici… Lire la suite…
-
Vidéo – Et pendant ce temps-là… P vs. NP
Me faire comprendre, même des …. mathématiciens… Lire la suite…
-
1990 : Préhistoire parisienne du trading à haute fréquence
Ce qui deviendrait le trading à haute fréquence est né en parallèle au début des années 1990 en tant que trading algorithmique en divers hauts-lieux des marchés financiers, dont en particulier, Paris.
Trader (profil recherche) à la Banque de l’Union européenne (elle absorbera le groupe CIC), je mets au point mon logiciel à partir de février 1990. Je définis des stratégies de vente et d’achat automatique sur le marché à terme des obligations, des devises et des matières premières. Ces stratégies émergent d’une optimisation sur des « séries chronologiques » (de longues suites de prix de marché) à partir d’une … Lire la suite…
-
Combien de temps a-t-il fallu pour leur apprendre à faire ça ?
Réponse : … Lire la suite…
-
Sur certaines questions de cryptographie quantique, par Rhizome
Ouvert aux commentaires.
Bonjour M. Jorion,
Ayant moi-même étudié en cryptographie quantique pendant 10 ans, je suis estomaqué de voir le manque de compréhension de vos interlocuteurs.
La plus grosse erreur est la suivante :
… Lire la suite…Or dans la machine quantique on ne sait pas faire l’équivalent de ces CCE pour des raisons fondamentales de logique quantique, car on ne peut pas dupliquer les états superposés sans les détruire [donc la redondance est impossible], quand bien même on sache les télé-transporter [grâce à la non localité, ce que permet la dite logique]. La difficulté ainsi soulevée est rédhibitoire car on
-
Information et ordinateurs quantiques, par Jacques Printz
Ouvert aux commentaires.
Quelques mots à propos d’un sujet qui revient régulièrement dans les discussions sur la technologie et les imaginaires technologiques, celui de l’information et des « ordinateurs » quantiques.
J’ai assisté lundi 3/02 à un séminaire de l’AEIS où nous avions invité Daniel Estève, Directeur de recherche au CEA et responsable de l’équipe Quantronique qui étudie les possibilités de calcul quantique, à partir de circuits électriques dits quantiques, c’est à dire très petits et mettant en œuvre des phénomènes quantiques comme la superposition des états ; avec 2 bits quantiques, on va pouvoir superposer 4 états notés 00, … Lire la suite…
