by optimalsolver·6mo ago·view on hn ↗It's worth noting that neither of those were accomplished by LLMs.