同样的问题描述，本地不到 0.1 秒； Gemini 3 flash 仅思考 15 秒多
第 1 条附言 16 天前
刚让 gemini 不用解释，只说结果。耗时 10 秒。
14 条回复 2026-01-01 19:51:23 +08:00
 | 1 dadupi 16 天前  1 首先，你这个 19 秒离谱了，不是典型代表。你用别的大模型试试，我用豆包只需要 6 秒 其次，你本地模型只给答案，没有给推理过程，会节省时间。我用豆包要求只展示答案的情况下，只需要 2 秒 |
 | 3 crs0910 16 天前 3 能不能务实一点 |
 | 4 neteroster 16 天前 没看懂这是要比啥，语言模型和逻辑编程语言是两个完全不同的物种吧。那我还能说计算器能几 ns 算一个乘法，大模型慢得多呢，何意味... |
 | 5 Xs0ul 16 天前 via Android 4 not even wrong |
 | 6 xuanwu OP @neteroster 很多人不知道不用大模型也可以推理还更快，包括编程的。 |
 | 7 livib 16 天前 头一回用大模型都能得出结论吗？ |
 | 9 wwk 16 天前 我看了下具体内容，这俩能放一起比较？ 搞什么标新立异，建议发小红书比较合适。 |
 | 10 Liftman 16 天前 这样骗自己有意义么？。。。。。。。。。 |
 | 11 niubilewodev 16 天前 via iPhone 刚试了一下，这个 z3-solver 跑不起来。gemini 更好用。 当然，我是头一次用这个 z3-solver 。 |
| 12 xuanwu OP @niubilewodev 欢迎到文章末尾仓库提 issue |
 | 13 mooyo 16 天前 2 只要你自己掌握问题的定义，你就无敌了。 能不能不要自己骗自己？ |
 | 14 shyling 16 天前 大模型算个加减法应该也没有代码直接写快 |
Select Language