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.
[ Parent
| on HN ]
There are no comments on this comment yet.