論文『Grokability in five inequalities』は、xAIの言語モデルGrokと数学者らの共同研究から得られた5つの数学的発見を短くまとめた報告である。arXivのmath.PR（確率論）とcs.AI（人工知能）の双方に分類され、2026年5月6日付で投稿された。
報告されている5件は、(1) ℝⁿ上の凸集合の最大ガウス周長に関する下界の改良、(2) ハミング立方体 {-1,1}ⁿ 上のL₂-L₁モーメント比較不等式の鋭化、(3) 自己畳み込み不等式の強化、(4) {1,…,n} における最大のg-Sidon集合サイズの漸近評価の改善、(5) 最適な均衡Szarek不等式、という具体的な題材で構成される。いずれも確率論・調和解析・加法的組合せ論で長く研究されてきた古典的テーマであり、数値の改良や定数の最適化がそのまま貢献として読める領域である。
本稿の意思決定上の重要点は、abstractに「all of which have been subsequently verified by the authors」と明記されている点にある。AIが生成した主張をそのまま成果として載せるのではなく、人間の著者が独立に検証した上で論文化する、という責任分界のモデルが示されている。
読者にとっての実務的示唆は二つある。第一に、LLMを「証明器」ではなく「発見器」として使い、検証は人間または形式手法に回すワークフローが、既に論文という成果物まで到達している事実。第二に、研究用途でモデルを比較する際の軸として「検証済み公開成果の件数と分野」が具体化したことである。次の一手として、論文本文でGrokの関与範囲と従来結果との差分を数値で確認しておくと、自身の領域への移植可能性を判断しやすい。
