大模型能否理解复杂公式

大模型在数学公式理解上已具备从“符号识别”到“逻辑推理”的跨越，能够准确解析LaTeX格式并执行多步推导，但面对复杂证明题时仍需人工校验，过去，我们提到人工智能与数学，脑海中浮现的往往是计算器或简单的OCR（光学字符识别）工具，那时的技术只能做到“看见”公式，却无法“读懂”含义，随着大语言模型（LLM）底层架构……