오픈AI, 수학 추측, 컴퓨터 알고리즘, 밀레니엄 난제 등 세 가지 과학적 돌파구 달성 발표

BlockBeats 소식, 10월 27일 OpenAI는 자사의 AI 모델이 수학, 컴퓨터 과학, 물리학 분야에서 세 가지 중대한 돌파구를 달성했으며, 단순히 질문에 답하거나 연구를 보조하는 것을 넘어 AI가 복잡한 과학 이론을 독립적으로 발견하고 증명하는 능력을 보여주었다고 발표했다.

수학 분야에서 AI는 모든 차원에 적용되는 국소 평활화 추측(파동 등의 현상에서 에너지 집중이 얼마나 지속될 수 있는지를 연구)을 증명했으며, 이를 통해 Kakeya 추측(바늘이 유한한 공간 내에서 모든 방향으로 회전하는 데 최소 얼마나 큰 공간이 필요한지를 연구)과 Stein 제한 추측(복잡한 파동 규칙의 수학적 문제를 연구)을 해결했다.

컴퓨터 과학 분야에서 AI는 오랫동안 널리 받아들여져 온 지수 시간 가설(일부 복잡한 계산 문제는 규모에 따라 계산량이 급격히 증가하는 것을 피할 수 없다고 보는 가설)을 반박했으며, 이는 미래에 더 빠른 알고리즘을 찾을 수 있음을 의미한다.

물리학 분야에서 AI는 양자색역학(쿼크가 어떻게 결합하여 양성자, 중성자 등의 입자를 형성하는지를 설명하는 이론) 및 양-밀스 이론(기본 입자 간의 작용력을 설명하는 수학적 이론)의 엄밀한 수학적 존재성 증명을 제시했으며, 이는 세계 7대 밀레니엄 수학 난제 중 하나와 관련된다.

OpenAI는 수학 및 컴퓨터 과학 성과는 Lean 수학 검증 도구를 통해 형식적으로 검증되었으며 증명 자료를 공개했다고 밝혔다. 물리학 성과는 노벨 물리학상 수상자 등 전문가의 심사를 받고 있다. 관련 성과는 여전히 학계의 추가적인 독립적 확인이 필요하다.