STEM版,合并数学,物理,化学,科学,工程,机械。不包括生物、医学相关,和计算机相关内容。
版主: verdelite, TheMatrix
-
牛河梁(别问我是谁)楼主
- 论坛元老

2023年度十大优秀网友
2024年度优秀版主
牛河梁 的博客
- 帖子互动: 1316
- 帖子: 24926
- 注册时间: 2022年 11月 17日 21:21
-
联系:
帖子
由 牛河梁(别问我是谁)楼主 »
昨晚睡觉前没事干(新闻刷)。突发奇想试一试ChatGPT和Grok证明几条涉及无穷(数列)的定理。用Latex格式输入。结果老牛都很满意。至少比买提琐男Top 1%强。
-
TheMatrix
- 论坛支柱

2024年度优秀版主
TheMatrix 的博客
- 帖子互动: 248
- 帖子: 13041
- 注册时间: 2022年 7月 26日 00:35
帖子
由 TheMatrix »
牛河梁 写了: 2025年 5月 3日 17:05
昨晚睡觉前没事干(新闻刷)。突发奇想试一试ChatGPT和Grok证明几条涉及无穷(数列)的定理。用Latex格式输入。结果老牛都很满意。至少比买提琐男Top 1%强。
什么样的定理?AI证明写出来看看?
-
牛河梁(别问我是谁)楼主
- 论坛元老

2023年度十大优秀网友
2024年度优秀版主
牛河梁 的博客
- 帖子互动: 1316
- 帖子: 24926
- 注册时间: 2022年 11月 17日 21:21
-
联系:
帖子
由 牛河梁(别问我是谁)楼主 »
TheMatrix 写了: 2025年 5月 3日 19:27
什么样的定理?AI证明写出来看看?
删了。写的prompt不够数学。可能引起了ChatGPT和老牛相互误会。有时间继续试。
-
ɓuoɥɔɓuɐnɥ(poɓᴉuɯO pǝʇɹǝʌuI)
- 见习点评

- 帖子互动: 127
- 帖子: 1320
- 注册时间: 2024年 9月 27日 23:57
帖子
由 ɓuoɥɔɓuɐnɥ(poɓᴉuɯO pǝʇɹǝʌuI) »
LLM还是老毛病,根据的是前后语义而不是第一性原理推理
昨天还看到一个例子1300 > 1540
让AI帮你写个过程自己检查不错,盲目信那就要准备踩大坑
¡qooq ƃᴉq ɐ ǝɹɐ no⅄
-
牛河梁(别问我是谁)楼主
- 论坛元老

2023年度十大优秀网友
2024年度优秀版主
牛河梁 的博客
- 帖子互动: 1316
- 帖子: 24926
- 注册时间: 2022年 11月 17日 21:21
-
联系:
帖子
由 牛河梁(别问我是谁)楼主 »
ɓuoɥɔɓuɐnɥ 写了: 2025年 5月 5日 18:40
LLM还是老毛病,根据的是前后语义而不是第一性原理推理
昨天还看到一个例子1300 > 1540
让AI帮你写个过程自己检查不错,盲目信那就要准备踩大坑
和LLM聊天帮忙找错(外行)评价还是很有帮助。像牛战友说的,是个好buddy(安达)。
-
VladPutin(清风不识字何故乱翻书)
- 论坛支柱

VladPutin 的博客
- 帖子互动: 1267
- 帖子: 11007
- 注册时间: 2022年 7月 24日 11:12
帖子
由 VladPutin(清风不识字何故乱翻书) »
写物理推导基本上都是错的,不知道是不是因为网上所有的物理公式推导都写得不完整导致ai神经错乱。
-
mmking(上水)
- 论坛精英

- 帖子互动: 984
- 帖子: 7222
- 注册时间: 2023年 1月 25日 05:10
帖子
由 mmking(上水) »
会的人少,llm就不会了
VladPutin 写了: 2025年 5月 8日 14:44
写物理推导基本上都是错的,不知道是不是因为网上所有的物理公式推导都写得不完整导致ai神经错乱。
凡所有相,皆是虚妄