Yes
For this, it works really well and saves me a ton of time
wenc on Hacker News
In the thread “Terence Tao on O1”, replying to this comment
Helped: Using LLMs as a search tool for specific formulations.
Got in the way: Generating entire models from scratch or deciphering rare code.
… I wouldn't recommend anyone inexperienced to use LLMs to create entire models from scratch, but rather use LLMs as a search tool for specific formulations which are then verified and plugged into a larger model. For this, it works really well and saves me a ton of time. As MIP modeler, I have an intuition on the shape of the answer, so even if ChatGPT makes mistakes, I know how to extract the correct bits and it still saves me a ton of time. …