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

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

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

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

앨리스

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

관련 기사

구글 '제미나이' 사용자 10억 명 돌파

구글(Google)의 인공지능(AI) 서비스 '제미나이(Gemini)'가 단독 앱 출시 이후 월간 활성 사용자 수(MAU) 10억 명을 돌파하는 기록을 세웠다.

오픈AI, '리눅스 전용 챗GPT' 전격 출시

오픈AI(OpenAI)가 오픈소스 개발자들의 오랜 요청을 반영해 리눅스(Linux) 전용 챗GPT 데스크톱 앱을 정식 선보였다.

복붙해도 안 지워진다… AI 텍스트에 '스텔스 워터마크' 전격 박힌다

인공지능(AI) 스타트업 앤트로픽(Anthropic)이 생성형 AI 클로드(Claude)가 작성한 모든 문장에 출처를 식별할 수 있는 '텍스트 워터마크' 기술을 전격 도입한다.

스포티파이, 가짜 아티스트에 'AI 딱지' 붙인다

세계 최대 음원 스트리밍 플랫폼 스포티파이(Spotify)가 실존 인물이 아닌 생성형 인공지능(AI) 아티스트 계정을 식별할 수 있는 라벨 제도를 전격 도입한다.