news.ycombinator.com
网页
综合
New Comments | Hacker News
…p mathematicians needs harness with tools like Lean. The LLM part does not understand what the expression means, it needs a tool to discard, internally, all the LLM outputs that are just non…
2026-11-13
自动蜘蛛
相关度 3.8