6 ms·We may as well have the LLMs use the hardest most provably-correct language possibleby justaboutanyone 8mo agoWe may as well have the LLMs use the hardest most provably-correct language possible