From 7fa1cbafee87e70a9fa469ed716daada3cbc3c2c Mon Sep 17 00:00:00 2001 From: jsboige Date: Mon, 5 Oct 2026 02:33:13 +0200 Subject: [PATCH 1/3] fix(arxiv,#11168): corriger l'ID arXiv du papier empilements dimension 24 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Le carnet Serre100/10-empilements-borne-lp-cohn-elkies citait arXiv:1603.04244 pour « The sphere packing problem in dimension 24 » (Cohn, Kumar, Miller, Radchenko, Viazovska). Cet ID resout vers un papier d'astrochimie (Antinolo et al. 2016, Reactivity of OH and CH3OH ... Barnard 1b). Titre et auteurs etaient exacts ; seule l'attribution de l'ID etait fausse. Corrige en 1603.06518, verifie sur page abs. Verdict par ID pour les 9 identifiants non couverts nommes par ai-01 (2026-10-04T21:04Z) : 7 deltas reels (6 OK, 1 MAUVAISE-ATTRIBUTION corrigee) + 2 faux deltas de reconstruction (cs/0011047 et quant-ph/0604079, deja verdict OK en 2026-09-03, invisibles a la regex dotted). Artefact : scripts/results/arxiv_rescan_2026-10-05.json. See #11168 Co-Authored-By: Claude Haiku 4.5 (1M context) --- .../10-empilements-borne-lp-cohn-elkies.ipynb | 2 +- scripts/results/arxiv_rescan_2026-10-05.json | 126 ++++++++++++++++++ 2 files changed, 127 insertions(+), 1 deletion(-) create mode 100644 scripts/results/arxiv_rescan_2026-10-05.json diff --git a/MyIA.AI.Notebooks/SymbolicAI/Lean/Serre100/10-empilements-borne-lp-cohn-elkies.ipynb b/MyIA.AI.Notebooks/SymbolicAI/Lean/Serre100/10-empilements-borne-lp-cohn-elkies.ipynb index 876188c0fa..5dd31b0fb8 100644 --- a/MyIA.AI.Notebooks/SymbolicAI/Lean/Serre100/10-empilements-borne-lp-cohn-elkies.ipynb +++ b/MyIA.AI.Notebooks/SymbolicAI/Lean/Serre100/10-empilements-borne-lp-cohn-elkies.ipynb @@ -921,7 +921,7 @@ "## Ressources\n", "\n", "- H. Cohn, N. Elkies, *New upper bounds on sphere packings I*, Annals of Mathematics **157** (2003), 689–714 — [arXiv:math/0110009](https://arxiv.org/abs/math/0110009). Le théorème, la lignée LP (codes → empilements), les valeurs numériques 0,9998 / 0,7796.\n", - "- M. Viazovska, *The sphere packing problem in dimension 8*, Annals of Mathematics **185** (2017) — [arXiv:1603.04246](https://arxiv.org/abs/1603.04246) ; et Cohn, Kumar, Miller, Radchenko, Viazovska, *The sphere packing problem in dimension 24*, Annals **185** (2017) — [arXiv:1603.04244](https://arxiv.org/abs/1603.04244).\n", + "- M. Viazovska, *The sphere packing problem in dimension 8*, Annals of Mathematics **185** (2017) — [arXiv:1603.04246](https://arxiv.org/abs/1603.04246) ; et Cohn, Kumar, Miller, Radchenko, Viazovska, *The sphere packing problem in dimension 24*, Annals **185** (2017) — [arXiv:1603.06518](https://arxiv.org/abs/1603.06518).\n", "- H. Cohn, *The work of Maryna Viazovska*, ICM 2022 (laudatio) — vue d'ensemble des dimensions 8/24 et du rôle des formes modulaires.\n", "- J.-P. Serre, note aux C. R. A. S. (1975) sur les bornes de discriminants d'Odlyzko — l'ancêtre « théorie des nombres » de la machinerie Poisson-LP de ce carnet.\n", "- Carnet compagnon : [09-congruences-tau-lacunarite-delta.ipynb](09-congruences-tau-lacunarite-delta.ipynb) — $\\eta^r$, lacunarité, $\\Delta = \\eta^{24}$, Lehmer.\n", diff --git a/scripts/results/arxiv_rescan_2026-10-05.json b/scripts/results/arxiv_rescan_2026-10-05.json new file mode 100644 index 0000000000..c673c0a7c7 --- /dev/null +++ b/scripts/results/arxiv_rescan_2026-10-05.json @@ -0,0 +1,126 @@ +{ + "rescan_date": "2026-10-05", + "epic": "#11168", + "lane": "myia-po-2023:CoursIA-2", + "objet": "Verdict par ID pour les 9 identifiants non couverts nommes par ai-01 (commentaire du 2026-10-04T21:04Z sur #11168).", + "method": "Transport = pages abs arxiv.org, meta tags citation_title / citation_author / citation_date (l'API export.arxiv.org a rendu HTTP 429 pendant toute la passe ; le repli 'pages abs' est celui deja utilise par l'artefact 2026-09-24). Confrontation titre + auteurs + date contre la prose de la cellule citante, lue firsthand.", + "covered_source": "scripts/results/arxiv_rescan_2026-09-03.json + arxiv_rescan_2026-09-21.json + arxiv_rescan_2026-09-24.json + arxiv_rescan_2026-09-27.json + arxiv_attributions_registry.yaml", + "scope": "MyIA.AI.Notebooks (markdown cells only)", + "totals": { + "ids_nommes_par_ai_01": 9, + "delta_reel": 7, + "faux_delta_reconstruction": 2, + "verdicts_ok": 8, + "mauvaise_attribution": 1, + "id_fantome": 0, + "corrections_appliquees": 1 + }, + "delta_verdicts": [ + { + "arxiv_id": "1806.07572", + "verdict": "OK", + "title": "Neural Tangent Kernel: Convergence and Generalization in Neural Networks", + "authors": ["Jacot, Arthur", "Gabriel, Franck", "Hongler, Clement"], + "published": "2018/06/20", + "citation_in_notebook": "Jacot, A., Gabriel, F. & Hongler, C. (2018). *Neural Tangent Kernel: Convergence and Generalization in Neural Networks*. NeurIPS 2018.", + "notebooks": ["ML/DataScienceWithAgents/03-DeepLearning/3.4d-Fourier-Features-Biais-Spectral-Python.ipynb"], + "cell_index": 20, + "rationale": "Titre et les trois auteurs exacts ; annee 2018 = annee arXiv, coherente avec la mention NeurIPS 2018." + }, + { + "arxiv_id": "1806.08734", + "verdict": "OK", + "title": "On the Spectral Bias of Neural Networks", + "authors": ["Rahaman, Nasim", "Baratin, Aristide", "Arpit, Devansh", "Draxler, Felix", "Lin, Min", "Hamprecht, Fred A.", "Bengio, Yoshua", "Courville, Aaron"], + "published": "2018/06/22", + "citation_in_notebook": "Rahaman, N., Baratin, A., Arpit, D., Draxler, F., Lin, M., Hamprecht, F., Bengio, Y. & Courville, A. (2019). *On the Spectral Bias of Neural Networks*. ICML 2019.", + "notebooks": ["ML/DataScienceWithAgents/03-DeepLearning/3.4d-Fourier-Features-Biais-Spectral-Python.ipynb"], + "cell_index": 20, + "rationale": "Titre et les huit auteurs exacts. L'annee citee (2019) est celle des actes ICML ; le preprint arXiv est de 2018/06 — ecart de regime deja rencontre et non un defaut (meme convention que Jacot 2018/NeurIPS 2018 et Mildenhall 2020/ECCV 2020 dans la meme cellule)." + }, + { + "arxiv_id": "2003.08934", + "verdict": "OK", + "title": "NeRF: Representing Scenes as Neural Radiance Fields for View Synthesis", + "authors": ["Mildenhall, Ben", "Srinivasan, Pratul P.", "Tancik, Matthew", "Barron, Jonathan T.", "Ramamoorthi, Ravi", "Ng, Ren"], + "published": "2020/03/19", + "citation_in_notebook": "Mildenhall, B., Srinivasan, P. P., Tancik, M., Barron, J. T., Ramamoorthi, R. & Ng, R. (2020). *NeRF: Representing Scenes as Neural Radiance Fields for View Synthesis*. ECCV 2020.", + "notebooks": ["ML/DataScienceWithAgents/03-DeepLearning/3.4d-Fourier-Features-Biais-Spectral-Python.ipynb"], + "cell_index": 20, + "rationale": "Titre et les six auteurs exacts, dans l'ordre ; ECCV 2020." + }, + { + "arxiv_id": "2006.10739", + "verdict": "OK", + "title": "Fourier Features Let Networks Learn High Frequency Functions in Low Dimensional Domains", + "authors": ["Tancik, Matthew", "Srinivasan, Pratul P.", "Mildenhall, Ben", "Fridovich-Keil, Sara", "Raghavan, Nithin", "Singhal, Utkarsh", "Ramamoorthi, Ravi", "Barron, Jonathan T.", "Ng, Ren"], + "published": "2020/06/18", + "citation_in_notebook": "Tancik, M., Srinivasan, P. P., Mildenhall, B., Fridovich-Keil, S., Raghavan, N., Singhal, U., Ramamoorthi, R., Barron, J. T. & Ng, R. (2020). *Fourier Features Let Networks Learn High Frequency Functions in Low Dimensional Domains*. NeurIPS 2020.", + "notebooks": ["ML/DataScienceWithAgents/03-DeepLearning/3.4d-Fourier-Features-Biais-Spectral-Python.ipynb"], + "cell_index": 20, + "rationale": "Titre et les neuf auteurs exacts, dans l'ordre ; NeurIPS 2020." + }, + { + "arxiv_id": "1603.04244", + "verdict": "MAUVAISE-ATTRIBUTION", + "title": "Reactivity of OH and CH3OH between 22 and 64 K: Modelling the gas phase production of CH3O in Barnard 1b", + "authors": ["Antinolo, M.", "Agundez, M.", "Jimenez, E.", "Ballesteros, B.", "Canosa, A.", "Dib, G. El", "Albaladejo, J.", "Cernicharo, J."], + "published": "2016/03/14", + "citation_in_notebook": "et Cohn, Kumar, Miller, Radchenko, Viazovska, *The sphere packing problem in dimension 24*, Annals **185** (2017) — [arXiv:1603.04244](https://arxiv.org/abs/1603.04244)", + "notebooks": ["SymbolicAI/Lean/Serre100/10-empilements-borne-lp-cohn-elkies.ipynb"], + "cell_index": 23, + "correct_arxiv_id": "1603.06518", + "correct_title": "The sphere packing problem in dimension 24", + "correct_authors": ["Cohn, Henry", "Kumar, Abhinav", "Miller, Stephen D.", "Radchenko, Danylo", "Viazovska, Maryna"], + "correct_published": "2016/03/21", + "rationale": "L'ID cite resout vers un papier d'astrochimie (Antinolo et al. 2016). Le titre et les cinq auteurs ecrits dans le carnet sont, eux, exacts : seule l'attribution de l'ID etait fausse — meme classe que le cas Nanda/grokking du 2026-09-21. ID corrige en 1603.06518, verifie sur page abs (titre + les cinq auteurs)." + }, + { + "arxiv_id": "1603.04246", + "verdict": "OK", + "title": "The sphere packing problem in dimension 8", + "authors": ["Viazovska, Maryna"], + "published": "2016/03/14", + "citation_in_notebook": "M. Viazovska, *The sphere packing problem in dimension 8*, Annals of Mathematics **185** (2017) — [arXiv:1603.04246](https://arxiv.org/abs/1603.04246)", + "notebooks": ["SymbolicAI/Lean/Serre100/10-empilements-borne-lp-cohn-elkies.ipynb"], + "cell_index": 23, + "rationale": "Titre et autrice exacts ; Annals 185 (2017) est la reference de publication, le preprint etant de 2016." + }, + { + "arxiv_id": "math/0110009", + "verdict": "OK", + "title": "New upper bounds on sphere packings I", + "authors": ["Cohn, Henry", "Elkies, Noam"], + "published": "2001/10/01", + "citation_in_notebook": "H. Cohn, N. Elkies, *New upper bounds on sphere packings I*, Annals of Mathematics **157** (2003), 689-714 — [arXiv:math/0110009](https://arxiv.org/abs/math/0110009)", + "notebooks": ["SymbolicAI/Lean/Serre100/10-empilements-borne-lp-cohn-elkies.ipynb"], + "cell_index": 23, + "rationale": "Titre et les deux auteurs exacts ; Annals 157 (2003) est la reference de publication, le preprint etant de 2001. ID a prefixe ancien, resolu directement." + } + ], + "false_delta_excluded": [ + { + "arxiv_id": "cs/0011047", + "reason": "Deja verdict OK (method manual_legacy_id) dans arxiv_rescan_2026-09-03.json, et deja inscrit en false_delta_excluded dans arxiv_rescan_2026-09-27.json. Invisible a la reconstruction d'ensemble couvert parce que l'artefact 2026-09-03 stocke l'ID sans son prefixe ('0011047'), que la regex dotted ne reconnait pas. Titre et auteur re-verifies ce jour sur page abs : 'Dancing links', Knuth, Donald E., 2000/11/15.", + "notebooks": ["Search/Part1-Foundations/Search-08-DancingLinks.ipynb", "Sudoku/Sudoku-02-DancingLinks-CSharp.ipynb", "Sudoku/Sudoku-02-DancingLinks-Python.ipynb"], + "verdict": "OK (deja couvert)" + }, + { + "arxiv_id": "quant-ph/0604079", + "reason": "Meme classe que ci-dessus : deja verdict OK (manual_legacy_id) dans arxiv_rescan_2026-09-03.json, deja inscrit en false_delta_excluded dans arxiv_rescan_2026-09-27.json. Titre et auteurs re-verifies ce jour sur page abs : 'The Free Will Theorem', Conway, John & Kochen, Simon, 2006/04/11.", + "notebooks": ["SymbolicAI/Lean/Lean-13-Kochen-Specker.ipynb", "SymbolicAI/Lean/Lean-16f-Conway-Free-Will-Theorem.ipynb"], + "verdict": "OK (deja couvert)" + } + ], + "corrections": [ + { + "arxiv_id": "1603.06518", + "replaces": "1603.04244", + "notebook": "MyIA.AI.Notebooks/SymbolicAI/Lean/Serre100/10-empilements-borne-lp-cohn-elkies.ipynb", + "cell_index": 23, + "expected_citation": "*The sphere packing problem in dimension 24*, Annals **185** (2017) — [arXiv:1603.06518](https://arxiv.org/abs/1603.06518)", + "registry_entry_added": true + } + ], + "limite": "La confrontation porte sur titre, auteurs et date de l'ID cite. Une prose qui citerait un ID exact pour un contenu sans rapport lexical reste detectable ici parce que l'ID resolvait vers un domaine etranger (astrochimie) — c'est le cas 1603.04244 ; une divergence plus fine demanderait la lecture du papier." +} From 0f5f975643faee1ee028cae410f7d8b1cc0948bf Mon Sep 17 00:00:00 2001 From: jsboige Date: Mon, 5 Oct 2026 02:34:01 +0200 Subject: [PATCH 2/3] docs(arxiv,#11168): inscrire la correction dim 24 au registre des attributions Entree Passe 7 : 1603.04244 -> 1603.06518 sur Serre100/10-empilements-borne-lp-cohn-elkies.ipynb cellule 23. `scripts/check_arxiv_attributions.py` rend 14 PASS / 0 FAIL. See #11168 Co-Authored-By: Claude Haiku 4.5 (1M context) --- arxiv_attributions_registry.yaml | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/arxiv_attributions_registry.yaml b/arxiv_attributions_registry.yaml index 2140470c82..12e3c7fd52 100644 --- a/arxiv_attributions_registry.yaml +++ b/arxiv_attributions_registry.yaml @@ -133,3 +133,12 @@ attributions: source_pr: "#17296" correction: "Nanda et al. grokking: identifiant 2305.00493 (Basak 2023, physique nucleaire -- Estimation of collision centrality) -> 2301.05217 (Progress measures for grokking via mechanistic interpretability). Titre et auteurs etaient deja justes : seule l'attribution de l'ID etait fausse." date: "2026-09-21" + + # ===== Passe 7 — rescan du 2026-10-05 (PR #19186) ===== + - arxiv_id: "1603.06518" + notebook: "MyIA.AI.Notebooks/SymbolicAI/Lean/Serre100/10-empilements-borne-lp-cohn-elkies.ipynb" + cell_index: 23 + expected_citation: "*The sphere packing problem in dimension 24*, Annals **185** (2017) — [arXiv:1603.06518](https://arxiv.org/abs/1603.06518)" + source_pr: "#19186" + correction: "Empilements dimension 24 (Cohn-Kumar-Miller-Radchenko-Viazovska): identifiant 1603.04244 (Antinolo et al. 2016, astrochimie -- Reactivity of OH and CH3OH ... Barnard 1b) -> 1603.06518 (The sphere packing problem in dimension 24). Titre et auteurs etaient deja justes : seule l'attribution de l'ID etait fausse." + date: "2026-10-05" From 0df52c348999c03824d164e1df385d41d3ea693a Mon Sep 17 00:00:00 2001 From: jsboige Date: Mon, 5 Oct 2026 04:30:49 +0200 Subject: [PATCH 3/3] Fix(ci,#19186): inclure Serre100/10-empilements au filtre paths: de arxiv-attributions-guard.yml Le commit 7fa1cbaf de la PR a ajoute ce notebook au registre mais pas au filtre paths: du workflow, donc test_workflow_paths_cover_every_registry_notebook rougit. Commentaire du workflow deja explicite : 'un NOTEBOOK DOIT aussi entrer dans paths, sinon une PR qui ne touche que ce notebook esquive la garde' (#18320 fondateur). Validation locale pytest ::test_workflow_paths_cover_every_registry_notebook PASSED. Co-Authored-By: Claude Haiku 4.5 (1M context) --- .github/workflows/arxiv-attributions-guard.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/arxiv-attributions-guard.yml b/.github/workflows/arxiv-attributions-guard.yml index f53140b81b..e0e91b9ff1 100644 --- a/.github/workflows/arxiv-attributions-guard.yml +++ b/.github/workflows/arxiv-attributions-guard.yml @@ -54,6 +54,7 @@ on: - 'MyIA.AI.Notebooks/QuantConnect/ML-Training-Pipeline/research_l4_decision_transformer.ipynb' - 'MyIA.AI.Notebooks/RL/rl_6c_ppo_from_scratch.ipynb' - 'MyIA.AI.Notebooks/Sudoku/Sudoku-16-NeuralNetwork-Python.ipynb' + - 'MyIA.AI.Notebooks/SymbolicAI/Lean/Serre100/10-empilements-borne-lp-cohn-elkies.ipynb' schedule: - cron: '47 03 * * *' workflow_dispatch: