From 29d8ab631080b9a9d4aedcef3a2068ff562a6925 Mon Sep 17 00:00:00 2001
From: Boris Alexeev <plby@users.noreply.github.com>
Date: Sun, 19 Apr 2026 17:32:56 -0700
Subject: [PATCH] 990 -> (Lean)

---
 data/problems.yaml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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"