요약 · 24시간
- 중국 연구진, 오픈소스 AI 에이전트 'Hyra'가 AlphaEvolve, GPT, Claude를 당황시킨 수학 문제를 해결하는 데 성공
arXiv에 게재된 새로운 프리프린트가 덧셈 조합론의 오랜 난제를 해결했습니다. 핵심 구성은 Hy3 모델을 기반으로 한 텐센트의 오픈소스 AI 에이전트 Hyra가 제안했습니다. Google DeepMind의 AlphaEvolve, GPT, Claude가 시도했지만 성공하지 못했고, Hyra의 해법은 Lean 증명 보조 도구에서 공식적으로 검증되었습니다. 이 성과는 오픈소스 모델에 의한 최초의 주요 AI 수학 결과로 이정표가 되었으며, 수학자 Thomas Bloom이 결과를 지지하고 심지어 'Hyra'를 공동 저자로 등재했습니다.
출처: dnb66 · 요약 —
원문