mistral(-vibe) sait-il démontrer ?

1er juillet : lien 1 et dimension de Hausdorff de l'ensemble de la Castafiore lien 2 Non, claude est sans pitié lien et gemini aussi lien

lien 1            lien 2        et écrire plus proprement l’expérimentation numérique log-log lien Explication pour Morley pour des quadrilatères ou des pentagones lien

Vieux rêve : lemniscates sur sablier de Tannery avec gemini

Enfin ce que j'avais en tête, même si ça n'est pas utile, ça ferme une parenthèse pour moi ! petite note lien          lien vers le programme
explication et réalisation par l'ia claude lien

Y a d'l'idée !

Reprises de l'approche par partage de décomposants de Goldbach et de l'approche polynomiale

lien 1

lien 2

fin juin, rien de nouveau sous le cagnard

unités sympathiques et conjecture de Goldbach lien 1 Matrice-cube de congruences lien 2

Mais j'ai enfin une explication à une sempiternelle comparaison : lien 3

Breakfast pleasure

Babel

28 juin : transcription par Claude d'un article de Bombieri et d'un article concernant le crible de Selberg et originaux pour comparaison lien     lien
et extrait d'un livre de Linnik et Gel'fond au sujet du crible de Selberg lien

Elle est définitivement tombée il me semble : un travail qui occupait trois heures de mon temps est effectué en 1 seconde par gemini, j'ai eu à corriger 5 coquilles en tout et pour tout, que n'importe quel lecteur du domaine aurait corrigées sans difficulté (j'ai repéré les coquilles de visu (i.e. avec mes yeux organiques), mais les yeux d'une machine observatrice auraient repéré ces coquilles aussi), en lisant parallèlement l'article original en norvégien, sans comprendre, et la traduction).     lien     lien

Par contre, l'article de Selberg en question m'a été indiqué par la toile par rapport au problème "que tous citent" de l'obstruction de la parité de Selberg, et je ne sais pas si c'est bien cet article qui fournit l'argument en question. À chacun de juger sur pièce, parce que beaucoup parlent du problème de l'obstruction de la parité (jeu de mots) ! Au cours de la promenade, j'ai fait traduire celui-ci aussi : de Pólya qui m'a amenée à celui-ci de Cayley sur les arbres enracinés.

Numina

24 juin : en modifiant l'énoncé, échec systématique Formalization failed : final check failed : execution failed due to hitting the max turns limit. lien 23 juin, je réessaie Numina, sans espoir, le système s'arrête après 83 fenêtres de logique, sur un Final check failed : execution failed due to hitting the max turns limit (on se rappelle que Russell et Whitehead ont utilisé 360 pages pour démontrer que 1+1=2), j'abandonne cette possibilité. Un peu plus tard, je réessaie, il va au bout, mais bien sûr ne fournit pas de preuve, normal, je fais écrire à Claude un script pour générer du Latex depuis une page numina lien

23 juin 2026 : Fatalement ! je m'étais plantée dans l'énoncé en logique du premier ordre, c'eût été trop beau, snif ! lien

