베이징대 연구팀, AI로 가환대수 난제 해결…80시간 만에 증명 검증까지

AI 요약

중국 베이징대가 이끄는 연구팀은 고급 수학 문제를 풀고 결과까지 스스로 검증하는 이중 에이전트 AI 시스템을 개발했으며, 연구진은 이 프레임워크로 가환대수의 미해결 문제를 풀고 사람의 개입 없이 증명을 자동 형식화했다고 밝혔습니다. IT매체 테크레이더는 이 시스템이 2014년 댄 앤더슨이 제기한 추측을 80시간 만에 해결했다고 17일(현지시간) 보도했으며, 연구진은 시스템이 여러 분야 전문가의 협업이 필요한 작업도 독립적으로 수행했고 인간보다 빠르다고 밝혔습니다. 다만 논문은 아직 동료 심사를 거치지 않았고 독립 검증이 남아 있으며, 앤더슨의 추측은 리만 가설이나 P 대 NP 문제와 같은 수준의 난제는 아니라고 평가됐습니다.