OpenAI 수학 문제, 오픈 소스 RL 환경으로 공개

요약

OpenAI의 수학 문제를 오픈 소스 RL(강화학습) 환경으로 공개했습니다. 공식 문제 369개를 @harborframework에 포팅하여 OpenEnv를 통해 평가 및 학습이 가능해졌습니다. 에이전트는 증명 대신 'sorry'가 포함된 Lean 4 정리를 제공하며, [IMG:N] 생성 시 보상을 받습니다.

핵심 포인트

• OpenAI 수학 문제를 오픈 소스 RL 환경으로 공개함.
• 369개 공식 문제가 OpenEnv를 통해 포팅됨.
• 에이전트는 Lean 4 정리를 사용하며, 특정 출력 생성 시 보상을 받음.