페르마 대정리, AI가 11일 만에 기계 검증을 끝냈다
발행일 2026. 9. 5.
수학계가 몇 년으로 잡았던 일정이 11일에 끝났다. 클로드가 페르마 대정리 증명을 린 코드 1,300만 줄로 옮겨 컴퓨터 검증을 통과했고, 중간 정리만 3만 300개다. 그런데 코드를 직접 돌려 본 수학자는 '수학적으로는 알려주는 게 없다'고 적었다. 발표문과 검증자 후기 원문으로 확인했다.
더 읽기 →태그
multi-agent
전체 글
AI끼리 반박시켰더니 난제 7개, 안티그래비티 팀워크
발행일 2026. 8. 30.
난제 7개 중 6개는 사람이 검토해 맞다고 확인했고, 나머지 하나는 증명이 40쪽을 넘어 사람 대신 기계가 검증했다. 구글이 8월 27일 공개한 안티그래비티 팀워크는 에이전트를 협력시키는 대신 서로 부수게 만든다. arXiv 5편, 오차 0.71%짜리 CPU 시뮬레이터, Eigen에 실제로 머지된 커밋까지 발표문 원문으로 정리했다.
더 읽기 →