这里说,Grok-3模型刚刚证明了黎曼猜想 ,感觉太不可思议了
发信人: henter (特快地青群314511877), 信区: NewExpress
标 题: 粗大!Grok-3证明了黎曼猜想
发信站: 水木社区 (Mon Nov 18 13:39:20 2024), 站内
xAI的工程师Hieu Pham表示“Grok-3模型刚刚证明了黎曼猜想,我们决定暂停它的训练,以检查其证明。如果证明正确,则不会恢复训练,因为该人工智能被认为过于聪明,以至于对人类构成了威胁。”
Grok-3是xAI的大模型,马斯克用10万张英伟达卡来训练,预期是12月发布。Hieu Pham是xAI的工程师,此前在Google Brain工作。
【 在 feng321 的大作中提到: 】
:
https://baike.baidu.com/item/%E9%BB%8E%E6%9B%BC%E7%8C%9C%E6%83%B3/1490284?fr=ge_ala: 这里给出的描述,我看都看不懂。附件中,积分表达式后面的 dz/z,这里的z是实数还是复数?感觉象是复数,而一个复数相当于二维平面直角坐标系里的一个点,这个dz/z实际上就应该是一个二重积分。一重积分基本上是闭区间上的积分,二重积分,基本上是平面闭区域上的积分。这个 dz/z 的黎曼积分是在平面区域上的积分吗?
: 附件中的描述:
: ...................
--
FROM 120.242.238.*