If you remove all of that struggle, you also remove a lot of the learning
24 October 2026 (news.ufl.edu). Vincent Vatter, University of Florida mathematician who leads development of HaLLMos, an AI feedback tool for student proofs, explaining the design philosophy behind the tool in 2026.
Who else?
What it refers to: Struggling through mathematical proofs is the learning process that HaLLMos is designed to preserve rather than bypass.
Other voices
- “Remove the struggle too quickly, and we may remove part of a multilingual learner's superpower” Bill Tolley,
- “It takes away the point of learning, which is learning” Maddie Garwood,
- “It's too easy for the use of AI to mask the learning that hasn't happened” Jenny Donovan,
- “Using AI to get your work done is not learning” Sophia Fatzinger,
- “We're forgetting the long journey of understanding” Richard David Precht, Thinker,










