Ask HN· hyperpallium2·2026-10-17 03:02· 17 天前AI 评分5

"AlphaZero 理论证明版本缺失的原因探讨"

Why is there no AlphaZero for theorem proving?

AI 导读

"AlphaZero 理论证明版本尚未出现；尽管已有尝试并取得了一些成果，但尚未达到令人印象深刻的效果。"

来源：Ask HN · news.ycombinator.com

#现象/趋势 #大佬观点