Even with AI, Bijection Discovery is Still Hard: The Opportunities and Challenges of OpenEvolve for Novel Bijection Construction
即使有AI,双射发现仍然困难:OpenEvolve在新型双射构造中的机遇与挑战
专题命中 其他LLM :LLM(abstract);large language model(abstract);language model(abstract);分类 cs.AI、cs.LG
AI总结 本文探讨了OpenEvolve在双射构造中的应用,发现尽管AI有潜力,但寻找新颖双射仍具挑战性,需人类数学家参与。
Comments 16 pages, 3 figures. This is an extended abstract submitted to FPSAC 2026