← Back to context Comment by bronson 9 hours ago What does "mathematical output of the AI" even mean? A proof? Intermediate tokens? 1 comment bronson Reply __MatrixMan__ 7 hours ago It's a Lean program that proves the theorem.
It's a Lean program that proves the theorem.