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