AI 정리 증명 시스템 'h1', 수학 증명 능력 비교 결과 발표

요약

메타(Meta)의 FAIR 연구 조직과 뉴욕대 연구진이 참여한 팀이 AI 정리 증명 시스템 'h1'의 성능을 발표했습니다. h1은 공통으로 평가된 5개 에르되시 문제에서 단일 실행 성공률 82.5%를 기록하며 경쟁 시스템인 AlphaProof Nexus(76%)보다 높은 수치를 보였습니다. 또한, 성공 증명당 평균 비용도 h1이 121달러로 더 낮게 측정되었습니다. h1은 언어 모델이 Lean 4 형식으로 증명 파일을 작성하고 검증기 피드백을 받아 수정하는 방식으로 작동합니다. 다만, 6개 문제 전체를 포함한 비교에서는 h1의 성공률이 68.75%로 낮아지는 등, 전체 과제에 대한 일반화에는 한계가 있음을 지적했습니다. 이 연구는 순수 수학 증명에 초점을 맞추었으며, 블록체인 검증 성능은 평가하지 않았습니다.

AI가 원문을 요약한 내용으로, 부정확할 수 있습니다. 투자 판단의 근거로 삼기 전에 원문을 확인하세요.