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