分页： 1 / 1
#1 ChatGPT和Grok的数学证明都很强很有用
发表于 ： 2025年 5月 3日 17:05
由 牛河梁
昨晚睡觉前没事干（新闻刷）。突发奇想试一试ChatGPT和Grok证明几条涉及无穷（数列）的定理。用Latex格式输入。结果老牛都很满意。至少比买提琐男Top 1%强。
#2 Re: ChatGPT和Grok的数学证明都很强很有用
发表于 ： 2025年 5月 3日 19:27
由 TheMatrix
牛河梁 写了： 2025年 5月 3日 17:05
昨晚睡觉前没事干（新闻刷）。突发奇想试一试ChatGPT和Grok证明几条涉及无穷（数列）的定理。用Latex格式输入。结果老牛都很满意。至少比买提琐男Top 1%强。
什么样的定理？AI证明写出来看看？
#3 Re: ChatGPT和Grok的数学证明都很强很有用
发表于 ： 2025年 5月 5日 02:51
由 牛河梁
TheMatrix 写了： 2025年 5月 3日 19:27
什么样的定理？AI证明写出来看看？
删了。写的prompt不够数学。可能引起了ChatGPT和老牛相互误会。有时间继续试。
#5 Re: ChatGPT和Grok的数学证明都很强很有用
发表于 ： 2025年 5月 5日 18:40
由 ɓuoɥɔɓuɐnɥ
LLM还是老毛病，根据的是前后语义而不是第一性原理推理
昨天还看到一个例子1300 > 1540
让AI帮你写个过程自己检查不错，盲目信那就要准备踩大坑
#6 Re: ChatGPT和Grok的数学证明都很强很有用
发表于 ： 2025年 5月 5日 18:43
由 牛河梁
ɓuoɥɔɓuɐnɥ 写了： 2025年 5月 5日 18:40
LLM还是老毛病，根据的是前后语义而不是第一性原理推理
昨天还看到一个例子1300 > 1540
让AI帮你写个过程自己检查不错，盲目信那就要准备踩大坑
和LLM聊天帮忙找错（外行）评价还是很有帮助。像牛战友说的，是个好buddy（安达）。
#7 Re: ChatGPT和Grok的数学证明都很强很有用
发表于 ： 2025年 5月 8日 14:44
由 VladPutin
写物理推导基本上都是错的，不知道是不是因为网上所有的物理公式推导都写得不完整导致ai神经错乱。
#8 Re: ChatGPT和Grok的数学证明都很强很有用
发表于 ： 2025年 5月 8日 14:46
由 mmking
会的人少，llm就不会了
VladPutin 写了： 2025年 5月 8日 14:44
写物理推导基本上都是错的，不知道是不是因为网上所有的物理公式推导都写得不完整导致ai神经错乱。