Even with AI, Bijection Discovery is Still Hard: The Opportunities and Challenges of OpenEvolve for Novel Bijection Construction
Created by
Haebom
Category
Empty
저자
Davis Brown, Jesse He, Helen Jenne, Henry Kvinge, Max Vargas
개요
OpenEvolve와 같은 진화적 프로그램 합성을 사용하여 수학적 발견을 돕는 새로운 접근 방식을 탐구합니다. 특히, 딕 경로와 관련된 세 가지 조합적 전단사 구성 문제를 해결하기 위해 OpenEvolve를 적용한 결과를 보고합니다. 두 가지는 알려진 문제이고, 하나는 미해결 문제입니다.