4 ms·

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 h

by pixl97 2mo 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.

bronson 2mo ago
What does "mathematical output of the AI" even mean? A proof? Intermediate tokens?
- __MatrixMan__ 2mo ago
  It's a Lean program that proves the theorem.