Comment Comment by mikert89 no programming is verifiable, and the major LLM companies are focused on it. its the first domino to fall by probably 5+ years parent mikert89 2 months ago