1周前 · ai [Paper] 即使有 AI,双射发现仍然困难:OpenEvolve 在新颖双射构建中的机遇与挑战 进化式程序合成系统,如 AlphaEvolve、OpenEvolve 和 ShinkaEvolve,提供了一种新的 AI 辅助数学发现方法。这些系统...