观点:AI 更擅长证伪猜想而非证明定理

围绕 Eric Weinstein 谈 S^6 积分复结构的讨论,有作者提出可用“反事实传播”来刻画一个猜想是否具有“结构性”,即围绕猜想改变假设时结论的传播方式。发帖人进一步指出,证伪只需找到一个反例,而证明需要覆盖所有情形的普适原则,因此 AI 当前更擅长找出“错的东西”而非证明“对的东西”。

2026-08-25 ~ 2026-08-25 · 2 条相关