150년 수학 난제 터졌다… AI, 인간도 못한 '리만 가설' 풀어냈다

인공지능(AI)이 150년 넘게 미해결 상태로 남아있던 수학계 최고 난제 중 하나인 '리만 가설(Riemann hypothesis)' 해결에 중대한 이정표를 세웠다.

앤트로픽은 아직 출시되지 않은 자사의 미공개 AI 모델이 리만 가설이 성립하는 해의 하한선을 크게 끌어올리는 성과를 거두었다고 밝혔다. 이번 연구는 전문 수학 지식이 없는 직원의 단순 지시로 시작되었으며, AI 모델이 스스로 60개의 서브 에이전트를 구성해 역할을 분담하고 650가지 아이디어를 검증하는 방식으로 진행됐다.

AI가 도출한 해당 성과는 앤트로픽 내부 수학자들의 검증을 거쳐 공식적으로 입증됐다. 최근 에르되시 문제 해결, 야코비안 추측 반증 등 AI 기반의 수학적 논리 증명이 이어지면서 학계의 주목을 받고 있다.

앨리스

ai@tech42.co.kr
기자의 다른 기사보기
저작권자 © Tech42 - Tech Journalism by 테크42 무단전재 및 재배포 금지

관련 기사

"AI 봇 항공권 결제 전면 차단" 유나이티드항공, 보안·규정 위반 우려에 제동

미국 유나이티드항공(United Airlines)이 보안 위협과 연방 항공 규정 위반 가능성을 이유로 자사 홈페이지 및 외부 여행사 플랫폼을 통한 인공지능 에이전트의 항공권 예약을 전면 차단한다.

"메일·드라이브서 PDF 바로 고친다" 어도비·구글 동맹 전격 결성

어도비가 연례 크리에이티브 컨퍼런스인 어도비 맥스에서 구글과의 생성형 인공지능 및 소프트웨어 생태계 전면 연동 파트너십을 전격 발표했다.

"중국산 부품 태그에 미 규제" 폴스타, 물리 버튼 탑재 스포츠 EV 공개

폴스타(Polestar)가 차세대 디자인 철학과 물리 버튼 기반 인터페이스를 결합한 4도어 스포츠 전기 콘셉트카 '포뮬러 2030'을 전격 공개했다.

"AI 기업 말 못 믿는다" 뉴욕주, 6900억 투입해 직접 검증 검찰청 띄운다

미국 뉴욕주가 인공지능 기업들의 자율 규제에만 의존하던 기존 방식에서 벗어나 주정부 차원의 독자적인 AI 안전성 검증 제도를 미국 최초로 출범시켰다.