news.ycombinator.com
网页
综合
New Comments | Hacker News
… "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 to do 12,483,324,281/188,553.374…
2026-11-13
自动蜘蛛
相关度 4.0