Grok 4.5が約30年間未解決の数学的仮説の反証を支援

報告書によると、xAIが開発したモデルであるGrok 4.5は、約30年間未解決だった数学的仮説を反証する役割を果たしました。この成果は、複雑な数学的問題を支援するAIの可能性を強調しており、人工知能と数学の交差点における注目すべきマイルストーンを示しています。