모델 857건 · 국산 138 · 가격 690 추적 중
AI 연구

액시엄, 유한 단순군 분류 증명 기계 검증 완수

AI타임스·2026-10-28주요

요약

수학 AI 스타트업 액시엄이 '대칭의 주기율표'로 불리는 유한 단순군 분류(CFSG) 증명 전체를 컴퓨터로 검증했다. 이 증명은 약 100명의 수학자가 500편이 넘는 논문과 1만5000페이지에 걸쳐 완성한 것으로, 수학 역사상 가장 방대하고 복잡한 증명으로 꼽힌다. 액시엄은 AI 에이전트와 증명 보조 도구를 활용해 이를 재구성했으며, 기존 문헌에 있던 오류와 누락된 가정도 바로잡았다고 밝혔다.

큐레이터 노트

원문에 없는 맥락입니다

사람이 검증하기 어려운 규모의 수학 증명을 AI 에이전트와 증명 보조 도구로 재구성해 오류까지 찾아낸 사례다.

다른 매체는 이렇게 썼다

같은 사안을 다룬 다른 곳의 보도입니다

빅스데이터, AI 기업 의사결정 지원 시장 공략
전자신문 SW · 2026-11-04

데이터 분석·시각화 전문기업 빅스데이터가 자체 솔루션 '데이터웍스'와 '에이전트웍스'를 앞세워 AI 기반 기업 의사결정 지원 시장 공략에 나섰다. 27년간 축적한 데이터 분석 역량에 AI 기술을 결합해 '기업 의사결정 지능' 전문기업으로 도약한다는 전략이다. 김대중 빅스데이터 대표는 기…

오딘 개발 노하우에 AI 결합한 신생 게임사 등장
IT조선 · 2026-11-03

‘오딘: 발할라 라이징’ 기술 개발을 이끈 이준석 대표가 세운 신생 개발사 제이드래곤게임즈가 약 30명 규모로 MMORPG 개발에 도전한다. 경력 10년 이상 베테랑 개발자들의 경험과 AI를 결합해 개발 효율을 높이는 전략으로, 개발자 한 명이 여러 AI 에이전트를 지휘해 제작하는 방식…

NVIDIA, AI로 반도체 팹 공정 분석 속도 높여
NVIDIA Blog · 2026-11-03

NVIDIA 블로그는 반도체 제조 공정에 AI를 적용해 엔지니어의 분석과 의사결정 속도를 높이는 사례를 소개했다. 가속 컴퓨팅으로 멀티피직스 시뮬레이션을 가속하고, 물리 기반 AI로 전체 시뮬레이션 없이도 공정 거동을 예측하며, AI 에이전트가 반복적인 엔지니어링 작업을 처리하고, 디지…

이 사안의 흐름

같은 주제를 다룬 이 사이트의 기록 — 최신순

이 글에 나온 말

용어집 전체 →
AI 에이전트
AI 에이전트는 주어진 목표를 달성하기 위해 스스로 계획을 세우고 도구를 호출하며 행동한 결과를 관찰해 다음 행동을 결정하는 AI 시스템을 말한다.

이 페이지는 원문을 요약·재서술하고 이 사이트가 쌓은 기록을 덧붙인 큐레이션입니다. 원문 본문은 싣지 않으며, 수치와 표기는 원문 기준을 유지했습니다.

AI타임스 원문 전체 보기 →

같은 분야의 다른 소식

전체 뉴스 →