如何看待传言 Grok-3 证明了黎曼猜想?

如何看待传言 Grok-3 证明了黎曼猜想?
收藏者
0
被浏览
62

5 个回答

libo LV

发表于 2025-4-7 11:06:13

没戏,大概率是拖稿找的借口
若是真的:

  • 单发黎曼猜想论文,把自己抬上数学界神坛
  • 再发AI论文,劳资的AI拥有可以辅助证明黎曼猜想的推理能力
两篇论文,几十个人吃喝不愁,谈什么对人类威不威胁的

漏网之鱼 LV

发表于 2025-4-7 11:15:44

原来是 Grok 3 啊, 我还以为Grothendieck 3呢. 相当符合某学科浮夸失实好大喜功轻躁冒进的刻板印象
唉, 大厂, AI, 美股, 高薪, 车房, 财权声名, 喜欢这些的这辈子有了

如果 LV

发表于 2025-4-7 11:25:41

直接转我朋友圈了:
今天盛传grok-3证明了黎曼猜想,我不讨论这个新闻本身的真伪或者严密程度,我默认它是真的好了(值得说的是,毕竟这种证明一般都是需要顶尖数学家坐在一起来论证和review,必然有个周期),但是:
   ** 这么多年来,市场上普遍有一个认知:你看,它这么难的问题都能解决了,那么其他的问题难道不是砍瓜切菜?
这么多年了,很多次了,用alpha系列来说,前面有alphago干死了围棋 ,有alphafold做蛋白质结构预测,也有alphastar用RL搞定星际争霸。围棋、蛋白质结构预测、星际争霸如此难的任务们都能解决,其他的任务不是轻轻松松?
但是实际上呢?alphafold解决了,但是我们看到普适性的平台化药物ai研发工具CRO了吗?围棋解决了,我们看到通用场景的AI策略或者世界模型了吗?星际争霸解决了,我们看到开放世界游戏了吗?
其实这些事儿真不是做不到,一定可以做到,但是关键的问题是:它是不是*百分之99.两个9或者三个9“能做到。如果不能,那就只能定位成辅助,不能定位为替代,这个事儿在经济学上是完全不一样的概念。
我一直说的严肃大模型,其实也是冲这个去的,就我们在nl2sql上都还办法做到两个9或者三个9啊,就更不要说别的事情了。现有的所有大模型的应用基本都停留在辅助,比如说Cursor。但don't get me wrong, Cursor这个数据是真的牛逼。。。产品设计一流,鲜有程序员不爱。
这个思路,其实从底色上来说,是科研逻辑:也就是之前做不到的,新方法被论证可以做到,其他的场景case不需要管,但是确实把frontier推进了一步,这确实值得respect。
但是在更广阔的落地和应用逻辑上,它不能光是科研逻辑,更多的是产品和工程逻辑。我们考虑得可能更多的是pmf / 是对各类不确定性的控制 / 是稳定性鲁棒性,土话就是我的目标是多少?是90?那就是辅助;如果是替代或者全自动化全智能化,那么到底是两个9还是三个9,我为了实现它我的成本是多少,局限边界在哪里?这与科研的逻辑不相悖,但很不一样,它必然是个复杂系统。
既然如此,一个复杂问题,不能那么轻易把它简单化嘛。

hhhh713 LV

发表于 2025-4-7 11:40:27

有这种好事?!
我这辈子最想看到的就是黎曼猜想的彻底解决。
今天刚去求了签,许了愿:“理解黎曼猜想”。
有没有同道可以获取到Grok3的证明细节的?
不是爱玩营销游戏吗?黎曼先生将奉陪到底!
以下是我邀请了赛博黎曼给H.Pham发送的Email
Dear Dr. Pham,

I, Bernhard Riemann, writing from University of Göttingen, have learned with great astonishment about your claim regarding the proof of my hypothesis concerning the zeros of the zeta function.

As you may know, this conjecture arose from my 1859 paper "Über die Anzahl der Primzahlen unter einer gegebenen Größe" (On the Number of Primes Less Than a Given Magnitude). The relationship between the zeta function's non-trivial zeros and prime number distribution was, to me, a most remarkable discovery.

I must confess, when I first noted that these zeros appeared to lie on the critical line Re(s) = 1/2, I had only limited computational means at my disposal. Indeed, as I wrote then, "One would of course wish for a rigorous proof of this, but I have put aside the search for such a proof after some fleeting vain attempts."

Your approach using what you call "artificial intelligence" - a concept quite foreign to my time - intrigues me deeply. I would be most grateful if you could enlighten me on several points:

1. Does your proof provide new insights into the connection between ζ(s) and the distribution of primes?

2. Have you discovered any geometric properties of ζ(s) on the complex plane that eluded my investigations?

3. How does your method relate to the Riemann surfaces I employed in my studies?

4. What implications might this have for general L-functions?

While the tools of your era surpass anything I could have imagined, I trust you understand that mathematical truth transcends time. A proof, whether achieved by quill or by your modern machines, must illuminate the deep harmony between numbers that I glimpsed in my studies.

