4 ms·
Likely the goal would be to find new optimizations that were previously overlooked, then codify those like usual.
by gct 3y ago
Likely the goal would be to find new optimizations that were previously overlooked, then codify those like usual.
- sfcarrot 3y agoMaybe 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.