希望者:迈向完全自动化的图论研究

💡 原文中文,约200字,阅读约需1分钟。
📝

内容提要

本研究提出了“希望者”系统,结合混合整数规划和启发式方法,自动生成猜想、重新发现定理并提出新不等式,展示了发现基础结果的潜力。

🏷️

标签

➡️

继续阅读