3 ms·

What does "mathematical output of the AI" even mean? A proof? Intermediate tokens?

• __MatrixMan__ 19d ago
  It's a Lean program that proves the theorem.