定理発見

xAIが開発したGrok 4.20が数学研究において画期的な成果を達成した。UCI数学教授が取り組んでいた確率論的問題に対し、わずか5分で新しいベルマン関数を発見し、従来の研究が段階的に到達していた限界値を大幅に上回る「鋭い下限」を提示した...