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.<p>[0] <a href="https://chatgpt.com/share/68143a97-9424-800e-b43a-ea9690485bd8" rel="nofollow">https://chatgpt.com/share/68143a97-9424-800e-b43a-ea9690485b...</a>
Nice to LLMs being put to such use! I see the heavy lifting here is due to linear programming:<p><a href="https://github.com/teorth/estimates/blob/main/src/estimates.py#L398-L414">https://github.com/teorth/estimates/blob/main/src/estimates....</a>
This comment is really sad:<p><a href="https://terrytao.wordpress.com/2025/05/01/a-proof-of-concept-tool-to-verify-estimates/#comment-687872" rel="nofollow">https://terrytao.wordpress.com/2025/05/01/a-proof-of-concept...</a>