News for hackers. Stuff that matters.

A comment on GPT is all you need for the back end. Parent comment

Re:GPT is all you need for the back end by auggierose on Tuesday January 24, 2023 @02:11PM (#34508538)
That is easy. The same way as interactive theorem proving works already today, and for the last 30 years or so. It is the very definition of a proof that you can check it.
[ Parent | on HN ]

There are no comments on this comment yet.