微软研究团队的Orca-Math续写了数学推理领域的新篇章，使用其70亿参数量的小型模型，在数学解题上取得了令人瞩目的成绩。数学——一个始终以逻辑严密著称的领域，在AI的助攻下似乎发现了新的探索路径。