速報:Grok 4.20の初期ベータ版は、実際の数学においてその強力さを示しました。 ある研究者が、長年学生と一緒に研究してきた難しい数学問題のGrok 4.20へのアクセス権を与えました。問題は、特定のランダム系やブール系の最良の下限を見つけることで、専門家は通常数ヶ月から数年の努力を経て初めて解決する課題でした。 約5分で、Grok 4.20は新しいことを試みました。それはベルマン関数と呼ばれる新しい数学的公式を発見しました。この公式は即座に、これまで知られていたよりも強く鋭い結果をもたらし、最終境界における重要な対数係数を改善しました。 この結果は明日の日常生活を変えるものではありませんが、確率、調和解析、ブール関数の理解の最前線を押し広げます。これは、特定の数学的対象が極端な場合にどれほど激しく爆発するかという長年の好奇心に答え、単なる推定値ではなく正確な鋭い答えを見つけ出しています。 それ以前は、最もよく知られている結果は弱いものでした。Grok 4.20の解は可能な限り最も強い上限を与え、数学的に最適であることが判明しました。 Grok 4.20は独立して、人間が何年も前から取り組んできた問題に対して、数分で高度な数学の研究レベルの実質的な進歩をもたらしました。