AI, 필즈상 프로젝트 증명 5일 만에 끝내… 머리 복잡해진 수학계
AI 통합 요약
미국의 앤스로픽 AI 모델 수출통제 조치에 대응해 세계 각국이 미국 기술 의존도를 낮추고 자국 AI 역량 강화에 나서고 있다. 프랑스는 정보기관의 미국 AI 소프트웨어를 퇴출하기로 결정했으며, 이재명 대통령은 G7 정상회의에서 AI 기술 격차가 경제 불평등으로 확대되지 않도록 포용적 성장과 균형있는 발전을 강조했다.
진보 성향: 미국의 AI 기술 독점과 수출통제를 국제적 불공정으로 비판하고, 유럽·개발도상국의 AI 주권 확보 움직임을 긍정적으로 평가하면서 글로벌 AI 불균형 해소의 필요성을 강조한다.
중도 성향: 기술 발전의 경제적 파급 효과, 앤트로픽의 한국 시장 진출, AI 기업들의 인재 경쟁 등 산업 변화에 중점을 두고 보도한다.
보수 성향: 미국의 수출통제를 중국과의 안보 경쟁 관점에서 이해하고, 이재명 대통령의 G7 외교와 국내 기업의 대응을 국가 리더십 강화로 해석한다.
수학계 노벨상으로 불리는 필즈상 수상자 연구팀이 2년 넘게 공개적으로 진행하던 수학 증명 형식화 프로젝트를 인공지능(AI)이 단 5일 만에 끝냈다.
수학자들은 AI 발전 속도에 놀라움을 감추지 않으면서도 ‘복잡한 속내’를 내비친다.
문제 해결보다 연구자들이 직접 증명을 따라가며 이해하고 수학 지식을 쌓는 과정 자체도 중요하기 때문이다.
형식화는 수학자가 쓴 증명을 컴퓨터가 한 줄씩 논리적으로 검증할 수 있는 코드로 바꾸는 작업이다.
논리적 오류나 누락된 가정을 잡아낼 수 있어 수학계에서 중요하게 여긴다.● AI가 단번에 끝낸 형식화… “배울 기회 잃는 것” 올 2월 미국 AI 스타트업 ‘매스(Math Inc.)’의 시스템 ‘가우스(Gauss)’가 2022년 필즈상 수상자 마리나 뱌조우스카 스위스 로잔연방공과대(EPFL) 교수팀이 2년 넘게 진행하던 8차원 케플러 추측 증명 형식화 작업을 5일 만에 완료했다.
24차원 형식화도 2주 만에 끝냈다.
케플러 추측은 정해진 공간에 ...
이 뉴스, 독자들은 어떻게 느꼈나요?
첫 반응을 남겨보세요로그인하면 감정 반응에 참여할 수 있어요.