新智元报道 编辑：LRS 数学领域，以其廉价的数据及问题的严谨性，成为了人工智能辅助发现的理想试验场，但唯有人类自己，才能区分出好猜想和坏猜想。 在数学的世界里，想要对「一个未经证实的猜想」进行完整的证明，往往需要天赋、直觉和经验的结合，即使是数学家也很难解释自己的发现过程。 然而，随着近几年大模型
新智元报道 编辑：LRS 数学领域，以其廉价的数据及问题的严谨性，成为了人工智能辅助发现的理想试验场，但唯有人类自己，才能区分出好猜想和坏猜想。 在数学的世界里，想要对「一个未经证实的猜想」进行完整的证明，往往需要天赋、直觉和经验的结合，即使是数学家也很难解释自己的发现过程。 然而，随着近几年大模型
By gussouthern1