ia suite

J'ai fait la synthèse ici lien des titres des notes de mes échanges avec les ia. Les ia m'ont fourni plus de 1800 pages de texte en 5 mois, c'est une production industrielle pleine de vide. J'ai coloré le 88 parce que les ia ont démontré des formules que j'avais inventées (je ne suis pas capable de juger si les démonstrations sont justes, on est amatrice ou on est professionnelle, ce n'est pas la même chose) et le 277 parce que j'aime bien les multi-courbes sur le tore. C'est tout.
Synthèse par l'ia claude pour l'approche 4 lettres, 16 règles lien

4 résumés par les ia de leur 1800 et quelques pages
(mistral) lien       (lumo) lien       (gemini) lien       (deepseek) lien

Discussion au sujet de la découverte de démonstrations lien

reprise de la formalisation en Lean du treillis lien

Enfin un peu d'air respirable !

4 novembre 2026 : je fais de la publicité pour le musée Camille Claudel à Nogent-sur-Seine, au sud-est de Paris. J'y ai vu les merveilles ci-dessous, et d'autres.

tradia avec deepseek

Kepler et les flocons de neige lien et petit hommage lien

Gödel et l'incomplétude lien

Happiness

lien

intelligence artificielle

Murray Shanahan, chercheur en IA à l'Imperial College de Londres : lien
Albert Moukheiber, chercheur en neurosciences lien

Claude Cohen-Tannoudji

Le professeur Claude Cohen-Tannoudji était un grand physicien français.
L'article du Monde lien
Hommage lien
Il avait fait sa scolarité secondaire dans un lycée de BeO, le quartier de mes parents : voici des liens vers des conférences qu'il avait données :
dans le cadre du Symposium consacré à la lumière au Collège de France La lumière : un outil pour manipuler les atomes (15.10.2015) lien
Souvenirs des Houches, histoire courte de Anne Papillault et Jean-François Dars, 31 juillet 2017 lien
à Malte, en Novembre 2013 Atomes et Lumière lien

zeta Connes et al. avec l'ia claude

programme Connes et al. : quelques autres tests lien

et autre : traduction par deepseek (se reporter à l'original sur arxiv si la traduction sème un doute), Navier-Stokes et openai par des experts lien

Probabilités, essayer de comprendre pourquoi on ne peut pas utiliser les heuristiques pour démontrer

lien
ni d'autres structures lien
Par curiosité, j'ai demandé à trois ia (deux américaines et une française) de me fournir mon contexte au format markdown (parce que j'étais étonnée par un fichier qui s'ouvrait régulièrement et qui semblait conserver comme un historique) et c'est assez édifiant. L'ia suisse, l'ia du moteur hégémonique et l'ia chinoise ne conservent un tel contexte qu'à la demande.

Hasard

Cette dernière phrase de Riemann est épatante : il suffit de changer l'ordre dans lequel on somme pour obtenir toutes les valeurs qu'on veut !

après le commencement, le milieu de la fin

E.T. retourner maison lien

Grain d'sel : s'interroger sur les inquiétudes ia versus maths humaines

le dépôt primegaps par exemple lien
points de vigilance au sujet des pièges des conventions informatiques lien

Pédagogie

revue Eureka :
1 lien       2 lien       3 lien       4 lien       5 lien       6 lien       Palme d'or : Lemme de Yoneda (traduction sans images dans mon numéro 4) lien      Archives lien

J'ai cotoyé, comme collègues, 29 années durant, des experts de la pédagogie de toutes les matières, toutes, et ces 29 années d'expérience ont été d'une richesse immense (presque infinie) et restent chères à mon cœur.

Souv'nirs idiots

densité du photon par nanomètre-cube lien
Charlélie Couture : la balade du mois d'août 75 lien

Ecouter les inquiétudes

Une émission au sujet de l'ia avec pour intervenants côté mathématiques : Isabelle Gallagher, François Charles (ainsi que Hugo Duminil-Copin ou Cédric Villani dont il est question dans les reportages de l'émission) lien
Il est question de ce dépôt de 719 preuves en 372 familles (la moitié ?), le readme est là lien. Déjà, il est question de l'invalidation de 3 documents pendant l'émission. En les cherchant, l'ia gemini dit que l'historique est là : lien et en bas de la page de l'historique, on lit
"Additional Formalizations : We have added an additional 6 formalizations and 5 other additions covering supporting results. This brings the total percentage of top-line results formalized to 300 / 719 = ~42%".
300/719, ça semble être celles qui ont été aussi démontrées en Lean, peut-être, avec mathlib, le répertoire qui contient déjà un certain nombre de théorèmes existant des mathématiques.
HDC dit qu'il en a pleuré (il pense que de nombreux axes de ses recherches ont été détruits) : dans la liste qu'il avait montrée dans cette vidéo lien, apparaissait le mot Heisenberg. Alors j'ai cherché par une autre ia pour voir si... Et l'ia a produit ça lien
Les concours de biceps (pour rester respectueuse) sont à la mode alors !
Je n'utilise que les versions gratuites : deux d'entre elles m'ont dit ce que j'avais consigné là : lien Voir aussi là lien ou là lien ou là lien ; ça permet d'avoir un peu moins peur, un peu.
Anecdote : 012. Independent largest prime factors of consecutive integers. Resolves the Erdős–Pomerance joint Dickman conjecture: the logarithmic sizes of the largest prime factors of 𝑛 and 𝑛+1 are asymptotically independent in ordinary natural density. In particular, the integers satisfying 𝑃⁺(𝑛) < 𝑃⁺(𝑛+1) have density 1/2. Pour moi, deux nombres entiers consécutifs n'ont jamais de facteurs premiers en commun, c'est vous dire si je n'y comprends tchi.
Interroger la concurrence : lien Conclusion : lien

