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