news.ycombinator.com
网页
综合
New Comments | Hacker News
…ust next to this word, there is "Lean verification", which is not about arithmetic but about the logic. But the problem is not even there. LLM are not able to do math not because they fail t…
2026-11-13
自动蜘蛛
相关度 1.7