사이언스타임즈/사용자메뉴/과학기술/기초·응용과학

AI 요약

9월 8일 OpenAI는 자사 미공개 내부 모델이 나비에-스토크스 방정식의 C·D 진술에 해당하는, 매끄러운 외력 아래 유한한 에너지를 유지하면서 유한한 시간 내 특이점을 만들 수 있음을 증명했다고 발표하고 165쪽 분량의 논문과 Lean 4 코드도 공개했으나 회사는 클레이연구소의 100만 달러 상금을 청구하지 않겠다고 밝혔습니다. 클레이 수학연구소는 이 결과를 공식적으로 인정하지 않았고, 수학자들은 Lean으로 형식화된 명제가 클레이가 요구한 초기 조건·외력의 정의·함수 공간 등을 정확히 포착하는지 한 줄씩 대조하며 검증을 진행 중인데 Lean은 논리적 도출을 기계적으로 확인해 줄 뿐 형식화된 명제가 원래 문제 조건과 일치하는지를 보장하지는 않습니다. OpenAI는 훈련을 8월 28일에 시작해 최대 1만 개의 에이전트를 투입해 약 88시간 만에 결과를 얻었고 Lean 검증까지 추가로 17시간이 걸렸으며 에이전트 간 메시지 270만 건과 수백만 달러 규모의 컴퓨팅 비용이 소요됐고 발표 직후 프린스턴대의 스탠 팔라섹 등의 기술적 이견과 우선권 다툼도 제기됐습니다.