Modéliser la conjecture de Goldbach dans le domaine de la géométrie algébrique avec les ia

14 octobre 2026 lien      lien

11/12

11/12, c'est beaucoup, enfin, c'est presque... lien

à tort ou à raison (tonnetz, suite)

lien

Podcasts salutaires

Des podcasts salutaires
(la perception de la réalité) lien (votre cerveau) lien et
Personnalités des llm lien

souvenir mamuphi hier et petites notes musicales

lien logarithmes (musique du mistral) lien (musique du chinook) lien

souvenir d'aliens lien

9 octobre 2026 : zigzag lien

Et revenir aux zéros de ζ avec les ia française (mistral-vibe) lien
et européenne (lumo, l'ia suisse créée par deux anciens ingénieurs du Cern) lien
symétrie et réel versus complexe lien

lien catégories / bases de données lien

6 octobre 2026 : éclaircir ou obscurcir : : 2+3, 3+2, 2×3, 3×2, 2³, 3² lien

Et voilà où j'en suis : infichue de savoir si une telle photo peut-être réelle... De la terre à la place de la plage, que va faire la danseuse, lâcher le parapluie ?!... Elle a pas l'air paniquée, étonnant ?... Un outil me dit 96% de chances que cette image soit réelle, je fais quoi ? J'ai pas le numéro de la fille pour l'appeler pour qu'elle me donne au moins des nouvelles !

Un si beau film en maltais, sous-titré en français

ça m'a donné envie d'en savoir plus sur cette tradition de la bagarre par le chant !

Il m'a fallu en faire des kilomètres, aller jusqu'à Antony, voir au cinéma la terre de certains de mes ancêtres ! Belle île en mer.

Faisez-en des conjectures, vous !

(clin d'œil du titre pour Renaud !)

Puisqu'on se donne le droit de conjecturer ôssi, et au vu des petites expérimentations que je viens de relancer avec le programme Rust de Ronnie Andrews pour lambda carré de 12 à 5, j'aurais pensé qu'on pouvait ne garder non pas seulement les nombres premiers inférieurs à 13 mais ceux inférieurs à 7. Pourquoi ? Parce que je me dis que l'inverse (ici comprendre l'image réciproque, ou l'antécédent) du logarithme népérien de 1 c'est e, l'inverse du logarithme népérien de 2, c'est e² (le carré de la base des logarithmes népériens), et qu'alors le sacré 1/2 qui nous tarabuste tant, ce serait le rapport du log de e sur le log de son carré, et comme ledit carré vaut 7.389, c'est peut-être en-deça de lui qu'on obtiendrait une superbe précision (tout ça à cause de la lecture de ce paragraphe d'un livre lien).
lien

Je trouve que ce délire est dans la droite ligne de cet autre... Comprenne qui ça intéresse.

lien

Alors j'ai demandé à l'ia claude et il m'a dit que non : lien

Tout autre chose : j'ai entendu parler d'un bonhomme, il anthropomorphise* tellement sa bécane qu'il est persuadé que ce qui lui est naturel à lui, est de facto naturel à sa machine.

(* du verbe anthropomorphiser que j'ai inventé)

Parité

Nicole Ferroni     lien

"leur" faire apprendre les nombres premiers

(avec ia claude) lien

mistral explique le problème des pseudo-premiers (pq versus p) lien

Le jeu de l'erreur ab ≠ ba

Même dénuée de sens physique, je n'aurais pas commis celle-là ! On reste un peu sidérés, cependant, par les capacités, j'avais donné le tableau. Il faut que j'explique davantage parce qu'"on" m'a dit : "Personne ne comprend ton humour vieux-jeu à la grand'papa !". J'ai donné le tableau à une ia, je lui ai demandé, fais-moi une image style BD de ce tableau et rajoutes-y des bulles et une légende. Et on voit que l'ia, comme le dit Yann le Cun, a encore moins de sens physique que moi, puisqu'elle a légendé à l'envers (celui qui tire devrait dire "Pousse !" à l'autre et inversement). Voilà.

Et un petit bijou pour ceux qui aiment les rouleaux... lien

Traduction : Jacobi et les modules complexes et calculs de Gauss

lien (article original) lien

Calculs retrouvés par l'ia claude dans le manuscrit original lien
lien

Tonnetz, tore non commutatif

Qu'est'c'qu'on s'marre ! Mais faut pas se moquer des ia parce qu'un jour...

Tore non-commutatif assez marrant lien

Haroun

Pub : Haroun donnera son spectacle à nouveau dans le 9-1 en novembre, à Evry.

adn

adn (2 booléens, 4 lettres, 16 règles) en lean et ses oppositions      lien

24 sept. : clôture mistral      lien      lien
partage de restes (clôture claude)      lien      lien

l'ia claude corrige, essayer de lier x et n-x dans chaque corps premier par des involutions, etc

automne : (claude) corrections fines d'algorithme lien
(chatgpt) aller lentement vers les involutions lien     lien
(gemini) congruences couvrantes (essayer de se placer dans des ensembles finis) lien
petits lemmes avec lumo et lean lien

complètement blousée

synthèse par mistral : lien

synthèse par lumo : lien

topos annelé... diffraction de Fraunhofer...

avec les ia chatgpt et lumo          lien         lien
analyse critique par l'ia claude         lien

réseaux de congruences, diffraction de Fraunhofer, rien ne contourne l'obstruction de parité
        (mistral)     lien         (gemini)     lien

Faire résumer les SGA par les ia

AG était de la génération n+1.5 pour moi et on sait combien il était opposé aux technologies (à tort ? à raison ?) mais ma curiosité est trop forte par rapport à ce que peuvent faire ces machines (après tout, ce questionnement est exactement celui qui était le mien durant toute ma formation initiale, et il est mon domaine d'intérêt, laissé de côté de 1996 à 2005, le temps de...).

On sait aussi qu'AG disait qu'il faut laisser le temps au temps : ne pas attaquer la noix au marteau mais la laisser tremper dans un liquide émollient (et sûrement pas dans de l'acide, comme notre mathématicien à l'araignée l'a dit plusieurs fois sur les ondes ;), je lui fais cette petite boutade) et attendre patiemment que la coquille de noix fonde. Donc la vitesse supersonique de production d'écrit sans aucun temps de réflexion, de digestion, des ia l'aurait peut-être écoeuré, lui qui produisait (ou permettait que soient produits) des écrits à... la vitesse de l'éclair.

Curiosité ≫ obéissance aux conseils gentiment donnés ⇒ résumés des SGA par
        (deepseek) lien        (claude) lien         (chatgpt) lien

Critère de positivité de Weil : 3 traductions par l'ia deepseek :      lien      lien      lien
analyse critique lien

Un peu d'humour dans ce monde de brutes (trouvé dans le mémoire d'HDR d'Elisa Lorenzo-Garcia) :

Pédagogie des flots par Maryna Viazovska

J'ai mis ici l'extrait dont je souhaitais le programme (la vidéo complète est à cette adresse et j'ai coupé les minutes 26 à 29). J'ai programmé le flot en question, j'ai fait des erreurs, je les ai fait corriger par l'ia claude, qui a fait des erreurs, que j'ai corrigées, etc, et voilà ! (lien vers le programme python obtenu et ci-dessous les images de son exécution pour 5 ou 80 réseaux se mouvant en agrandissant certains plots pour qu'on voit bien le réseau initial).
À mettre en lien avec le flot de Noël, bien sûr... lien         lien

5 réseaux

80 réseaux

Je fais mes petits réseaux sans succès pour la conjecture de Goldbach lien

Le siècle de Jean-Pierre Serre

Il y a des choses qu'on ne peut pas inventer : aujourd'hui, jour des 100 ans de Jean-Pierre Serre, j'ai reçu dans ma boîte aux lettres le livre de Pierre Lochak Grothendieck, le roman d'une vie. J'ai pris le livre en photo devant le Château... des groupes.

Transcription de la conférence de Jean-Pierre Serre donnée le jour de ses 100 ans :         lien

Transcription de la conférence de Pierre Deligne le matin du même jour :         lien

Début de la traduction de la conférence de Peter Sarnak         lien

Le Château des groupes, transcription d'un texte de Pierre Cartier         lien

Une note de Jean-Pierre Serre de 1983 pour la Gazette des mathématiciens (évoquée dans la première conférence du mercredi matin) :         lien

(Je n'ai pas réussi à faire la mise au point sur les deux éléments à la fois, le livre et le château)

un article biographique : lien

Anvers (en avaient-ils ramené des diamants ?) lien         lien         lien

Pierre Deligne lien         lien

ma petite tentative inaboutie      lien

Une belle émission

Sylvia Serfaty et Amaury Hayat : ia et mathématiques, quand la solution pose problème lien

Retour aux topos avec chatgpt

lien

Moche, non ?!

Y en aura pas un qui se dit : "Non, décidément, ce caractère est moche et mal proportionné, par rapport au joli caractère que ma professeure de maths dessinait au tableau en classe de... 5ème ? 4ème ? je ne me rappelle plus...".

Y en aura pas un qui cherchera sur detexify, pour trouver que ∅ (ou varnothing) est quand-même beaucoup mieux proportionné que 0 (ou emptyset).

Quel bande de cossards en LaTeX , ma parole !

démonstration en lean des petits lemmes par lumo

lien

S'arrêter sur le chemin avec lumo

conclusion en compagnie de lumo et à la mémoire de Merlin       lien       lien       lien       lien       lien

lumo et le quantique (je ne comprends sincèrement pas ce que l'ia écrit)       lien       lien

lumo et chip-firing       lien       lien       lumo et la logique       lien

Surprise de voir un mathématicien dont je savais qu'il était décédé cosigner un article, j'ai demandé à l'ia gemini quels étaient les pratiques de la communauté à ce propos : lien

Je viens d'entendre un chercheur dire : "En aucun cas la machine ne travaille POUR nous, la machine travaille AVEC nous". Il me semble qu'il faudrait peut-être que les personnes qui travaillaient effectivement à la conception des systèmes d'ia actuels, dans ces grosses boîtes, et qui ne sont plus contraintes par des clauses de confidentialité, expliquent à l'homme et à la femme de la rue qui s'émerveille quel est le modèle économique caché derrière le terme ia, dans l'acception qu'on donne à ce terme depuis 2 ou 3 ans (il faudrait qu'ils nous expliquent mieux les connaissances en psychologie sociale qui sont utilisées, et qui se cachent là-derrière, comme celles concernant les systèmes de récompense, de conditionnement, d'organisation à grande échelle de la dépendance, les processus de communication, les notions de psychologie de l'interaction, etc). Et surtout, il faudrait que ces gens qui ont connu les systèmes de l'intérieur nous rappellent la façon dont un tel logiciel d'ia, ou llm ou quoi ou qu'est-ce, permet à la boîte qui le crée d'en tirer son profit. C'est la base. Et peut-être qu'alors, on interprètera mieux le réel.

Tenter d'autres approches, toujours vaines

6 septembre 2026 :

l'ia claude et la numérotation de Gödel lien son idée Kummer ???...lien

5 septembre 2026 :
discussion avec deepseek au sujet de l'idée de copier l'idée d'Euler         lien         lien
transcription texte de Franklin aux CRAS         lien         jolie explic. imagée de gemini         lien

4 lettres, 16 règles, sous-shift         (claude) lien         (chatgpt) lien
Mais l'ia claude veille au grain         lien         lien

4 septembre 2026 :
pavage Goldbach, insister lien

lien CG-fonction zêta lien

reexplique l'impossibilité d'utiliser la minoration 1 moins 2 sur p lien

si on pouvait copier Euler         (claude) lien         (chatgpt) lien         (deepseek) lien

Célia Pelluet

"T'inquiète, je gère !" : lien

Pharao : lien

Note au sujet des petites mains de l'ia et clip au sujet des chercheuses à reconnaître

lien

Effet Matilda de Lady Pipette lien

zenodo, un lieu de dépôt européen

transcriptions téléchargeables sur zenodo           lien 1

traduction par deepseek de l'article de Connes et Consani de septembre 2026           lien 2
et analyses de texte avec claude et deepseek           lien 3           lien 4

seuil pour les produits de sinus lien 5 rappel de la formule enfouie lien 6

Fractales le retour

lien 1         lien 2
et au sujet du PIF (ou FUP en anglais) : le principe d'incertitude fractale, traduction de l'article d'Alex Cohen     lien 3     dont chatgpt m'explique qu'il n'a strictement rien à voir avec mon ensemble de la Castafiore.
mesurer l'ensemble de la Castafiore     lien 4     annexe par l'ia claude     lien 5

Densités et Monty Hall

fin août 2026 lien une petite note précédente au sujet des cas défavorables lien

Balayer devant des portes

J'ai passé deux mois en juin-juillet à bien balayer devant ma porte, concernant les idées que j'avais eues au sujet de la conjecture de Goldbach ; là, j'ai un peu balayé ailleurs, mais ces outils donnent une flemme, mais une flemme (enfin, je ne sais pas s'ils la donnent, ou bien s'ils en viennent).    lien

D'autre part, il y a un an, pour déc..., j'avais malencontreusement écrit ça "...laisser les IA parler entre eux tout seuls" (dans ce post-là lien) et un an après, je tombe là-dessus, au détour d'un article :
"Cependant, une évolution totalement imprévue a eu lieu durant le test d’OpenAI : pour atteindre le but de la manière la plus efficace possible, les agents se sont organisés. Un premier, opérant sous le pseudo « PHASEONE10841 », a créé ni plus ni moins qu’un forum, sur lequel les autres agents ont été invités, à l’insu des ingénieurs chargés de la surveillance. Ce forum, bien que résidant sur les serveurs d’OpenAI, était totalement extérieur au périmètre du test et a très rapidement gagné en popularité : au bout de quelques heures, déjà 50 agents avaient rejoint le forum et partagé plus d’un millier de messages.".
Je ne me considère pas comme responsable ;). L'idée de les laisser ainsi discuter pourrait être sympathique, si elle ne coûtait pas ce qu'on sait qu'elle coûte en deniers, et c'est sans compter le coût écologique, qui sera vite irrattrapable.

Traduction d'une nouvelle d'anticipation sympathique de Rich Schwartz au sujet de hr et l'ia     lien

Référence Clifford bande rectangulaire

Dans le livre Algebraic theory of semigroups, vol. 1, page 25.

Jadis, chercher en science pour plaire aux Grands et illustrations du traité d'optique de Newton

Irrévérencieuse