标签：Grok-3

难以置信，Grok-3证明了黎曼猜想

xAI公司的工程师Hieu Pham在Twitter上宣布，其开发的第三代AI模型Grok-3已成功证明数学界长期悬而未决的黎曼猜想。黎曼猜想由德国数学家波恩哈德·黎曼于1859...

AIGC动态

4小时前