액시엄, 수학 史상 가장 거대한 정리 기계 검증 완수
액시엄, 수학 사상 가장 긴 증명 '유한 단순군 분류' 기계 검증 완수
- 매체
- AI타임스
- 게시
- 중요도
- 4/5
- 화제 지수
- —
한국어 요약
수학 AI 스타트업 액시엄이 유한 단순군 분류(CFSG)의 전체 증명을 컴퓨터로 검증 완료했다. 100명 수학자의 500편 논문 1만 5000페이지를 AI 에이전트와 증명 보조 도구로 재구성하고 오류와 누락을 바로잡았다.
원문 발췌 · English
수학 AI 전문 스타트업 액시엄(Axiom)이 수학 역사상 가장 방대하고 복잡한 증명으로 꼽히는 '유한 단순군 분류(CFSG·Classification of Finite Simple Groups)'의 전체 증명을 컴퓨터로 검증하는 데 성공했다. '대칭의 주기율표'로 불리는 이 거대한 체계는 약 100명의 수학자가 500편이 넘는 논문과 1만5000페이지에 걸쳐 완성한 것으로, 액시엄은 이를 AI 에이전트와 증명 보조 도구로 재구성하고 기존 문헌에서 발견한 오류와 누락된 가정까지 바로잡았다.액시엄은 26일(현지시간) 수십개의 AI 에