Comment by o11c

3 months ago

That is, unfortunately, a tiny niche where there even exists a way of formally verifying that the AI's output makes sense.

0 comments