ChatGPT和Grok的数学证明都很强很有用

STEM版,合并数学,物理,化学,科学,工程,机械。不包括生物、医学相关,和计算机相关内容。

版主: verdeliteTheMatrix

回复
头像
牛河梁(别问我是谁)楼主
论坛元老
论坛元老
2023年度十大优秀网友
2024年度优秀版主
牛河梁 的博客
帖子互动: 1316
帖子: 24926
注册时间: 2022年 11月 17日 21:21
联系:

#1 ChatGPT和Grok的数学证明都很强很有用

帖子 牛河梁(别问我是谁)楼主 »

昨晚睡觉前没事干(新闻刷)。突发奇想试一试ChatGPT和Grok证明几条涉及无穷(数列)的定理。用Latex格式输入。结果老牛都很满意。至少比买提琐男Top 1%强。
头像
TheMatrix
论坛支柱
论坛支柱
2024年度优秀版主
TheMatrix 的博客
帖子互动: 248
帖子: 13041
注册时间: 2022年 7月 26日 00:35

#2 Re: ChatGPT和Grok的数学证明都很强很有用

帖子 TheMatrix »

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

#3 Re: ChatGPT和Grok的数学证明都很强很有用

帖子 牛河梁(别问我是谁)楼主 »

TheMatrix 写了: 2025年 5月 3日 19:27 什么样的定理?AI证明写出来看看?
删了。写的prompt不够数学。可能引起了ChatGPT和老牛相互误会。有时间继续试。
头像
ɓuoɥɔɓuɐnɥ(poɓᴉuɯO pǝʇɹǝʌuI)
见习点评
见习点评
帖子互动: 127
帖子: 1320
注册时间: 2024年 9月 27日 23:57

#5 Re: ChatGPT和Grok的数学证明都很强很有用

帖子 ɓuoɥɔɓuɐnɥ(poɓᴉuɯO pǝʇɹǝʌuI) »

LLM还是老毛病,根据的是前后语义而不是第一性原理推理

昨天还看到一个例子1300 > 1540

让AI帮你写个过程自己检查不错,盲目信那就要准备踩大坑
¡qooq ƃᴉq ɐ ǝɹɐ no⅄
头像
牛河梁(别问我是谁)楼主
论坛元老
论坛元老
2023年度十大优秀网友
2024年度优秀版主
牛河梁 的博客
帖子互动: 1316
帖子: 24926
注册时间: 2022年 11月 17日 21:21
联系:

#6 Re: ChatGPT和Grok的数学证明都很强很有用

帖子 牛河梁(别问我是谁)楼主 »

ɓuoɥɔɓuɐnɥ 写了: 2025年 5月 5日 18:40 LLM还是老毛病,根据的是前后语义而不是第一性原理推理

昨天还看到一个例子1300 > 1540

让AI帮你写个过程自己检查不错,盲目信那就要准备踩大坑
和LLM聊天帮忙找错(外行)评价还是很有帮助。像牛战友说的,是个好buddy(安达)。
头像
VladPutin(清风不识字何故乱翻书)
论坛支柱
论坛支柱
VladPutin 的博客
帖子互动: 1267
帖子: 11007
注册时间: 2022年 7月 24日 11:12

#7 Re: ChatGPT和Grok的数学证明都很强很有用

帖子 VladPutin(清风不识字何故乱翻书) »

写物理推导基本上都是错的,不知道是不是因为网上所有的物理公式推导都写得不完整导致ai神经错乱。
图片
头像
mmking(上水)
论坛精英
论坛精英
帖子互动: 984
帖子: 7222
注册时间: 2023年 1月 25日 05:10

#8 Re: ChatGPT和Grok的数学证明都很强很有用

帖子 mmking(上水) »

会的人少,llm就不会了
VladPutin 写了: 2025年 5月 8日 14:44 写物理推导基本上都是错的,不知道是不是因为网上所有的物理公式推导都写得不完整导致ai神经错乱。
凡所有相,皆是虚妄
回复

回到 “STEM”