A proof of concept tool to verify estimates

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:&#x2F;&#x2F;chatgpt.com&#x2F;share&#x2F;68143a97-9424-800e-b43a-ea9690485bd8" rel="nofollow">https:&#x2F;&#x2F;chatgpt.com&#x2F;share&#x2F;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:&#x2F;&#x2F;github.com&#x2F;teorth&#x2F;estimates&#x2F;blob&#x2F;main&#x2F;src&#x2F;estimates.py#L398-L414">https:&#x2F;&#x2F;github.com&#x2F;teorth&#x2F;estimates&#x2F;blob&#x2F;main&#x2F;src&#x2F;estimates....</a>

This comment is really sad:<p><a href="https:&#x2F;&#x2F;terrytao.wordpress.com&#x2F;2025&#x2F;05&#x2F;01&#x2F;a-proof-of-concept-tool-to-verify-estimates&#x2F;#comment-687872" rel="nofollow">https:&#x2F;&#x2F;terrytao.wordpress.com&#x2F;2025&#x2F;05&#x2F;01&#x2F;a-proof-of-concept...</a>