Grok 3证明黎曼猜想，训练遭灾难性事件？数学家称不夸张，两年内AI将解出千禧年难题

2024-11-19 14:47:52

Nebula

发布在

快讯

阅读：383

近日，关于AI模型Grok 3“证明”黎曼猜想的消息引发热议。xAI暂停了Grok 3的训练以验证其证明，若结果正确将终止训练。黎曼猜想是千禧年七大数学难题之一。然而，xAI工程师Hieu Pham随后澄清这只是他的调侃。此前有传言称Grok 3在训练中遭遇了灾难性事件，引发了广泛讨论。尽管如此，AI在数学领域的潜力仍受到关注。例如，AlphaProof在IMO竞赛中表现出色，证明了部分数学题。AI在数学上的进展有望在未来几年加速，但仍需克服计算资源和问题复杂性的挑战。马斯克承诺的Grok 3预计年底发布，可能会带来更多惊喜。

原文链接

本文链接：https://kx.umi6.com/article/8933.html

转载请注明文章出处