모델 846건 · 국산 132 · 가격 685 추적 중
AI 연구

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

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

요약

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

큐레이터 노트

원문에 없는 맥락입니다

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

다른 매체는 이렇게 썼다

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

플래티어, AI 에이전트 플랫폼 '엑스젠' 운영 전략 발표
전자신문 SW · 2026-10-29

플래티어는 29일 '이노베이션 솔루션 데이 2026'에서 에이전틱 AI 플랫폼 '엑스젠'을 소개하며 AI 에이전트를 업무에 안착시키기 위한 전략을 공개했다. 손성준 플래티어 파트리더는 'AI 에이전트, 모델보다 일하는 환경이 중요하다' 발표에서 기업의 공통 과제는 AI 도입 자체가 아니…

피처링, 인플루언서 섭외·협상까지 맡는 AI 에이전트 공개
바이라인네트워크 · 2026-10-29

인플루언서 마케팅 기업 피처링이 서울 강남구에서 열린 자사 첫 컨퍼런스 ‘퓨처링 26’에서 ‘피처링 AI 에이전트’를 공개했다. 이 에이전트는 인플루언서 섭외부터 협상, 계약, 콘텐츠 검수까지 처리한다. 피처링은 SNS 데이터를 분석해 인플루언서 마케팅을 돕는 기업으로, 솔루션 내 데이…

아카마이, AI 에이전트 코드 실행 샌드박스 출시
전자신문 SW · 2026-10-29

아카마이가 AI 에이전트가 생성한 코드를 격리된 환경에서 실행하는 서비스를 내놓았다. 27일(현지시간) AI 모델 운영 서비스 '아카마이 인퍼런스'와 에이전트 실행 환경 '아카마이 에이전트 샌드박스'를 발표했으며 두 서비스는 현재 베타 버전으로 제공된다. 기존 클라우드·콘텐츠 전송·사이…

이 사안의 흐름

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

이 글에 나온 말

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

이 분야 브리핑

여러 매체가 함께 다룬 사안을 한 번에

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

AI타임스 원문 전체 보기 →

같은 분야의 다른 소식

전체 뉴스 →