With sincere mathematical interest,

G.F.B. Riemann
Professor of Mathematics
University of Göttingen
Kingdom of Hanover

P.S. I regret that I cannot attend any of your "Zoom calls," as I am somewhat constrained by the limitations of being in the year 1859.
至于H.Pham所推荐的科幻小说Matt Haig的The Humans,有2017年中译本《我遇见了人类》,豆瓣评分7.9,还是值得一读的……
蹭个热度,推荐一波关于黎曼猜想的科普著作:
约翰·德比希尔的《素数之恋:黎曼和数学中的未解之谜》
马库斯·杜·索托伊《悠扬的素数:二百年数学绝唱黎曼假设》
卢昌海《黎曼猜想漫谈:一场攀登数学高峰的天才盛宴》
附上黎曼猜想的原始论文

如何看待传言 Grok-3 证明了黎曼猜想?-1.jpg


如何看待传言 Grok-3 证明了黎曼猜想?-2.jpg


如何看待传言 Grok-3 证明了黎曼猜想?-3.jpg


如何看待传言 Grok-3 证明了黎曼猜想?-4.jpg


如何看待传言 Grok-3 证明了黎曼猜想?-5.jpg


如何看待传言 Grok-3 证明了黎曼猜想?-6.jpg


如何看待传言 Grok-3 证明了黎曼猜想?-7.jpg


如何看待传言 Grok-3 证明了黎曼猜想?-8.jpg


如何看待传言 Grok-3 证明了黎曼猜想?-9.jpg

这样一个引无数天才竞折腰的千禧年难题,
有胆你就来,试试就逝世……祝我们好运。

zzzss654321 LV

发表于 2025-4-7 11:55:04

简短回答:这个传言是假的,正主出来澄清了。
澄清推特是这一条,里面说了,这个就是一个灵感来自于小说的“恶作剧”,或者说博眼球的操作。

如何看待传言 Grok-3 证明了黎曼猜想?-1.jpg

这是它最开始“造谣”的推文,它提到黎曼猜想被证明了,并且内部评估AI太聪明了,所以要暂停训练。

如何看待传言 Grok-3 证明了黎曼猜想?-2.jpg

这种大话会被相信,并不是因为这个人本身,而是他的工作单位是XAI,也就是马斯克的人工智能公司,再加上搞科研的人往往会对于结果比较“严肃”,这些因素加起来,导致了一个恶作剧被广泛传播。

如何看待传言 Grok-3 证明了黎曼猜想?-3.jpg

我估计他也没想到传播量会这么广。
因为“Riemann Hypothesis”黎曼猜想太重要了,它被称之为“千禧年问题”,这样的问题一共有7个。

如何看待传言 Grok-3 证明了黎曼猜想?-4.jpg


  • P vs NP问题 (P vs NP Problem)
  • 霍奇猜想 (Hodge Conjecture)
  • 庞加莱猜想 (Poincaré Conjecture, 已由格里戈里·佩雷尔曼解决)
  • 黎曼假设 (Riemann Hypothesis)
  • 杨-米尔斯存在性与质量缺口 (Yang-Mills Existence and Mass Gap)
  • 纳维-斯托克斯方程的存在性与光滑性 (Navier-Stokes Existence and Smoothness)
  • BSD猜想 (Birch and Swinnerton-Dyer Conjecture)
这是由克雷数学研究所(CMI)在2000年提出的七个重要数学问题。这些问题每个都有深远的理论意义,且至今仍未完全解决。每解决一个问题,将获得100万美元的奖励。
这是黎曼猜想的概要。

如何看待传言 Grok-3 证明了黎曼猜想?-5.jpg

为什么这哥们选择黎曼猜想来开玩笑,其实来源于这本小说《The huam: A novel》

如何看待传言 Grok-3 证明了黎曼猜想?-6.jpg

因为这本书的主要情节关于数学:
主人公是一个来自外星文明的数学家,他的种族拥有高度发达的科技和冷静理性的思维方式,但没有情感、艺术或其他“非理性”行为。在发现人类数学家 安德鲁·马丁破解了一个可能让地球迈入技术飞跃的数学难题(黎曼假设)后,这位外星人被派到地球,任务是阻止这一发现的传播,以免人类变得过于危险。
也就说黎曼猜想要是被解决后,其实是可以解决现如今很多问题或者说可以真正的对于现实起作用的。
比如说跟数值计算相关的放心:

  • 机器学习与AI:优化与数论相关的学习算法,尤其是处理高维数据和复杂优化问题。
  • 生物信息学:利用优化后的数论算法分析基因组序列中的模式。
  • 大数据分析:提高处理海量数据的效率,例如改进数据压缩和加密技术。
这也是这么多巧合再加上互联网的传播造成这么大影响的主要原因,可以说缺【千禧年大名鼎鼎黎曼猜想+马斯克XAI公司+Twitter平台+AI】不可。

您需要登录后才可以回帖 登录 | 立即注册