python agi gemini source-code llm gemini-ai llm-reasoning einstein-test demis-hassabis 1911-cutoff-test
-
Updated
Oct 8, 2026
#
einstein-test
Here are 3 public repositories matching this topic...
Model R&D knowledge base for the AwareLiquid research line - the Einstein Test as the north-star capability target for abductive paradigm-shift intelligence: hypothesis-cluster architecture decomposition, frozen-corpus evaluation protocol, ablation design, and staged discovery roadmap.
-
Updated
Oct 2, 2026 - Python
Lean 4 formalization companion to 'What the Karpowicz Theorem Does Not Prove' (Li, 2026)
formal-verification kolmogorov-complexity mathlib lean4 large-language-models recursion-theory philosophy-of-ai verification-asymmetry einstein-test
-
Updated
Sep 2, 2026 - Lean
Add this topic to your repo
To associate your repository with the einstein-test topic, visit your repo's landing page and select "manage topics."