IT之家 10월 12일 소식에 따르면, 북경일보의 보도에 의하면 10월 11일, 쿠이청통 수학 및 인공지능 연구소 연맹이 칭화대학에서 설립되었습니다. 이 연구소는 수학과학을 위한 대규모 모델 개발, AI를 활용한 수학 형식화 증명 및 추측 발견, 설명 가능한 인공지능 및 교차 분야 지능 컴퓨팅 등의 분야에서 연구를 진행하여 AI와 수학의 심도 있는 융합을 촉진할 계획입니다.
IT之家의 이전 보도에 따르면, OpenAI 이달 초에 722편의 수학 연구 원고가 한 번에 공개되었습니다.내용은 정수론, 대수기하학, 이론컴퓨터과학, 유체역학 및 통계물리학과 같은 첨단 분야를 포함하며, 오랫동안 해결되지 않았던 여러 수학적 난제를 해결하여 수학계에 큰 충격을 주었다.
연맹의 주도자이자 청화대 진실학원 원장인 쥐치성통은 연맹 설립 기념식에서 AI 시대의 수학 분야 발전에 대한 자신의 견해를 밝혔다. “이는 우리가 수학의 본질적 가치를 다시 생각하게 만든다. 우리는 AI의 물결 속에서 앞서 나가야 하며, 숨지 말아야 한다.”
보도에 따르면, 연맹은 “AI+수학” 분야의 10여 가지 주요 성과와 연구 방향을 발표했습니다. 이는 기하학, 양자 계산, 생명과학 등 분야를 중심으로하며, 약화된 아노르드 추측 문제, 최소 수정의 유계성, 7차원 동형구면 등과 같은 과학적 문제에 관련됩니다.
그 중, 칭화대학교 쥐청퉁 수학과학센터와 상하이 수학 및 교차학문연구원에서 진행된 “7차원 동리기 구면: 모든 유광 구조는 모두 항상 양수인 단면 곡선을 지지할 수 있다”에 관한 연구에서, AI는 증명 전략을 탐색하고 계산을 간소화하는 데 사용된다. 계산 대수 시스템은 정확한 동치식, 구간 경계, 재현 가능한 계산 인증서를 생성하는 데 사용된다. 수학자들은 개념을 구상하고 증명하며, 결과를 검증하고 수학적 논증과 논문을 완성한다. 또한, AI는 다른 과학적 문제를 해결하는 데에도 과학자들에게 아이디어를 제공하여 지원하며, 과학자들이 초기 실험적 계산을 수행하는 데 도움을 줍니다.
추성통은 연맹은 1,000명 이상의 수학자와 연구원들의 역량을 모았습니다라고 말했습니다. 칭화대학교 진구아кадем리, 추성통 수학과학센터, 베이징 야니톨호 응용수학연구소, 중국과학원 천싱수학센터, 상하이 수학 및 교차과학연구소, 동남대학교 추성통센터, 하탁수학 및 교차과학연구소(선전), 홍콩중문대학교 지진교차수학과학원 등의 기관들이 젊은 학자들과 학생들에게 최첨단 지도를 제공하고, 자원 통합을 적극적으로 추진하여 중국만의 수학 대형 모델 구축 방안을 모색할 것이라고 밝혔습니다.