연구팀이 LLM을 활용해 연구 논문 기반 MaxSAT 솔버 'CoreForge'를 구축했어요. ChatGPT, Codex, LLM 기반 코드 감사 및 수정 작업을 반복하는 방식으로 개발되었어요. CoreForge는 여러 알고리즘과 솔버 구성 요소를 구현했지만, 성능은 최고 수준의 수작업 솔버보다 낮았어요. LLM이 연구 논문 기반 솔버 개발을 지원할 수 있지만, 외부 검증, 벤치마크, 인간의 지도가 필요하다는 점을 확인했어요.