AI tool comparison
LamBench vs OpenMythos
Which one should you ship with? Here is the side-by-side panel verdict, pricing read, reviewer split, and community vote comparison.
Research & Benchmarks
LamBench
120 λ-calculus challenges that cut through AI benchmark gaming
50%
Panel ship
—
Community
Free
Entry
LamBench is a benchmark of 120 fresh lambda calculus programming questions designed by Victor Taelin (creator of the HVM runtime) to test genuine AI reasoning capabilities rather than pattern-matched performance on contaminated datasets. Questions range from implementing basic operations like addition for λ-encoded natural numbers to deriving generic folds for arbitrary data types. The benchmark measures both accuracy (percentage of 120 tasks solved correctly) and speed (average solution time). Current top performers include GPT-5.4 at 91.7% accuracy, Anthropic's Opus 4.6 at 90.0%, and GPT-5.3-Codex at 89.2%. Lower-tier models bottom out at 28-58% accuracy — revealing significant gaps in symbolic reasoning capability that other benchmarks obscure. Taelin released LamBench in direct response to community requests for a benchmark resistant to training data contamination. Lambda calculus is a clean, closed formal system — ideal for testing reasoning because memorizing examples provides minimal advantage over actually understanding the abstractions.
Research & Open Source
OpenMythos
Open-source PyTorch reconstruction of Claude Mythos' suspected architecture
75%
Panel ship
—
Community
Paid
Entry
OpenMythos is a PyTorch reconstruction of the suspected architecture underlying Anthropic's Claude Mythos model, built entirely from published research. Creator Kye Gomez hypothesizes that Mythos uses a Recurrent-Depth Transformer (RDT) — where a subset of transformer layers loops multiple times per forward pass with shared weights rather than stacking unique layers. This allows the model to simulate "thinking" by iterating over the same compute graph, giving it emergent chain-of-thought behavior without explicit CoT prompting. At 770M parameters, the OpenMythos implementation reportedly matches the downstream quality of a 1.3B standard transformer on benchmarks. The architecture combines Multi-Latent Attention for memory compression, LTI (Linear Time-Invariant) stability constraints to prevent training instability during recurrence, Mixture of Experts routing for specialization, and Adaptive Computation Time (ACT) halting to decide when to stop looping per token. The project exploded on GitHub within days — 6.2k stars, 1.2k forks — and Kye's X announcement drove massive engagement (4.1k likes, 4.5k reposts). Community reaction is genuinely divided: AI researchers calling it "the most sophisticated reverse-engineering of an LLM architecture I've seen" while Anthropic has not confirmed or denied any of the architectural claims. This is an educated speculation backed by real engineering, not a marketing exercise.
Reviewer scorecard
“Lambda calculus is a great choice for a hard-to-contaminate benchmark — you can't just memorize your way to success on symbolic reasoning. The gap between top models (90%+) and mid-tier (50-60%) is much larger than most leaderboards show, which gives it real signal.”
“Whether or not Anthropic actually uses this architecture, the RDT implementation itself is genuinely impressive engineering. The ACT halting mechanism and LTI stability constraints are clever solutions to problems anyone trying to build reasoning models will face. Fork-worthy regardless of the Mythos speculation.”
“120 questions is a very small sample size for a benchmark claiming to measure fundamental reasoning — statistical noise could easily explain a 5-10% difference between models. And lambda calculus is a narrow domain; strong performance here doesn't generalize to most real tasks.”
“This is reverse engineering based on vibes and published papers, not leaked weights or verified architecture docs. Anthropic hasn't confirmed a thing. The 770M benchmark comparisons are cherrypicked and the '1.3B equivalent quality' claim needs independent reproduction. Intellectually interesting, empirically unverified.”
“As LLMs saturate mainstream benchmarks, we'll rely increasingly on formal, symbolic tasks to measure genuine reasoning progress. LamBench points toward a class of evaluation that correlates with the kind of compositional thinking needed for real AGI-level capabilities.”
“Regardless of whether Mythos actually is an RDT, this project demonstrates that open-source researchers can meaningfully reconstruct competitive reasoning architectures from scratch. That capability gap between frontier labs and open-source is closing faster than most realize.”
“Lambda calculus reasoning benchmarks are fascinating from a research perspective but have zero direct connection to creative workflows. The leaderboard is worth bookmarking to track which models are actually getting smarter vs. just getting better at gaming evals.”
“A 6.2k star project in two days means something hit a nerve. The documentation is excellent — clear architecture diagrams, detailed training notes, working code. Even if the Mythos speculation is wrong, this is a model for how to share research engineering properly.”
Weekly AI Tool Verdicts
Get the next comparison in your inbox
New AI tools ship daily. We compare them before you waste an afternoon.