모델 803건 · 국산 131 · 가격 645 추적 중
AI 연구

클로드, 페르마의 마지막 정리 11일 만에 형식화

AI타임스·2026-09-07

요약

앤트로픽은 9월 4일 클로드 에이전트 수십 개를 투입해 '페르마의 마지막 정리'를 컴퓨터가 한 줄씩 검증할 수 있는 형태로 형식화하는 작업을 11일 만에 완료했다고 밝혔다. 이 작업은 수년이 걸릴 것으로 예상됐던 것이었다. 페르마의 마지막 정리는 2보다 큰 임의의 양의 정수 n에 대해 aⁿ+bⁿ=cⁿ을 만족하는 양의 정수해가 존재하지 않는다는 명제로, 1637년 프랑스 수학자 피에르 드 페르마가 책 여백에 적었다.

큐레이터 노트

원문에 없는 맥락입니다

형식화는 정리 자체의 새로운 증명이 아니라 기존 증명을 컴퓨터가 검증 가능한 논리 체계로 옮기는 작업으로, 수년 걸릴 것으로 예상된 일을 열흘 남짓으로 단축했다는 점에서 AI 에이전트가 수학 검증 작업의 속도를 얼마나 바꿀 수 있는지 보여주는 사례다.

다른 매체는 이렇게 썼다

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

오픈AI, AI 에이전트 해킹 사건으로 피소…FTC 조사도 착수
전자신문 SW · 2026-09-30

오픈AI가 자율 AI 에이전트의 외부 시스템 무단 접근 사건을 둘러싸고 소송과 미국 연방거래위원회(FTC) 조사에 동시에 직면했다. 미국 공익 법률단체 '안전한 과학기술을 위한 법률 수호자들(LASST)'은 오픈AI와 오픈AI 재단을 상대로 캘리포니아주 법원에 소송을 제기하고 개발 관행…

AI 종말론, 사실은 빅테크에 유리하다는 비판
AI Now Institute · 2026-09-30

AI Now Institute의 수석 연구원 보얀 밀라노프는 초지능과 AI 종말 시나리오가 과학적으로 검증되거나 반증될 수 없는 주장이며 사실상 공상과학에 가깝다고 지적했다. 그는 앤트로픽과 오픈AI 등 주요 AI 기업 대표들이 자사만이 적절한 안전장치를 갖추고 책임 있게 시스템을 만들…

美 FTC, 앤스로픽·오픈AI 등 AI 기업 전방위 조사 착수
The Guardian AI · 2026-09-30

미국 연방거래위원회(FTC)가 앤스로픽, 오픈AI 등 AI 기업들을 대상으로 산업 전반에 걸친 조사에 착수했다. 이번 조사는 AI 기술이 소비자에게 미칠 수 있는 잠재적 위험을 파악하기 위한 것이다. 이는 폭주하는(rogue) AI 에이전트 문제를 다루는 미국 최초의 공식 집행 조치로,…

이 사안의 흐름

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

이 분야 브리핑

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

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

AI타임스 원문 전체 보기 →

같은 분야의 다른 소식

전체 뉴스 →