|
|
|
|
|
|
by sfcarrot
1019 days ago
|
|
|
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. |
|
|