OpenAI, AI 분야에서 세 가지 과학적 돌파구 달성 발표

OpenAI는 자사 AI 모델이 수학, 컴퓨터 과학, 물리학이라는 세 분야에서 각각 중대한 돌파구를 달성했다고 발표했다. 이는 AI가 기존의 단순 질의응답이나 연구 보조 수준을 넘어, 복잡한 과학 이론을 독자적으로 발견하고 엄밀하게 증명하는 능력을 처음으로 입증한 사례다. 수학 분야에서는 임의 차원에 적용 가능한 ‘국소 매끄러움 추측(local smoothness conjecture)’을 성공적으로 증명했으며, 이를 바탕으로 카케야 추측(Kakeya conjecture)과 스타인 제한 추측(Stein restriction conjecture)을 동시에 해결했다. 컴퓨터 과학 분야에서는 오랫동안 기본 전제로 여겨져 온 ‘지수 시간 가설(exponential time hypothesis)’을 반박함으로써, 보다 효율적인 알고리즘 설계를 위한 새로운 길을 열었다. 물리학 분야에서는 양자 색역학(QCD)과 양–밀스 이론(Yang–Mills theory)의 엄밀한 수학적 존재성 증명을 완성했는데, 이 문제는 클레이 수학연구소(Clay Mathematics Institute)가 선정한 7대 밀레니엄 수학 난제 중 하나다. 금십데이터(Jinshi Data)에 따르면, OpenAI는 수학 및 컴퓨터 과학 분야의 성과에 대해 리인(Lean) 수학 검증 도구를 활용해 형식적 검증을 완료했으며, 관련 증명 자료 전부를 공개했다.