Kimi 的数学推理截图
teortaxesTex · x · 2026-07-20
帖子转发了一段“Funny reasoning from Kimi”，配图是模型对一个数学构造的长篇推理截图。
截图里模型先逐项检查若干式子是否为 0，并得出“det JF = -2. Verified completely.”，随后进一步声称一个 Jacobian conjecture 的例子在维数 ≥ 3 下成立，从而使该猜想在更高维度下为假。作者把这类推理表现当作有趣内容来转发。
「模型」频道最新
- Sam Altman 将赴华盛顿，向国会简报 OpenAI 的 GPT-6 — inductionheads · 2026-07-22
- 基准图对比 GPT-5.6 Luna、Grok 4.5 和 Gemini 3.6 Flash — iruletheworldmo · 2026-07-22
- 帖子称 Kimi 源自 Fable 蒸馏，引发模型归属争议 — cephaloform · 2026-07-22
- Gemini 3.6 Flash 已可在 Antigravity 和聊天中使用 — MartianOnJupiter · 2026-07-22
- Gary Marcus：LLM 会做数学不等于真的懂智能 — GaryMarcus · 2026-07-22
- OpenAI Codex + GPT-5.6 Sol 在验证测试中达到 99% 召回 — soumitrashukla9 · 2026-07-22