The speaker says mathematicians have argued that mathematics is fundamentally about ideas and understanding rather than formalism and detail-checking.

“'Cause mathematicians, they'd push back and they'd say, "Look, mathematics isn't about formalism, isn't about axioms and rules. It's not about checking the details. It's about the ideas.”