Grok 居然是个不错的自动定理证明器资讯来源: hackernews作者: henryrobbins00热度: 1发布于 2026年7月23日有用户发现 Grok 在自动定理证明任务上表现出色，出乎意料，展示了 xAI 模型在逻辑推理方面的潜力。Groktheorem proverautomated reasoning查看原文 →评论登录后即可评论还没有评论，来发第一条吧。