Earth Grieves
2024-11-13T09:09:59+00:00
不管你们信不信，反正我是不信的
下面的回复多数都是质疑和嘲讽
下面的回复多数都是质疑和嘲讽
[新闻] 马斯克旗下AI公司某工程师发推称Grok-3证明了黎曼猜想
kobe .
这么多国际数学协会，赶紧论证一下啊
IGNIXTE
但凡知道RH表述是啥的都知道这玩意儿不是AI能搞出来的
IGNIXTE
一眼丁真有啥论证的必要
BJP
不信，说话没用，论文整理出来公开
Surfsalami
这论证都得两三个月起步，半年后有结果吧大概。
停止训练？加大力度！
停止训练？加大力度！
Smbah
下面的回复都是ai刷的
HipHopFlatlined
额，这种能信的肯定对ai没什么基本的了解，不存在的。
Chute Mi
是不是下一步就是倒写圆周率了？
还是说通过遍历素数的形式验证了哥德巴赫猜想
还是说通过遍历素数的形式验证了哥德巴赫猜想
Ke1vinny
我怀疑这个工程师没看懂这个AI给出的证明就跑出来宣称了，实际上AI给的证明只是从其他论文里拼凑出来的没有逻辑的东西。
RealTallShady
他要是说证否了这个猜想我说不定多关注几天
Nathan0107
科技公司这种宣传方式多少有点路径依赖了，而且目前scalinglaw已经进入瓶颈了能用的数据用得也差不多了，而且之前在cv领域就已经验证过一次了，不管是claude还是gpt的下一代是一拖再拖，现在就是在做推理scaling如gpto1这种统一用transformer做多模态而不是dit，不过估计推理的scaling也持续不了几代就会停滞了，但是现在不管是文生图文代码还是视频都是可以辅助用的状态，就不要期待太多了
Even
黎曼猜想属于洞悉质数部分本质的问题，
超出目前人类所有的思路和现有的数学工具。
ai目前的证明原理是在现有证明库中训练，
然后用证明库的方法进行无限组合推衍，
没法超出上限，理论上就不可能。
超出目前人类所有的思路和现有的数学工具。
ai目前的证明原理是在现有证明库中训练，
然后用证明库的方法进行无限组合推衍，
没法超出上限，理论上就不可能。