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