Ask HN：是否存在基于小型 LLM 的非确定性 LeetCode 挑战网站？

有开发者在 Hacker News 提议构建一个类似 LeetCode 的挑战平台，设想让用户仅通过提示词驱动本地小型 LLM 生成解法，并由服务器验证正确性。该构想旨在探索面向特定目标的提示词编写技巧，但也面临技术难点：包括选定足够小以支持 WebGPU 运行的 LLM，以及服务器如何验证代码完全由模型生成且未遭篡改。