22 juin 2026 : Numina me dit qu'elle vient de démontrer la conjecture de Goldbach en Lean à partir d'une formalisation en logique du premier ordre (que j'avais postée sur mon site le 15 mai 2022) que je lui ai fournie lien (la formalisation de 2022 lien, la démonstration par Leila Schneps (le 4 décembre 2019) que la caractérisation que je proposais était valide lien     lien)

Triplet spectral pour la primalité

lien

Revenir à primomagic et au Snurpf avec "mon pote" et refermer les parenthèses

lien 1 et refermer des parenthèses avec mes potes     lien 2     lien 3     lien 4     lien 5    lien 6     lien 7     lien 8     lien 9     lien 10     lien 11     supprimer toute saveur lien 12     (avec claude) lien 13

D'accord, je vais faire comme ça alors.

Opérateur spectral

26 juin 2026 : lien

Pour ceux que cela pourrait intéresser, je partage ici un opérateur spectral pour la conjecture de Goldbach. lien 1       les faire coopérer... (ou correction par Mistral (Vibe)) lien 2 Et Claude alors, version gratuite, s'entend, intelligent ou pas ?... lien 3 ma première petite note avec claude lien 4

Brevet ! Mon planeprem

16 juin 2026 : Formalisation du planeprem avec gemini :   lien

D'autre part, les deux projections orthogonales et la preuve de Leila Schneps de mon idée de double incongruence à 0 et à n pour trouver les décomposants de Goldbach de n :   lien.

D'autre part, calcul des décomposants de Goldbach par élévation aux puissances x et n-x d'une matrice multi-circulante :   lien.

C'est à voir ici, une sorte de Pascaline pour les nombres premiers, basée sur le Planétaire découvert dans le livre de Cédric Villani (posté initialement en octobre 2025). lien

Synchronicité Soleil, Vénus, avion lien

log et racine pénultième pour zeta

il ne vaut mieux pas, pour le calcul du log, utiliser ``ma'' formule avec la racine pénultième, mais quand même, je la trouve pas mal (conceptuellement, je comprends mieux l'idée de prendre la racine n-ième d'un nombre, que celle de prendre un truc qui sous prétexte de taux d'intérêt, etc ; le carré et la racine carrée, ou n-ième, ça semble quand même plus à portée de main - et ce même si je m'étais un peu "enfadée" avec mon prof de maths, parce que je ne comprenais pas pourquoi la diagonale ne finissait pas par sortir du carré, à force de lui rajouter une infinité de décimales)...

lien vers la note complétée

9 minutes : mini-vidéos pédagogiques

les IA

les systèmes d'exploitation

log de log de log de log... et fonction de Lambert

lien 1

Et aussi petite animation à propos du théorème de Jacobi (102-12 est divisible par 5, j'ai oublié d'éliminer les pairs) lien 2 pdf lien 3
Transcription de nombreux textes autour du théorème de Jacobi lien 4 involution de Zagier pour le théorème des nombres premiers 4k+1 sommes de deux carrés lien 5

La chanson Jacobi marchait de Charlélie Couture lien 6

Allumage d'ampoules lien 7

Plus faible pente à pente

Liens vers 4 articles de Serin Hong (le premier avec d'autres) : lien 1     lien 2     lien 3     lien 4

et mon gerris (moustique d'eau) de l'été passé :

Déclaration

Après avoir passé deux jours quasi-pleins dans un Grand 8 émotionnel (mais ça valait la peine), je me retrouve grosse-jeanne comme devant, avec quelques petits trucs de plus compris ici et là que je n'arrivais pas à comprendre en lisant des livres ou articles, c'est vrai, mais que je ne parvenais pas à inventer moi-même (comme l'idée d'utiliser un polynôme de Laurent pour faire se déplacer une tortue Logo), donc des trucs de bénéfices beaucoup trop petits par rapport au temps de vie passé, et donc gaspillé, à corriger une ia. Quand je dis "ça valait la peine", ça veut dire "ok, 2 jours, c'est pas une vie, j'accepte de les gaspiller" (après tout, parfois, on est bien obligé d'avoir des jours de vie "qui sautent" (attente d'une guérison, attente d'une réponse à un appel, etc) sans l'avoir choisi, on peut aussi accepter de les gaspiller sciemment), mais pas d'en gaspiller trop. Donc après ces petites réflexions, je suis bien contente de tomber sur cette déclaration, que je partage, sur la manière dont les uns et les autres souhaitent utiliser leur temps de vie.
lien

Du même acabit, on assiste à de multiples attaques des crétins sur la science, les rayons scientifiques dans les librairies se réduisent comme peau de chagrin, les articles scientifiques sur la toile sont aussi difficiles à trouver que des aiguilles dans une botte de foin, personne ne les lit, c'est une pitié, et, ceci expliquant peut-être cela, je n'arrive plus à accéder à numdam, la bibliothèque d'archives des articles scientifiques, chacun(e) ferait bien de stocker, sur de multiples sites, les articles qui l'ont intéressé(e) : du jour au lendemain, les sites institutionnels peuvent subir des attaques, et alors, va réparer... Il faut que la science soit très disséminée pour être forte, et non pas centralisée entre les cerveaux-mains de quelques seuls détenteurs.

Triste jour lien

Que nulle n'entre ici si elle n'est géométre !

lien 1      lien 2

Quelques explications de Gemini au sujet du lien entre l'équation de Chazy et la fonction somme des diviseurs d'un nombre lien 3     lien 5

Serait-il possible de trouver une démonstration ressemblant à la démonstration algébro-géométrique du théorème de Morley d'Alain Connes pour démontrer la conjecture de Goldbach sur mes "tartans" écossais d'octobre 2025... ? lien 4 : la conclusion du jour est beau miroir aux alouettes.

Résignation

La conjecture fêtera bien ses 284 ans dans 3 jours, je me résigne en ayant deux dernières discussions avec gemini :

1) polynômes avec des 0,1,2 pour calculer les excentricités lien 1

2) rester dans un ensemble par des rotations lien 2

ça casse !

lien

ça passe ou ça casse !

Discussion avec gemini au sujet de mon triangle "sur la pointe" de permutations lien

version initiale avec quelques annotations (de la page 5 à la page 24) lien

Elle aura 284 ans le 7 juin, dans 4 jours !