大模型冲击运筹学

大模型对运筹学专业的冲击其实也很大，比如使用者用文字表达约束，大模型可以迅速出代码再交给求解器，剩下的就没我们什么事了。
比如我今天出了一个简单的题，学生让Gemini生成代码用z3求解，好像也不需要自己思考[允悲]

发布于陕西