Comment by o11c

5 days 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