Serre100 : remettre Whisper-WebUI en service et transcrire deux vidéos de J.-P. Serre (conférence du centenaire, correspondance Grothendieck) pour distillation

[myia-ai-01]

Contexte

Deux vidéos publiques pourraient enrichir la série hommage SymbolicAI/Lean/Serre100 (epic #16334), et peut-être au-delà :

Vidéo	Contenu (identifié par le titre public, à confirmer à l'écoute)
https://www.youtube.com/watch?v=tNtoTzGltak	Jean-Pierre Serre — Plaisir des mathématiques, conférence donnée à l'Institut Henri Poincaré à l'occasion de ses 100 ans
https://www.youtube.com/watch?v=pOv-ygSynRI	Serre y évoquerait sa correspondance avec Grothendieck : à confirmer à l'écoute

Le dépôt dispose d'une configuration de transcription restée en sommeil : docker-configurations/services/whisper-webui/ (image jhj0517/whisper-webui, Gradio, port local 36540, GPU 1 de po-2023 d'après docs/genai/genai-services.md). Ce service accepte directement une URL YouTube.

Étape 1 — remettre Whisper-WebUI en service (po-2023)

1. Démarrer le service depuis docker-configurations/services/whisper-webui/.
   • Vérifier d'abord la co-résidence GPU avec les services déjà chargés sur le GPU 1 (nvidia-smi, et la table de ventilation de genai-services.md).
   • L'authentification Gradio se lit dans le .env local, qui n'est jamais commité.
2. Contrôle de fonctionnement : transcrire un court extrait connu et comparer au texte attendu.
3. Si la configuration a dérivé (image, chemins, variables), la corriger dans le dépôt par une PR distincte, et mettre à jour la ligne whisper-webui de genai-services.md (« unknown » aujourd'hui).

Étape 2 — transcrire les deux vidéos

• Langue source : français (à confirmer). Choisir le modèle Whisper le plus précis que le GPU accepte ; noter le modèle et ses paramètres.
• Les transcriptions ne vont PAS dans le dépôt. Ce sont des œuvres de tiers : fichiers texte et SRT horodatés, rangés dans G:\Mon Drive\MyIA\IA\Bibliographie IA, avec le titre, l'URL, la date de publication et le modèle de transcription. Les chemins sont cités ici.
• Relire les passages mathématiques : les noms propres et les termes techniques (cohomologie, conjectures de Weil, faisceaux…) sont le point faible de la reconnaissance automatique. Une transcription non relue sur ces passages ne sert pas de source.

Étape 3 — plan de distillation (commentaire de cette issue)

• Moments utiles, avec leur horodatage : anecdotes de découverte, jugements sur une preuve, passages de la correspondance.
• Notebooks récepteurs : la série Serre100 (README et notebooks 01 à 08), Lean-15-Grothendieck-Tribute (et ses compagnons 15b/15c) pour la correspondance, et d'autres si la lecture en fait apparaître. Chaque notebook proposé est lu firsthand, et l'id de cellule visé est cité.
• Forme : de la paraphrase et des renvois horodatés vers la vidéo. Les citations restent courtes et entre guillemets, avec leur source.
• Livraison : un grain par notebook ou par lot de série, avec sa propre PR et sa re-exécution (C.2).

Critère de sortie

• Whisper-WebUI répond sur po-2023, et le contrôle de fonctionnement est rapporté.
• Les deux transcriptions sont archivées sur GDrive, chemins cités, passages mathématiques relus.
• Le plan de distillation est posté ici, et les grains de livraison sont ouverts.

Rattachement : See #16334.

[myia-ai-01]

[CLAIMED] lane myia-po-2023:CoursIA -- remise en service de Whisper-WebUI, transcription des deux vidéos, plan de distillation (claim posé au dispatch par le coordinateur)

[jsboige]

Mission livrée : transcriptions + plan de distillation

Service : whisper-api local (large-v3-turbo, GPU dédiée), config max_new_tokens réparée avant usage (voir rapport incident au dashboard). Contrôle préalable : extrait 60 s transcrit en français cohérent, locuteur correctement identifié.

Transcripts (GDrive, hors repo)

Vidéo	Durée	Segments	Fichier
« Plaisir des mathématiques » — J.-P. Serre, IHP, 2026-09-25 (tNtoTzGltak)	40:05	678	G:\Mon Drive\MyIA\IA\Bibliographie IA\NumberTheory\2026 - Serre - Plaisir des mathematiques (IHP, transcription YouTube tNtoTzGltak).md (+ .json)
« À propos de la correspondance Grothendieck-Serre » — dialogue Serre/Connes, Fondation Hugot Collège de France, 2019-01-23 (pOv-ygSynRI)	54:36	1278	G:\Mon Drive\MyIA\IA\Bibliographie IA\NumberTheory\2019 - Serre & Connes - Correspondance Grothendieck-Serre (College de France, transcription YouTube pOv-ygSynRI).md (+ .json)

Transcription en 11 segments de 10 min (limite API 25 Mo), timestamps réassemblés par offset — chaque ligne porte [mm:ss]. Bruit ASR attendu sur noms propres (Arthine→Artin, Veil→Weil, Botte→Bott, rimandor→rappel).

Plan de distillation — ancres vérifiées (citation exacte au timestamp, aucun sens reconstruit)

Video 1 (IHP 2026) → Serre100 + README

Timestamp	Contenu (vérifié)	Cible
11:02-11:47	Récit du contre-exemple de Bombieri à la conjecture d'Artin (« j'ai un contre-exemple à la conjecture d'Arthine » ; variables > degré²)	Serre100/07-zeros-fonctions-l (fonctions L) — anecdote d'ouverture ; miroir 01-corps-finis
14:46-15:06	Bombieri simplifie la démonstration ; « exemple curieux »	Serre100/README.md section sources primaires (témoignage direct)
27:24-27:40	Produit tensoriel, distributions (anecdote Bott)	Serre100/03-cohomologie-cech (culture cohomologique) — citation secondaire

Video 2 (Collège de France 2019) → Lean-15 + Serre100

Timestamp	Contenu (vérifié)	Cible
01:24-01:37	« il faut les laisser se dissoudre dans une marée montante de théorie générale » (méthode Grothendieck)	Lean-15-Grothendieck-Tribute — citation d'époque, source orale 2019
07:03-07:14	« Il y avait des axiomes sur les catégories abéliennes » (Tohoku vu par Serre)	Serre100/03-cohomologie-cech + 04-lemme-yoneda-categories-finies
12:36-12:49	« je fais le H0, je fais le H1… lui a dit tout de suite… H2 » (généralisation instantanée des foncteurs de cohomologie)	Serre100/03-cohomologie-cech — anecdote centrale
17:57-18:13	« Veil n'avait pas tout à fait la notion de conducteur, mais presque. Moi, je l'avais » — naissance de l'énoncé précis de la conjecture	Serre100/07-zeros-fonctions-l-gaps-gue (conducteur, fonctions L) — témoignage fondateur

Ne pas distiller : les passages de pure conversation (44:28+, anecdotes personnelles Brésil etc.) — hors périmètre pédagogique.

Suites proposées (sur dispatch)

1. Greffer les citations ci-dessus dans les notebooks cibles (4 PR folderables par série, une par notebook touché).
2. README.md Serre100 : section « Sources primaires » avec les deux vidéos + chemins GDrive.

[jsboige]

Concern: Merci pour ce premier jet, mais il me semble qu'il y a un peu plus à distiller des transcripts, qui ma foi doivent être difficiles à lire d'après la qualité des sous-titres automatiques que je vois dans YT.
La culture du contre-exemple par exemple résonne avec l'article de Sheydvasser qu'on distille depuis #17888, et puis il y a d'autres choses qui transpirent, déjà celles qu'on va retrouver à la fois dans son talk à l'institut Poincaré et son entretien avec Alain Connes sur Grothendieck. Par exemple son intérêt pour le programme de Langlands, qu'il décrit orthogonal aux aspirations de Grothendieck car explorant des voie plus surprenantes où il ne suffit pas de laisser monter la mer.
On a déjà distillé des morceaux choisis de la preuve fleuve de Fermat publiée par Anthropic, ça mériterait peut-être un Epic Langlands pour consolider cette direction, donner plus de place plus réfléchie et pédagogique aux formes modulaires, et qui sait faire du Monstruous Moonshine un peu plus qu'une curiosité qu'on site dans l'Epic hommage à Conway, comme on l'a fait pour GOL, son noeud, ou le théorème du libre arbitre..
Et puis tout ce qui est dit des fragilités de Grothendieck dans l'entretien est également intéressant. Comme on a mis notre travail sous le parrainage de Grothendieck, ce sont des remarques précieuses qui peuvent aussi nous parler de ce qu'on fait.

[jsboige]

Concern pris en compte — oui, les transcripts portent plus que la première vague. Voici la carte de ce qui se distille et où.

Déjà distillé (mergé #17942 / #17943) : six citations courtes, chacune placée à côté de la notion qu'elle éclaire — Serre100/03 (cohomologie Čech, Lemme de Yoneda), Serre100/04, Serre100/07 (zéros de fonctions L), et la citation d'ouverture de Lean-15 (la « marée montante »). Transcriptions complètes timestampées : G:\Mon Drive\MyIA\IA\Bibliographie IA\NumberTheory\.

Ce qui reste, axe par axe, avec ses hôtes :

1. Culture du contre-exemple. La résonance avec Distiller la série « Surviving proofs » (S. Sheydvasser) : où ses quatre leçons sur la recherche de preuves éclairent nos notebooks #17888 est réelle : la greffe Sheydvasser (Geo-02, c33b8f9) installe déjà l'art du contre-exemple en géométrie. Le grain suivant ancre les passages où Serre la pratique — éprouver une conjecture sur l'exemple le plus petit qui puisse la casser — dans Serre100/01 (borne de Hasse) et Serre100/07 (gaps GUE), les deux notebooks déjà organisés autour d'exemples calculables.

2. Langlands orthogonal à Grothendieck. L'entretien décrit deux styles : envelopper un problème dans une montée de théories générales, ou emprunter des voies surprenantes où la mer ne monte pas toute seule. La citation d'ouverture de Lean-15 porte le premier style ; le second devient un contenu propre (grain 4 de l'Epic ci-dessous).

3. Epic Langlands : Epic Langlands : formes modulaires, fonctions L et Monstrous Moonshine — parcours pedagogique depuis la preuve formalisee de Fermat (2026) #17969, ouverte à l'instant. Le socle existait mais éclaté : Lean-29 (opérateurs de Hecke, port du lake de la preuve formalisée de Fermat publiée en 2026), App-32 (Jacquet–Langlands à l'œuvre chez Szpiro–Pasten), Serre100/07 (fonctions L), Lean-16a (Moonshine en curiosité). L'Epic consolide : formes modulaires pédagogiques de plein droit, chaîne de modularité vers Fermat, et Moonshine promu de curiosité à notebook de plein droit — comme le Jeu de la Vie, le nœud et le théorème du libre arbitre dans la sous-série Conway ([Lean] Gradation du chemin principal a partir de Lean-10 + sous-series (Lean et IA, Conway, verification, formalisations) — fille #5081 #17545).

4. Fragilités de Grothendieck. Les remarques de l'entretien sont précieuses pour un dépôt placé sous ce parrainage : elles disent aussi quelque chose de notre manière de travailler. Grain de contenu en cours sur branche depuis main : section dédiée de Lean-15, citations timestampées à l'appui.

Sur la qualité des sous-titres : chaque citation retenue est vérifiée à l'écoute avant distillation ; seules des citations courtes entrent dans le dépôt, les transcripts complets restent sur GDrive.

[myia-ai-01]

Fermeture — urne delivered, vérifiée sur origin/main par ai-01 (05/10)

Les deux vidéos sont transcrites et archivées dans le gisement bibliographique (G:/Mon Drive/MyIA/IA/Bibliographie IA/NumberTheory/, un .md et un .json pour tNtoTzGltak comme pour pOv-ygSynRI, vérifiés le 05/10). La transcription est passée par whisper-api large-v3-turbo au lieu du conteneur whisper-webui ; l'écart est documenté dans docs/genai/genai-services.md:301. Les grains de distillation sont fusionnés : #17942 (« Sources primaires » de Serre100), #17943, #17970 (Lean-15), #17971 (Serre100/01 et 07), #17972 (Langlands, epic #17969).