Maybe having LLM providing insights on more math proving techniques (which is the soul of optimization) is more meaningful than having it directly solve the opt

Maybe having LLM providing insights on more math proving techniques (which is the soul of optimization) is more meaningful than having it directly solve the optimization. The ROI of having a effective proof vs. brutal forcely search for a solution is simply day and night.