From c167cf37c1723f881b98f5694bb5293b9c9c3ca7 Mon Sep 17 00:00:00 2001
From: George Tsoukalas <99286219+GeorgeTsoukalas@users.noreply.github.com>
Date: Wed, 26 Aug 2026 15:46:53 -0500
Subject: [PATCH] Update results.json

Add Aleph Prover latest result
---
 docs/results.json | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/docs/results.json b/docs/results.json
index 99f77b9..e3e4551 100644
--- a/docs/results.json
+++ b/docs/results.json
@@ -451,5 +451,15 @@
         "size": 0,
         "condensed-compute-budget": "avg $8/problem",
         "note": "Using GPT-5.5. All problems solved. 130 requires formalization fixes."
+    },
+    "Aleph Prover (Logical Intelligence)   ": {
+        "link": "https://logicalintelligence.com/aleph-prover-final.html",
+        "open-data": "NONE",
+        "num-solved": {
+            "lean-wsolution": 672
+        },
+        "size": 0,
+        "condensed-compute-budget": "Avg $74, Max $1468 per problem",
+        "note": "avg commit: b9e18f6, version: 4.27, problems: all"
     }
 }