Comment by pixl97
9 hours ago
I might be wrong, but making an assumption that you could learn to read the mathematical output of the AI long before you could write a solution yourself. But hey, what do I know, I'm not a mathemagition.
9 hours ago
I might be wrong, but making an assumption that you could learn to read the mathematical output of the AI long before you could write a solution yourself. But hey, what do I know, I'm not a mathemagition.
What does "mathematical output of the AI" even mean? A proof? Intermediate tokens?
It's a Lean program that proves the theorem.