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

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