大模型会先编引理再证明
burny_tech · x · 2026-07-19
转述一条对大模型推理习惯的吐槽：它会先“发明”一个并未证明的引理，再拿这个引理去证明定理，让人很难分辨哪些内容是真实推导、哪些只是编造。尽管如此，发言者仍认为它“极其有用”。
「模型」频道最新
- OpenAI 在 GPT-Live 推出语音功能，界面却遮住搜索联动 — Graham_dePenros · 2026-07-22
- Moonshot 的 Kimi K3 以 156 分刷新开权重 ECI 纪录 — scaling01 · 2026-07-22
- Nanbeige4.2-3B 发布，3B Looped Transformer 反超更大模型 — Wooden-Deer-1276 · 2026-07-22
- 有人称已有 6 家公司模型超越 Google 最强 LLM — soham_btw · 2026-07-22
- Google 透露 Gemini 3.5 Pro 测试中，Gemini 4 已预训练 — Wide-Ad1564 · 2026-07-22
- Gemini 3.5 Flash Lite 实测：非前沿最优，但推理速度达 350 tok/s — brandon_galang · 2026-07-22