这种神经符号方法在组合数学中已发现新的猜想，例如在拉姆齐数和图论极值问题上的进展。