News for hackers. Stuff that matters.
Re:Lean4 helped Terence Tao discover a small bug in his rece... by astrange on Saturday October 28, 2023 @11:03AM (#38050345)
Nobody knows how LLMs work, much less LLMs behind an OpenAI server API, so that's a hard question.

There are no comments on this comment yet.