요약:
야우 수학 및 인공지능 연구실 연합(Yau Mathematics and Artificial Intelligence Laboratory Alliance)은 10월 11일 칭화대학교에서 설립되었습니다. 약 1,000명의 수학자 및 연구자를 모아 인공지능, 수학 및 학제간 연구의 통합을 촉진할 계획입니다. 필즈상 수상자이자 칭화대학교 Qiu Chengtong 석좌교수가 동맹의 리더로 활동하고 있습니다. 그는 중국이 첨단 과학을 홍보하기 위해 AI를 활용하는 데 있어서는 여전히 미국에 뒤처져 있으며, 대형 모델에 대한 국내 과학 연구 역량도 아직 세계 최고의 수준에 미치지 못했다고 말했습니다. 이 동맹은 재능과 자원을 통합하여 수리 과학을 위한 특수 모델을 독립적으로 개발하기를 희망합니다.
이 동맹은 청화대학교 Qiuzhen Academy, Tsinghua University Yau Shin-tung 수리 과학 센터, 베이징 Yanqi Lake 응용 수학 연구소, 중국 과학원 Morningside 수학 센터, 상하이 수학 및 학제 간 연구소, 남동 대학교 Yau Shin-tung 센터, Hetao 수학 및 학제 간 과학 연구소 등 8개 기관이 공동으로 설립했습니다. (심천), 홍콩 중문대학교 지진 학제간 수학 연구소. 최초의 수학 및 인공 지능 연구소는 Tsinghua Qiuzhen Academy에 있으며 Yau 수리 과학 센터와 공동으로 설립되었습니다. 또한 동맹은 베이징, 상하이, 난징, 선전, 홍콩에 실험실을 건설하여 모델 교육 리소스, 공식 수학 라이브러리 및 컴퓨팅 성능 플랫폼을 공유함으로써 협력할 계획입니다.
현재 동맹의 초점에는 대규모 수학 관련 모델 개발, AI를 사용하여 추측 발견 및 형식 증명 지원, 설명 가능한 인공 지능 개발, 수학과 양자 컴퓨팅, 생명 과학, 금융 및 기타 분야의 교차점 촉진이 포함됩니다. 또, 인재 양성과 국제 협력을 추진하고, 'AI 지원 수학 저널'도 창간할 예정이다. 이번 창립행사에서는 기하학, 양자컴퓨팅, 생명과학은 물론 퇴화된 아놀드 추측, 실베스터 추측 등 수학적 문제까지 포함해 10여 가지 연구 결과와 방향이 발표됐다. 이들 프로젝트의 성숙도는 동일하지 않습니다. 일부는 연구 방향이므로 완료되고 동료 검토를 거친 결과로 간주될 수 없습니다.
주목을 끄는 사례 중 하나는 Tsinghua Yau 수리과학센터와 상하이 수학 및 학제간 연구 기관이 협력하여 7차원 동위원소 구체를 연구한 사례입니다. 현재 사전 인쇄본으로 제공되는 연구 논문은 지향성 이형성의 모든 28개 클래스에 대한 부드러운 7차원 동위 원소 구가 엄격하게 양의 단면 곡률을 갖는 리만 메트릭을 구성한다고 보고합니다. 동맹에 따르면 AI는 팀이 증명 전략을 탐색하고 계산을 단순화하는 데 도움이 됩니다. 계산 대수학 시스템은 동일성과 간격 경계를 확인하고 재현 가능한 계산 인증서를 생성하는 데 사용됩니다. 연구 개념, 증명 및 최종 시연은 여전히 수학자에 의해 수행되므로 이 결과는 AI에 의해 독립적으로 입증되지 않습니다.
수학적 결과를 일괄적으로 생성하는 AI의 능력은 학문적 표준에 대한 논의도 촉발시켰습니다. 중국과학원 학자이자 중국수학회 회장인 시 난화(Xi Nanhua)는 기업이 AI로 생성한 결과를 공개하는 속도가 수학계의 엄격한 검증 및 동료 검토 전통과 충돌하며, 완전히 테스트되지 않은 잘못된 콘텐츠가 유출될 수 있다고 지적했습니다. 그는 수학계와 AI 산업이 모든 당사자가 인정하는 규칙을 공동으로 수립해야 한다고 믿습니다. 최근 OpenAI는 내부 모델에서 생성된 수학 원고와 증명 자료를 일괄 공개했습니다. 공식 창고에는 현재 372개 그룹으로 나누어진 719개의 사본이 나열되어 있으며, 그 결과는 다양한 검증 단계에 있다고 설명합니다. 주요 결과의 약 42%가 Lean에 의해 공식화되었으며, 아직 공식화되지 않은 결과에는 여전히 문제가 있을 수 있습니다. 이는 또한 AI 지원 수학적 연구가 탐색 효율성을 높이는 것 외에도 검증, 재생산 및 책임 귀속 문제도 해결해야 한다는 점을 강조합니다.
Qiu Chengtong은 AI가 수많은 증명과 계산 결과를 생성할 수 있다고 믿습니다. 하지만 통찰력 있는 새로운 질문을 제기하고 수학적 직관과 창의적 판단을 형성하는 것은 여전히 인간 연구자의 중요한 역할입니다. 동맹이 구축된 후 대규모 모델 기능을 검증 가능한 수학적 발견으로 변환하고 일치하는 학술 표준을 설정하는 방법이 후속 작업의 핵심이 될 것입니다.
댓글