用 AI 参与提出、验证或推进数学猜想与证明。
像自习室里那个卷到离谱的大神，题你还在读，它已经开始猜结论、补证明了。
常用于找猜想、辅助证明和发现规律，但最后定论仍要数学家把关。
AI-assisted Research
它是 AI 参与科研的一类典型应用，重点在数学问题发现与证明。
Reasoning-model
复杂定理证明依赖多步推理，推理模型更适合这类任务。
Human-in-the-loop
AI 能提思路和草稿，但结论通常仍需数学家审核。
AGI
数学发现常被当作检验更高阶通用智能的重要场景。