3 ms·

So all we need to do is have LLMs generate classical logic-based software to qualify its own ideas

• TaylorAlexander 4y ago
  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.
• chaxor 4y ago
  There are plenty of different ways this is happening. 1) already happened with Galactica - the model included python scripts as part of it's "working memory" as part of a <work> token, which could be used in a container 2) via copilot, and copilot 365, as someone stated elsewhwre 3) GPT-> Wolfram alpha as a plugin, which will be out very soon Galactica is the only one that is already (technically) available