Books & Life

90년 미해결 나비에-스토크스 문제에 AI 증명 제시…8월에는 수학·이론컴퓨터과학 10개 난제에서도 새 결과 오픈AI(OpenAI)가 새 AI 모델 GPT-6 Astra를 활용해 나비에-스토크스(Navier–Stokes) 문제를 증명했다. OpenAI는 약 90년 동안 해결되지 않은 이 문제에 대해 유한 시간 안에 특이점이 발생할 수 있다는 해법을 제시하고, Lean 형식 증명을 공개했다. 각 결과는 AI가 초안을 만들고, 인간 연구자가 원고를 정리한 뒤 Lean으로 형식화된 증명을 완성하는 절차를 거쳤다. 수학계의 독립적인 검증과 공식적인 문제 해결 인정은 별도의 과정이다. GPT-6 Astra, 수학 벤치마크를 넘어 연구 단계로 OpenAI가 9월 3일 공개한 GPT-6 Astra는 컴퓨터 사용, 코딩, 과학 연구, 사이버보안 및 전문 업무를 통합한 차세대 모델로 소개됐다. 수학에서는 FrontierMath Tier 4에서 98%를 기록했다. ARC-AGI-3에서는 99.9%, ExploitBench에서는 100%를 기록했다고 OpenAI는 밝혔다. OpenAI가 8월 1일 공개한 연구 결과에서는 내부 Astra 버전이 수학과 이론컴퓨터과학의 장기 미해결 문제 10개에서 새로운 결과를 만들어냈다고 밝혔다. 이 결과들은 고차원 기하학, 부호 이론, 군론, 연산자 대수, 양자 복잡도, 격자 암호, 극값 조합론 등 여러 분야에 걸쳐 있다. 이는 AI 수학의 성격이 바뀌고 있음을 보여준다. 기존 AI 수학의 핵심 질문은 ‘주어진 문제를 얼마나 정확하게 풀 수 있는가’였다. 이제는 ‘아직 풀리지 않은 문제에서 새로운 아이디어를 만들어낼 수 있는가’가 중요한 평가 기준이 되고 있다. 10개의 난제에서 확인된 새로운 패턴 OpenAI가 공개한 10개 결과 가운데는 고차원 구면 포장, 부호 이론, 산술 회로 복잡도, 비소픽 군, 폰 노이만 대수, 양자 계산 복잡도, 격자 암호, 극값 조합론 등의 문제가 포함됐다. 8월 발표된 10개 성과 중 일부를 보면 이 변화가 뚜렷하다. 특정 문제 하나의 해결 여부보다 서로 다른 수학 분야에서 AI가…