Grokは意外にも優れた自動定理証明器である

Newsソース: hackernews投稿者: henryrobbins00人気度: 1公開日 2026年7月23日

Grokが自動定理証明として驚くほど優れていることが判明。xAIモデルの論理的推論の可能性を示している。