diff --git a/NOTICE b/NOTICE
index f907dac8fe..66439f7972 100644
--- a/NOTICE
+++ b/NOTICE
@@ -33,6 +33,7 @@ Apache License, Version 2.0, and are redistributed here under the same license.
   LeanPool/AnomalousDiffusion        https://github.com/scottnarmstrong/AVAnomalousDiffusion
   LeanPool/Apportionment             https://github.com/mdbrnowski/apportionmentlib
   LeanPool/ArchonFirstProofResults   https://github.com/frenzymath/Archon-FirstProof-Results
+  LeanPool/ArnoldKAM                 https://github.com/ybq1415926-droid/arnold1963-kam
   LeanPool/AsymptoticTrianglePacking https://github.com/jtraverso/erdos-81-chordal-clique-partitions
   LeanPool/BKARForestFormula         https://github.com/scottnarmstrong/bkarforestformula
   LeanPool/BannaiBannaiStanton       https://github.com/AntoineduFresne/Bannai-Bannai-Stanton_Theorem
diff --git a/README.md b/README.md
index df5c9de442..a7941a825f 100644
--- a/README.md
+++ b/README.md
@@ -18,7 +18,7 @@ Lean Pool sits between [`mathlib`](https://github.com/leanprover-community/mathl
 Semantic search is also available via the [API](https://search.octo.axiomatic-ai.com/api/search).
 
 <!-- BEGIN STATS -->
-**295** formalization projects · **10,939,627** lines of Lean
+**296** formalization projects · **10,956,869** lines of Lean
 <!-- END STATS -->
 
 <sub>(stats above are refreshed automatically by the [generated-metadata workflow](.github/workflows/notice.yml) — edit [`python/lean_pool/stats.py`](python/lean_pool/stats.py), not the numbers)</sub>