From 653c90ec4d02b8efd8d35c06eae06b5e47992a9d Mon Sep 17 00:00:00 2001
From: IntGrah <git@sl.intgrah.com>
Date: Tue, 14 Jul 2026 02:00:55 +0100
Subject: [PATCH] 768

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

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"