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

[牛河梁]

昨晚睡觉前没事干（新闻刷）。突发奇想试一试ChatGPT和Grok证明几条涉及无穷（数列）的定理。用Latex格式输入。结果老牛都很满意。至少比买提琐男Top 1%强。

[TheMatrix]

昨晚睡觉前没事干（新闻刷）。突发奇想试一试ChatGPT和Grok证明几条涉及无穷（数列）的定理。用Latex格式输入。结果老牛都很满意。至少比买提琐男Top 1%强。

什么样的定理？AI证明写出来看看？

[牛河梁]

什么样的定理？AI证明写出来看看？

删了。写的prompt不够数学。可能引起了ChatGPT和老牛相互误会。有时间继续试。

[ɓuoɥɔɓuɐnɥ]

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

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

让AI帮你写个过程自己检查不错，盲目信那就要准备踩大坑

[牛河梁]

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

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

让AI帮你写个过程自己检查不错，盲目信那就要准备踩大坑

和LLM聊天帮忙找错（外行）评价还是很有帮助。像牛战友说的，是个好buddy（安达）。

[VladPutin]

写物理推导基本上都是错的，不知道是不是因为网上所有的物理公式推导都写得不完整导致ai神经错乱。

[mmking]

会的人少，llm就不会了

写物理推导基本上都是错的，不知道是不是因为网上所有的物理公式推导都写得不完整导致ai神经错乱。