4 ms·

I’m quite confident they’re using GitHub copilot or similar inside of OpenAI while working on improving GPT-4. So yeah, that’s happening.

• zingar 4y ago
  But isn’t copilot itself a fuzzy llm? Many of its solutions don’t seem formally verified.
  • leereeves 4y ago
    Not entirely, but it will already be doing pretty well when it reliably outputs code that compiles and passes the test cases it generates.