Nice to LLMs being put to such use! I see the heavy lifting here is due to linear programming:
https://github.com/teorth/estimates/blob/main/src/estimates....
This comment is really sad:
https://terrytao.wordpress.com/2025/05/01/a-proof-of-concept...
The ChatGPT session he links [0] shows how powerful the LLM is in aiding and teaching programming. A patient, resourceful, effective, and apparently deeply knowledgeable tutor! At least for beginners.
[0] https://chatgpt.com/share/68143a97-9424-800e-b43a-ea9690485b...