IT之家 10월 15일 소식, 상하이 인공지능 연구실은 오늘 발표를 통해 수학계를 30여 년간 괴롭혀 온 세계적 난제인 3차원 Ghys 추측이 해결되었음을 알렸다.
상하이 인공지능 연구실 객원연구원이자 대만구(大湾区)대학 교수인 쉬디성(许地生) 팀은 서생(书生) 과학 멀티모달 대형 모델 S2(书生-S2)에 기반해 '통용과 전문의 융합' 기술 경로를 바탕으로,인간-기계 협업을 통해 3차원 Ghys 추측의 증명을 완수했다。
베이징대학 둥빈(董彬) 교수, 류뤄촨(刘若川) 원사 팀은 자체 개발한 SHEAF 프레임워크를 활용해 이번 증명에 대한 형식화 검증을 완료하며 이 연구의 정확성을 입증했다.이는 중국 과학자들이 처음으로 중국 대형 모델로 세계적 수학 난제를 해결한 사례라는 의미를 지닌다。
Ghys 추측은 프랑스 수학자 에티엔 기스(Étienne Ghys)가 1995년 제안한 것으로, 모든 콤팩트 복소다양체 위의 정현(全純) Anosov 계가 어떤 복소 infra-멱영 다양체 위의 정현 아핀 자기동형과 쌍정현 켤레(biholomorphically conjugate) 관계에 있을 것이라고 추측한다. 이 문제는 이론적 난도와 학문적 상징적 가치를 함께 갖추고 있어, 동역학계 분야 수학 전문가들이 해당 분야의 중요한 장기 미해결 문제 중 하나로 공인하며 수학적 추론 능력을 검증하는 시금석으로 여겨진다.
관련 논문은 프리프린트 플랫폼(arXiv)에 게재되었으며, 형식화 코드도 Github 플랫폼에 공개되었다. IT之家가 첨부하는 링크는 다음과 같다:
https://github.com/frenzymath/HolomorphicAnosov
상하이 인공지능 연구실은 이번 연구의 의미가 새로운 과학 연구 패러다임을 검증했다는 점에도 있다고 밝혔다. 전통적인 수학 연구는 개인 천재의 긴 탐구에 의존했지만, 이번 해결 과정에서는 전문가의 직관을 기계 문제 해결 루프에 체계적으로 접목해 '시스템 탐색 — 전문가 판단 — 성과 축적 — 피드백 수정'의 폐쇄 루프를 형성했다.이 패러다임은 '탐색 공간은 거대하지만 전문가는 희소한' 더 많은 기초 연구 분야로 복제·확산될 수 있으며, 더 많은 '0에서 1로'의 원천 혁신 돌파구를 실현할 수 있다。
다음 단계로, 팀은 이번 연구를 통해 완성된 전체 역량 폐쇄 루프를 바탕으로 이를 서생(书生)·두옌(端砚) 과학 발견 플랫폼에서 재사용 가능한 수학 검증 모듈로 추가 패키징하여, 이후 과학 문제 연구에서 직접 호출해 사용할 수 있도록 할 계획이다. 동시에 3차원 Ghys 추측의 돌파를 출발점으로 삼아,상하이 인공지능 연구실은 축적된 추론 능력을 수학 구조가 동원(同源)인 다른 학문 분야로 확장 적용할 것이다새로운 돌파를 거둔 후에는 새로운 추론 능력을 다시 두옌 플랫폼에 패키징해 재사용하고, 더 많은 학문 분야와 결합하여 다음 라운드의 돌파를 모색함으로써 '돌파 — 패키징 — 재사용 — 재돌파'의 자기 진화 플라이휠을 형성한다.
광고 고지: 본문에 포함된 외부 이동 링크(하이퍼링크, QR코드, 초대 코드 등을 포함하되 이에 국한되지 않음)는 더 많은 정보를 전달하고 선별 시간을 절약하기 위한 것으로, 결과는 참고용이며 IT之家는 외부 링크를 포함한 모든 글에 본 고지를 포함하고 있습니다.