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
Inscription à :
Publier les commentaires (Atom)
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...
-
(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 ... -
(avec ia claude) lien mistral explique le problème des pseudo-premiers (pq versus p) lien
-
synthèse par mistral : lien synthèse par lumo : lien
Aucun commentaire:
Enregistrer un commentaire