1개월 전 · ai

[Paper] AI가 있더라도 Bijection 발견은 여전히 어렵다: 새로운 Bijection 구축을 위한 OpenEvolve의 기회와 과제

AlphaEvolve, OpenEvolve, ShinkaEvolve와 같은 진화적 프로그램 합성 시스템은 AI 지원 수학 발견에 새로운 접근 방식을 제공합니다. 이러한 시스템...