diff --git a/data/problems.yaml b/data/problems.yaml
index bf4c252..f3cf388 100644
--- a/data/problems.yaml
+++ b/data/problems.yaml
@@ -10938,8 +10938,8 @@
 - number: "990"
   prize: "no"
   status:
-    state: "disproved"
-    last_update: "2026-04-09"
+    state: "disproved (Lean)"
+    last_update: "2026-04-19"
   oeis: ["N/A"]
   formalized:
     state: "no"