From Expert-Guided Proof Search to Automated Open-Problem Solving

2026-10-08来源 Hacker News NewEnglish

Article URL: https://arxiv.org/abs/2610.09769

Comments URL: https://news.ycombinator.com/item?id=50003103

Points: 2

# Comments: 0

原文：https://www.a8q9.cn/en/article/from-expert-guided-proof-search-to-automated-open-problem-solving-87e481.html

相关文章