这条 Hacker News 讨论围绕 Grok 在自动定理证明任务中的表现展开，标题认为其能力出人意料地好。但目前页面仅显示 3 分、1 条评论，未提供可核验的基准、证明样例、模型版本或系统性评测，因此更适合作为待验证线索阅读。
最近 24 小时暂无可用热度快照。