埃隆·马斯克称赞Grok 4.5用8分钟推翻一个30年的图论假设；GPT-5也解决了该问题

xAI首席执行官埃隆·马斯克称赞Grok 4.5模型推翻了一个存在30年之久的图论猜想（即假设），该猜想长期未能解决，据报道该模型仅用8分钟就完成了这一任务。马斯克还提到，OpenAI的GPT-5模型也独立解决了同一问题。这一成就凸显了高级AI模型在数学推理和问题解决方面日益增强的能力。关于该猜想或验证过程的更多细节尚未公布。