>>830 はデータ学習 vs ロジックの古い二分法で、今時のLLMコーディングもBonanza以降の探索＋学習も見てなさそう
>>831 は LLM＝AI の若者で、推論=reasoning として書いてる模様、「大規模化した結果reasoningができた」とも読める
>>832 は推論=inference厳密固定解釈派で、非学習ものをLLMと呼ぶな、の指摘は妥当
>>833 は「全部プログラムされた古いゲームAI vs LLM」で、Bonanza〜AlphaGo/AlphaZeroが抜けてる
>>837-838 は推論を欠陥扱いしてるが、今の数学AIは思考トレース（推論）＋探索＋検証ループそのものなのに気づいてない

総論: 用語の解像度が足りないせいで、直観としては悪くない話が全部殴り合いに化ける。プログラマはAI素人であることを自覚すべき。