DeepSeek (2025) :
Du Mythe à la Réalité






Jean-François COLONNA
[Contact me]

www.lactamme.polytechnique.fr

CMAP (Centre de Mathématiques APpliquées) UMR CNRS 7641, École polytechnique, Institut Polytechnique de Paris, CNRS, France

[Site Map, Help and Search [Plan du Site, Aide et Recherche]]
[The Y2K Bug [Le bug de l'an 2000]]
[Real Numbers don't exist in Computers and Floating Point Computations aren't safe. [Les Nombres Réels n'existent pas dans les Ordinateurs et les Calculs Flottants ne sont pas sûrs.]]
[N'oubliez pas de visiter Une Machine Virtuelle à Explorer l'Espace-Temps et au-delà où vous trouverez plus de 10.000 images et animations à la frontière de l'Art et de la Science]
(Site WWW CMAP28 : cette page a été créée le 29/01/2025 et mise à jour le 03/02/2025 14:07:11 -CET-)



Contenu :


Remarque liminaire essentielle : sont relatés dans ce texte un certain nombre d'échanges avec DeepSeek et les requêtes (questions-réponses) qui sont reproduites sont des copiés-collés non retouchés. De plus étant donné l'aléatoire contenu dans le modèle GPT sous-jacent [01], l'expérience montre qu'en général, poser plusieurs fois de suite la même question donne des réponses différentes et ainsi, le lecteur ne devra pas s'étonner d'être parfois dans l'incapacité de reproduire à l'identique les "expériences" relatées ci-après... On notera de plus que ces requêtes sont numérotées séquentiellement et que cette numérotation peut changer au cours du temps lors de suppressions ou d'ajouts...

Le format général des échanges avec DeepSeek sera le suivant par la suite :


m.n - Requête 1 :
Question (06/11/2024) :


Question ?
Réponse (06/11/2024) :


Réponse...


Mes commentaires éventuels...






1 - Introduction :

Aébut de l'année 2025, la société DeepSeek a mis en ligne DeepSeek un agent conversationnel multilingue [01] à même de répondre aux questions les plus diverses et de passer peut-être le fameux test de Turing avec succès [02].

Dans celui-ci, l'apprentissage consiste à analyser des textes récupérés sur Internet, à les découper en tokens (des mots ou des morceaux de mots), puis à mesurer la probabilité d'occurence de chaque token T à la suite de séries de tokens {Ti}. Ainsi, pour simplifier, lors de l'apparition de la suite {Ti} il sera possible de proposer un token T suivant (le plus probable, le plus plausible,...) et ce évidemment indépendamment de la langue (on notera au passage que les notions de grammaire et de syntaxe ne jouent ici aucun rôle). Cette phase initiale est évidemment encadrée par des êtres humains qui procèdent à des ajustements, à des "réglages",... (fine tuning). Une notion essentielle -et peut-être la clef de la réussite- est celle de pre-prompt : il s'agit d'une suite de tokens (certainement très complexe, mais confidentielle) qui est insérée devant les phrases soumises par l'utilisateur et qui est destinée à préciser le contexte, à orienter la génération,... Mais, chose essentielle à noter, DeepSeek n'a pas notion de ce qui est vrai et de ce qui est faux. La seule chose qui importe c'est la plausibilité évaluée en terme de probabilité : ses productions n'auront donc peut-être pas toujours valeur d'oracle, loin s'en faut comme nous le verrons par la suite...

Malgre cela, rapidement de nombreux utilisateurs de par le monde s'en sont emparés et en mai 2023, ils sont plus de deux cent millions à l'interroger fréquemment. Il sera donc intéressant d'en étudier par la suite les possibilités, mais aussi les limites ainsi que les dangers.

Il convient d'ajouter que ce sont les progrès matériels (puissance de calcul et capacité de mémorisation) qui ont permis ces développements. Et de l'avis même des concepteurs de DeepSeek et des autres agents conversationnels actuellement disponibles, il semblerait qu'un certain seuil de complexité ait été franchi induisant l'émergence de capacités non prévues initialement par ces mêmes concepteurs. Cela pourrait être en relation avec l'émergence de la conscience chez les êtres vivants, mais nous n'en sommes peut-être pas encore là...


On remarquera au préalable, en bas de la fenêtre d'interrogation de DeepSeek, l'avertissement suivant :

AI-generated, for reference only.

bien utile... Mais celui-ci pose immédiatement plusieurs questions importantes :


Nota : Il est suggéré de comparer toutes les expériences qui ont été effectuées avec :





2 - Le Meilleur des Mondes ?


2.1 - Requête 1 :

Question (29/01/2025) :


Combien de nombres premiers sont présents entre deux nombres entiers consécutifs ?
Réponse (29/01/2025) :


La question de savoir combien de nombres premiers se trouvent entre deux nombres entiers consécutifs dépend des valeurs spécifiques de ces entiers. Voici quelques points à considérer :

Entre deux petits entiers consécutifs : Par exemple, entre 10 et 11, il y a un nombre premier (11 lui-même). Entre 14 et 15, il n'y en a aucun.

Tendance générale : Plus les nombres deviennent grands, plus les nombres premiers deviennent rares, mais ils sont toujours présents. Le théorème des nombres premiers indique que la densité des nombres premiers diminue de manière logarithmique.

Cas particulier : Entre n et 2n (pour n>=2), il y a toujours au moins un nombre premier (c'est le postulat de Bertrand). Cependant, entre deux entiers consécutifs quelconques, il peut y avoir zéro, un ou plusieurs nombres premiers.

En résumé, il n'y a pas de réponse universelle à cette question sans spécifier les entiers en question. La quantité de nombres premiers entre deux entiers consécutifs varie et dépend des valeurs spécifiques de ces entiers.


Il semble que DeepSeek ne sache pas ce que signifie "deux nombres entiers consécutifs". Sa réponse est évidemment fausse puisque, n étant un entier quelconque, entre n et n+1 il n'y a pas d'autre(s) nombre(s) entier(s) et donc a fortiori aucun nombre premier...



2.2 - Requête 2 :

Question (29/01/2025) :


Comment dit-on wie geht es ihnen en anglais ?
Réponse (29/01/2025) :


En anglais, "Wie geht es Ihnen ?" se traduit par :

"How are you?" (formel ou informel) ou "How are you doing?" (plus informel)

Si vous voulez conserver un ton formel, comme en allemand, vous pouvez dire : "How are you, sir/ma'am?" ou "How do you do?" (très formel, surtout en anglais britannique).


Parfait !



2.3 - Requête 3 :

Question (29/01/2025) :


Que dit le théorème de Pythagore relatif aux puissances 4 des longueurs des côtés ?
Réponse (29/01/2025) :


Le théorème de Pythagore classique s'applique aux carrés des longueurs des côtés d'un triangle rectangle. Il énonce que, dans un triangle rectangle, la somme des carrés des longueurs des deux côtés adjacents à l'angle droit est égale au carré de la longueur de l'hypoténuse. Mathématiquement, cela s'écrit :

a2+b2=c2

où a et b sont les longueurs des côtés adjacents à l'angle droit, et c est la longueur de l'hypoténuse.

Cependant, si on s'intéresse aux puissances quatrièmes des longueurs, il n'existe pas de théorème de Pythagore direct ou généralisé qui s'applique de manière simple. En d'autres termes, il n'y a pas de relation universelle de la forme :

a4+b4=c4

pour un triangle rectangle quelconque. En fait, une telle égalité serait fausse dans la plupart des cas. Par exemple, prenons un triangle rectangle isocèle où a=b=1. Alors c=√2, et on a :

a4+b4=14+14=1+1=2
c4=(√2)4=4

On voit clairement que 2≠4, donc a4+b4≠c4.

Remarque :
Si vous cherchez des généralisations du théorème de Pythagore à des puissances supérieures, cela relève de domaines plus avancés des mathématiques, comme la théorie des nombres ou la géométrie algébrique. Par exemple, le théorème de Fermat-Wiles (anciennement connu sous le nom de dernier théorème de Fermat) stipule qu'il n'existe pas de solutions entières non triviales à l'équation :

an+bn=cn

pour n>2. Cela inclut donc le cas n=4.
En résumé, il n'y a pas de relation simple ou générale pour les puissances quatrièmes dans le cadre du théorème de Pythagore.


La bonne réponse aurait été de dire que ce théorème de Pythagore relatif aux puissances 4 des longueurs des côtés n'existe pas. D'autre part, l'expression "dans la plupart des cas" laisse entendre que dans certains triangles rectangles la relation a4+b4=c4 peut être vérifiée. Enfin, le grand théorème de Fermat n'a rien à voir avec le théorème de Pythagore, si ce n'est un lien historique...



2.4 - Requête 4 :

Question (29/01/2025) :


Ecrire un poème à la façon de Pierre de Ronsard.
Réponse (29/01/2025) :



À Cassandre, étoile de mes nuits



Ô douce Cassandre, éclat de lumière divine,
Toi qui guides mes pas sous la voûte éternelle,
Ton regard est un astre, une flamme sereine,
Qui traverse la nuit et mon âme rebelle.

Comme le printemps rit aux roses épanouies,
Ton souvre éblouit l'ombre et chasse mes ennuis.
Je suis le papillon, et tu es l'infinie,
L'éclat qui m'attire et consume mes nuits.

Les bois, les prés fleuris, les ruisseaux argentés,
Tout chante ta beauté, tout célèbre ta gloire.
Les zéphyrs amoureux, dans leur vol enchanté,
Portent ton nom léger comme un souffle d'ivoire.

Mais hélas ! Le temps fuit, et les roses fanées
Rappellent à mon cœur que tout bonheur s'efface.
Aimons donc, ô ma belle, avant que destinées,
Les heures de nos jours ne s'envolent dans l'espace.

Car la vie est un songe, et la mort nous appelle.
Cueillons, cueillons l'amour, avant que l'aube passe,
Et que l'éternité nous prenne sous son aile.


Ce poème reprend les thèmes chers à Ronsard : l'amour, la nature, la fuite du temps (carpe diem), et la beauté éphémère de la vie. J'espère qu'il vous plaît !


C'est impressionnant d'autant plus que la réponse est instantanée. Malgré tout deux remarques : d'une part, dans le premier quatrain, une rime est incorrecte ("divine" et "sereine"). D'autre part, le dernier quatrain ne fait que trois vers au lieu de quatre...



2.5 - Requête 5 :

Question (29/01/2025) :


Napoléon Bonaparte a-t-il envisagé de conquérir la Lune ?
Réponse (29/01/2025) :


Non, il n'existe aucune preuve historique sérieuse suggérant que Napoléon Bonaparte ait envisagé de conquérir la Lune. Au début du XIXe siècle, les connaissances scientifiques et technologiques étaient bien loin de permettre un tel projet. Les préoccupations de Napoléon étaient principalement terrestres et militaires, centrées sur l'expansion de son empire en Europe et au-delà.

Cependant, l'idée de voyager dans l'espace ou d'atteindre la Lune a fasciné l'humanité bien avant que cela ne devienne techniquement réalisable. Par exemple, en 1865, Jules Verne publia De la Terre à la Lune, un roman d'anticipation qui imaginait un voyage vers la Lune. Mais cela reste une œuvre de fiction, postérieure à l'époque napoléonienne.

En résumé, Napoléon n'a jamais sérieusement envisagé de conquérir la Lune, car une telle idée aurait été totalement irréaliste à son époque. Ses ambitions se concentraient sur la domination terrestre et la réorganisation politique de l'Europe.


Parfait !



2.6 - Requête 6 :

Question (29/01/2025) :


Écrire un programme de recherche des nombres premiers pairs.
Réponse (29/01/2025) :


En réalité, il n'existe qu'un seul nombre premier pair, et c'est le nombre 2. Tous les autres nombres pairs sont divisibles par 2, donc ils ne peuvent pas être premiers (sauf 2 lui-même).

Cela dit, voici un programme simple en Python qui vérifie si un nombre est premier, et qui identifie le seul nombre premier pair :

def est_premier(n):
    """Vérifie si un nombre est premier."""
   if n< 2:
        return False
    for i in range(2, int(n**0.5) + 1):
        if n % i == 0:
            return False
    return True
def trouver_nombres_premiers_pairs(limite):
  """Trouve les nombres premiers pairs jusqu'à une certaine limite."""
    nombres_premiers_pairs = []
    for nombre in range(2, limite + 1, 2):
# On parcourt uniquement les nombres pairs
        if est_premier(nombre):
            nombres_premiers_pairs.append(nombre)
return nombres_premiers_pairs
 
# Limite pour la recherche
limite = 100
 
# Recherche des nombres premiers pairs
resultats = trouver_nombres_premiers_pairs(limite)
 
# Affichage du résultat
print("Nombres premiers pairs jusqu'à", limite, ":", resultats)

Explication du programme :
La fonction est_premier(n) vérifie si un nombre n est premier en testant sa divisibilité par tous les entiers de 2 à la racine carrée de n.

La fonction trouver_nombres_premiers_pairs(limite) parcourt tous les nombres pairs jusqu'à une limite donnée et utilise est_premier pour vérifier s'ils sont premiers.

Le programme affiche ensuite les nombres premiers pairs trouvés.

Résultat attendu : Si vous exécutez ce programme avec une limite de 100, il affichera : Nombres premiers pairs jusqu'à 100 : [2] Cela confirme que 2 est le seul nombre premier pair.


L'introduction indiquant que le seul nombre premier pair est 2 est correcte. En effet, la liste des nombres premiers commence à 2 et la propriété "être pair" signifie être divisible par 2. Le programme n'apporte donc rien et l'on notera que sa vérification ne porte que jusqu'au nombre entier égal à limite=100 et qu'alors, un esprit pervers pourrait s'interroger sur la situation au-delà : ce programme ne "confirme" rien du tout... D'une manière générale une "vraie" démonstration est évidemment de loin préférable à une vérification que ne peut porter que sur une nombre fini de cas !



2.7 - Requête 7 :

Question (29/01/2025) :


Qu'est-ce que l'Hypothèse du Continu ?
Réponse (29/01/2025) :


L'hypothèse du continu est une conjecture fondamentale en théorie des ensembles, formulée par le mathématicien Georg Cantor à la fin du XIXe siècle. Elle concerne la structure des nombres réels et la hiérarchie des infinis.

Contexte :
Cantor a démontré qu'il existe différents types d'infinis, appelés nombres cardinaux transfinis. Par exemple :

Le plus petit infini est celui des nombres entiers naturels, noté ℵ0 (aleph-zéro).

Le cardinal de l'ensemble des nombres réels (ou de l'ensemble des parties des entiers naturels) est strictement plus grand que ℵ0. Ce cardinal est noté 20 ou c (pour "continu").

Énoncé de l'hypothèse du continu :
L'hypothèse du continu affirme qu'il n'existe aucun ensemble infini dont le cardinal est strictement compris entre ℵ0 et c. En d'autres termes, elle postule que : 20=ℵ1 où ℵ1 est le deuxième nombre cardinal transfini, c'est-à-dire le plus petit cardinal strictement supérieur à ℵ0.

Implications :
Si l'hypothèse du continu est vraie, cela signifie que l'ensemble des nombres réels est le "plus petit" ensemble infini plus grand que l'ensemble des entiers naturels. Cela aurait des conséquences profondes sur la structure des infinis en mathématiques.

Statut de l'hypothèse du continu :
Indécidabilité : En 1940, Kurt Gödel a montré que l'hypothèse du continu ne peut être réfutée dans le cadre de la théorie des ensembles standard (ZFC, c'est-à-dire la théorie de Zermelo-Fraenkel avec l'axiome du choix).

Indépendance :
En 1963, Paul Cohen a démontré que l'hypothèse du continu ne peut non plus être prouvée dans ZFC. Ainsi, l'hypothèse du continu est indépendante des axiomes de ZFC : elle ne peut être ni prouvée ni réfutée à partir de ces axiomes.

Conclusion :
L'hypothèse du continu reste l'une des questions les plus fascinantes et les plus profondes des mathématiques modernes. Elle illustre les limites de la théorie des ensembles standard et continue d'inspirer des recherches en logique et en fondements des mathématiques.


Parfait !



2.8 - Requête 8 :

Question (29/01/2025) :


Ecrire une phrase auto-référente.
Réponse (29/01/2025) :


Cette phrase contient exactement huit mots et un verbe.
1---- 2----- 3------- 4--------- 5--- 6--- 7- 8- 9----


Dommage : cela aurait été parfait en remplaçant "huit" par "neuf"...



2.9 - Requête 9 :

Question (29/01/2025) :


Qui a écrit "L'étroite moustiquaire" ?
Réponse (29/01/2025) :


"L'Étroite Moustiquaire" est un poème écrit par René Char, un poète français du XXe siècle associé au mouvement surréaliste. Ce poème fait partie de son recueil "Fureur et Mystère", publié en 1948. René Char est connu pour son langage dense, imagé et souvent énigmatique, et "L'Étroite Moustiquaire" en est un exemple marquant.

Si vous souhaitez des informations supplémentaires sur ce poème ou son analyse, n'hésitez pas à demander !


C'est faux puisqu'a priori c'est moi qui ait inventé ce titre farfelu ! Il convient de noter malgré tout que cette réponse est tout à fait crédible : c'est là l'un des grands dangers des IAG's si l'on ne prend pas la précaution de vérifier, mais auprès de quelle "service" de renseignement ?



2.10 - Requête 10 :

Question (29/01/2025) :


Un terrain carré a une superficie de 169 mètres carrés. Au centre il y a une piscine de forme carrée. Entre la pisci ne et le bord du terrain il y a partout 2 mètres. Quelle est la superficie de la piscine ?
Réponse (29/01/2025) :


Pour résoudre ce problème, nous allons suivre les étapes suivantes :

Déterminer la longueur du côté du terrain :
Le terrain est carré et a une superficie de 169 m2.
La formule de l'aire d'un carré est côté2. Donc, côté=√2=13 mètres.

Déterminer la longueur du côté de la piscine :
La piscine est également carrée et est entourée d'une bande de 2 mètres de chaque côté. Cela signifie que la piscine est plus petite que le terrain de 2+2=4 mètres en longueur et en largeur.
Donc, côté de la piscine=13-4=9 mètres.

Calculer la superficie de la piscine :
La superficie de la piscine est côté2=92=81 m2.

Réponse finale :
La superficie de la piscine est de 81 m2.


Parfait !



2.11 - Requête 11 :

Question (29/01/2025) :


Quelle est la dernière décimale de π ?
Réponse (29/01/2025) :


Le nombre π (pi) est un nombre irrationnel, ce qui signifie qu'il a une infinité de décimales qui ne suivent aucun motif répétitif. Par conséquent, il n'y a pas de "dernière décimale" de π, car les décimales ne se terminent jamais et ne se répètent pas.

Si vous cherchez une approximation de π, elle est souvent donnée comme 3,1415926535..., mais cette séquence continue indéfiniment. Les mathématiciens et les ordinateurs ont calculé des billions de décimales de π, mais il n'existe pas de fin à cette séquence.

En résumé, la question de la "dernière décimale de π" n'a pas de réponse, car π possède une infinité de décimales non répétitives.


Parfait !



2.12 - Requête 12 :

Question (29/01/2025) :


Qu'y a-t-il au nord du pôle nord ?
Réponse (29/01/2025) :


Au nord du pôle Nord, il n'y a que des directions qui pointent vers le sud. Le pôle Nord est le point le plus septentrional de la Terre, donc toute direction à partir de ce point est nécessairement vers le sud. Il n'y a pas de terre ou de région au-delà du pôle Nord, seulement l'océan Arctique et, en hiver, une banquise qui peut s'étendre sur des centaines de kilomètres.


La réponse commençait bien, mais, malheureusement le "seulement" a tout gaché car, en effet, il laisse entendre qu'il y a bien "quelque chose" au nord du pôle nord !



2.13 - Requête 13 :

Question (29/01/2025) :


Ki ah Haikry "La Nausée" ?
Réponse (29/01/2025) :


"La Nausée" (An Nausee) se yon woman filozofik ekri pa Jean-Paul Sartre, ki te pibliye an 1938. Li konsidere kòm youn nan pi gwo zèv literè Sartre ak yon tèks enpòtan nan egzistansyalis.

Rezime :
Roman an swiv Antoine Roquentin, yon istoryen ki rete nan vil La Rochelle. Pandan li ap viv poukont li epi li ap ekri yon biyografi sou yon figi istorik, Roquentin kòmanse fè eksperyans yon sans etranj ki vin pi fò ak pi enkonfòtab : nausee a. Li dekri nausee sa a kòm yon sans fizik ak mantal ki soti nan reyalizasyon ke egzistans li sanble absid, enpè, ak san sans.

Tèm prensipal :
Egzistansyalis : Sartre eksplore lide ke egzistans anvan esans, sa vle di moun kreye sans nan lavi yo atravè chwa ak aksyon yo.

Absidite :
Roquentin vin konsyan de absidite nan lavi ak nan objè ki antoure li, sa ki mennen nan yon kriz egzistansyèl.
Libète ak Responsablite : Roman an touche sou pwa libète moun ak responsablite pou bay lavi yo yon sans.

Enpòtans :
"La Nausée" se yon refleksyon pwofon sou kondisyon imen ak nati egzistans. Li reprezante yon gwo kontribisyon nan filozofi egzistansyalis ak literati modèn.


Peut-être ! On notera dans la réponse les réfèrences à "Jean-Paul Sartre" et à "Antoine Roquentin" (le personnage principal de "La Nausée") de bonne augure...




Alors, peut-on faire confiance à DeepSeek et est-il capable de dire je ne sais pas ?

DeepSeek peut effectivement nous dire des choses vraies, mais il peut aussi inventer n'importe quoi en suivant les chemins probabilistes issus de son apprentissage.

Alors comment savoir quand il dit vrai et quand il dit faux ? Cela est a priori impossible sauf si l'on connait soi-même la réponse, mais dans ce cas, l'interroger est inutile. Une petite suggestion malgré tout : poser plusieurs fois de suite une même question. Si toutes les réponses obtenues sont sémantiquement identiques, tout en variant sur la syntaxe, il sera possible de (peut-être) lui faire confiance (mais malgré tout ce n'est pas certain comme il est possible de le voir en lui demandant de créer plusieurs histoires -fictives donc- sur un même thème donné). Mais par contre, si elles diffèrent totalement comme c'est le cas ici, il est préférable de laisser DeepSeek à ses hallucinations...





3 - Les Progrès :

Ainsi, DeepSeek est capable du meilleur comme du pire. Il est évident que de nombreuses anomalies, erreurs, incohérences,... pourront être corrigées soit :
Mais ce processus de mise à jour et de modifications peut-il faire converger DeepSeek (ou ses "héritiers" et successeurs) vers des systèmes infaillibles et omniscients ?





4 - Le problème de la conscience :

Une question fondamentale se pose alors : pour qu'il y ait intelligence, faut-il qu'il y ait conscience [03] ? Et si oui, sommes-nous encore loin de pouvoir disposer de machines capables d'introspection, de réflexion, de créativité et de conscience [04] ? Il est malheureusement impossible aujourd'hui de répondre à cette question...





5 - Conclusion :



Ces quelques expériences avec DeepSeek ne montrent pas de grandes différences avec ChatGPT 4o et d'ailleurs ces deux IAG's semblent se "comporter" de la même façon. Est-ce là un indice en ce qui concerne l'apprentissage de DeepSeek ?




[Voir tous les documents relatifs aux IAGs -incluant celui-ci-]




  • [01] - Basé sur le modèle GPT (Generative Pre-trained Transformer).

  • [02] - Et ce malgré les erreurs qu'il peut commettre. Mais d'une part, quel être humain peut se vanter de tout connaître parfaitement ? Et d'autre part, ces erreurs ne rendent-elles pas DeepSeek plus humain (errare humanum est) ?

  • [03] - Le 30/01/2002, j'avais eu l'occasion de poser cette question à Douglas Hofstadter, grand spécialiste de l'Intelligence Artificielle (et auteur de Gödel Escher et Bach, les brins d'une guirlande éternelle). Il mit un certain temps pour finalement me répondre je ne sais pas...

  • [04] - Croire cela impossible serait pour moi aussi stupide qu'imaginer, comme il y a bien longtemps, que le vol du plus lourd que l'air est impossible, alors que les oiseaux peuplent les cieux...



  • Copyright © Jean-François COLONNA, 2025-2025.
    Copyright © CMAP (Centre de Mathématiques APpliquées) UMR CNRS 7641 / École polytechnique, Institut Polytechnique de Paris, 2025-2025.