news.ycombinator.com
网页
综合
New Comments | Hacker News
…d help 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 jus…
2026-11-13
自动蜘蛛
相关度 2.4