Education

UF mathematician secures $814K grant to expand AI proof-feedback tool HaLLMos

University of Florida math professor Vincent Vatter leads the development of HaLLMos, a freely available AI tool that gives students targeted feedback on mathematical proofs without handing them complete answers. An $814,000 grant from the AI for Math Fund will allow the team to extend the tool into advanced undergraduate courses including linear algebra, real analysis, and topology. Nearly 40,000 student proofs have already been submitted to the platform, which uses a set of written principles to guide responses in ways its creators say support genuine learning rather than shortcut it.

Sources: UF News