연구진이 평면기하, 해석기하, 입체기하 문제를 다루는 단일 AI 풀이 시스템 OmniGeo를 공개했다. OmniGeo는 신경망의 안내와 기호 추론을 하나의 상태 공간에서 결합해, 각 단계에서 도형 구성을 제안하고 정확한 규칙을 적용한다. OmniGeo를 설명하는 논문은 2026년 10월 6일 arXiv에 게시됐다.
OmniGeo의 성능은 어떨까?
Claude Sonnet 4.6과 함께 사용했을 때 OmniGeo는 FormalGeo7K 벤치마크에서 94.2%, Conic10K에서 88.5%, SolidFGeo에서 89.8%의 정확도를 기록해 세 벤치마크의 평균은 90.8%였다. 연구진은 또 국제수학올림피아드 스타일의 기하 문제 모음인 IMO‑AG‑30에서 30개 중 21개를 풀었다고 밝혔다.
왜 중요한가
학생과 교사는 다양한 유형의 기하 문제를 다루는 단일 도구를 이용해 프로그램을 바꿔 가며 쓸 필요 없이 풀이를 확인하고 도형 구성을 탐색할 수 있다. 높은 벤치마크 점수는 교과서에 흔히 나오는 문제를 안정적으로 풀 수 있음을 시사하지만, 새롭거나 조건이 불분명한 문제에서의 성능은 아직 검증되지 않았다.
