AI 에이전트 1,000명이 페르마의 마지막 정리 증명을 재현

한눈에 보기

에이전트 1,000명으로 이루어진 팀이 페르마의 마지막 정리 증명을 다시 만들어 냈어요. 이 실험은 사람이 방향을 정해 주지 않고 일반 도구만 써서 진행했어요. 기사는 안전장치를 갖춘 상태에서 여러 AI가 함께 긴 작업을 해낼 수 있는지를 살펴본 소규모 실험이라고 설명해요.

핵심만 콕콕

1. 1

   AI 팀은 28.7시간이 걸렸고, 이전 실험보다 출력 토큰(AI가 생성한 글자 단위)을 3분의 1만 썼어요.

2. 2

   각 에이전트는 인터넷이 막힌 독립 가상 환경에서 일했고, 명령과 파일 수정은 실행 전에 분류기가 검사했어요.

3. 3

   팀에는 증명해야 할 문장 60개와 고전적인 증명 방향 한 문장 요약, 이전에 증명된 보조 정리 47개만 주었어요.

4. 4

   에이전트가 많아지면 공용 컴퓨터 한 대로는 감당이 안 돼서, 에이전트마다 각자 가상 머신을 나눠 썼어요.

왜 중요할까요?

이 실험은 여러 AI가 사람의 세세한 지시 없이도 복잡한 문제를 나눠 풀 수 있는지 보여 줘요. 동시에 안전 장치를 어떻게 설계해야 하는지도 함께 보여 줘요.