Advancing Mathematical Research via Human-AI Interactive Theorem Proving

Chenyi Li, Zhijian Lai, Dong An +2

We investigate how large language models can be used as research tools in scientific computing while preserving mathematical rigor. We propose a human-in-the-loop workflow for inte…