人工智能在数学领域的推进速度正在刷新外界的认知。近日，OpenAI 一次性公开了多达722份数学难题的证明手稿，这些成果横跨17个不同的数学领域，且整体解题成本远低于以往，在数学界引发了巨大震动。 从…