Comment by bronson

What does "mathematical output of the AI" even mean? A proof? Intermediate tokens?