https://news.dhphong.com/tags/lambda-calculus/ Recent content in Lambda-Calculus on Tech News Feed Hugo -- 0.131.0 vi Sat, 25 Apr 2026 13:02:19 +0700 https://news.dhphong.com/posts/2026-04-25-lambda-calculus-benchmark-for-ai/ Sat, 25 Apr 2026 13:02:19 +0700 https://news.dhphong.com/posts/2026-04-25-lambda-calculus-benchmark-for-ai/ Nguồn: LamBench Tóm tắt LamBench là một benchmark đánh giá khả năng suy luận của các LLM thông qua các bài toán lambda calculus — một nhánh toán học lý thuyết về computation và functional programming. Khác với benchmark code thông thường, lambda calculus thuần túy không có shortcut từ việc nhớ training data; model phải thực sự “tính toán”. Kết quả ranking hiện tại (120 câu hỏi) rất thú vị: GPT-5.