“mathematics is not about proofs, but about understanding“

Explain Like I'm Normal

The community is debating whether AI needs genuine 'understanding' or just the ability to generate valid proofs to achieve mathematical intelligence. It touches on the philosophical divide between formal logic systems and human-like intuition. If AGI only predicts the next token of a proof without internalizing the logic, critics argue it hasn't truly 'solved' mathematics.