AlphaZero 之后，AI 搜索+验证被寄望攻克开放数学难题

社交平台讨论认为，自 AlphaZero 展示零人类数据自我博弈能力后，AI 可借助概率引导搜索与快速可验证的解法攻克开放数学难题。回复者提及 AlphaProof 类系统触及千禧年大奖难题级别的问题，并表示此类任务远超训练分布而令人震惊。