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