Lambda Calculus Benchmark for AI