diff --git a/data/problems.yaml b/data/problems.yaml
index 1d4f5a81..b5f0da7c 100644
--- a/data/problems.yaml
+++ b/data/problems.yaml
@@ -8488,8 +8488,8 @@
 - number: "768"
   prize: "no"
   status:
-    state: "open"
-    last_update: "2025-08-31"
+    state: "proved (Lean)"
+    last_update: "2026-07-14"
   oeis: ["A001034", "A352287"]
   formalized:
     state: "no"