급상승 이슈지난 이슈
Resolution, AI로 특이점 해소를 형식화
보도 1건출처 1곳10일 전 업데이트
지금까지의 흐름
보도 발췌
AI 안전성 스타트업 Resolution은 통계적 학습 이론과 관련된 특이점 해소(resolution of singularities) 정리를 AI 에이전트로 자동 형식화했다고 밝혔다. 작업은 약 1주일이 걸렸으며, Lean 코드를 약 60만 줄 생성했고, 토큰 비용은 추정 13만 5000달러였다. 같은 호에서는 ProgramBench에서 Claude Opus 5.5(xhigh)가 18.5%의 해결률을 기록했다는 점도 소개됐다. 공개 당시 모든 모델이 0%였던 벤치마크라는 점에서 발전 속도를 보여주는 사례로 평가된다.
Import AI 발췌
보도 타임라인
보도를 따라가며 이슈의 여러 측면을 살펴보세요.
10월 26일
- Import AIResolution、AI엔터티로 특이점 해소를 자동 형식화 (Import AI 478)
AI 안전성 스타트업 Resolution은 통계적 학습 이론과 관련된 특이점 해소(resolution of singularities) 정리를 AI 에이전트로 자동 형식화했다고 밝혔다. 작업은 약 1주일이 걸렸으며, Lean 코드를 약 60만 줄 생성했고, 토큰 비용은 추정 13만 5000달러였다. 같은 호에서는 ProgramBench에서 Claude Opus 5.5(xhigh)가 18.5%의 해결률을 기록했다는 점도 소개됐다. 공개 당시 모든 모델이 0%였던 벤치마크라는 점에서 발전 속도를 보여주는 사례로 평가된다.