On: Three Years from GPT-3 to Gemini 3

[o11c]

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