AI能发明新的数学吗？ 来自DeepMind和著名数学家陶哲轩的新论文展示了如何做到这一点。 通过使用AlphaEvolve，团队将LLM生成的想法与自动评估相结合，以提出、测试和完善数学算法。 在对67个分析、几何和数论问题的测试中，AlphaEvolve不仅重新发现了已知结果，而且通常在此基础上进行了改进——甚至将有限情况推广为通用公式。 与DeepThink和AlphaProof结合，它指向一个未来，在这个未来，AI不仅仅是协助数学家——它与他们共同进行发现。