V4-Pro仍是开源数学最强
teortaxesTex · x · 2026-07-17
V4-Pro 仍被认为是当前最强的开源数学模型。 作者同时指出，模型训练/迭代中对数学能力的“加速优化”似乎已经不再是优先项，暗示开源模型在数学方向的竞争重点可能发生变化。
「模型」频道最新
- Reddit 说 Sol 更慢，但可靠性明显更强 — inY2K · 2026-07-21
- 对比实测显示 Kimi K3 在设计和推理上优于 Fable — OwariDa · 2026-07-21
- 内部模型解出 unit distance 问题，但不是 GPT-5.6 — soumitrashukla9 · 2026-07-21
- Anthropic 的反阿谀训练，可能让助手陷入身份冲突 — mfckr_eth · 2026-07-21
- Grok 4.5 High 成主力，Medium 可能更划算 — TheOyinbooke · 2026-07-21
- X 帖称 GPT-5.6 Pro 和 Sol-Ultra 正显露科学发现者潜力 — DeryaTR_ · 2026-07-21