イーロン・マスク氏、Grok 4.5が30年来のグラフ理論仮説を8分で反証したと絶賛、GPT-5も解く

xAIのCEOであるイーロン・マスク氏は、同社のモデル「Grok 4.5」が、30年間未解決だったグラフ理論の仮説をわずか8分で反証したと称賛しました。また、OpenAIの「GPT-5」モデルも独立して同じ問題を解いたと述べています。この成果は、数学的推論や問題解決における高度なAIモデルの急速に進化する能力を際立たせています。仮説の詳細や検証プロセスについては明らかにされていません。