Grok 4.5 助力推翻近30年悬而未决的数学猜想
xAI
xAI 的 Grok 4.5 模型协助推翻了一个长期悬而未决、困扰数学界约三十年的猜想。这次合作凸显了先进人工智能在数学研究中的实用价值。
据报道，xAI开发的模型Grok 4.5在推翻一个约30年未决的数学猜想中发挥了作用。这一成就凸显了人工智能在协助解决复杂数学问题方面的潜力，标志着人工智能与数学交叉领域的一个重要里程碑。
来源: xAI Grok (GNews) —
原文