"AI, 수학계 7대 난제 '나비에-스토크스' 해결"…발칵 뒤집힌 학계

AI 요약

8일(현지시간) 국제학술지 '네이처' 보도에 따르면 오픈AI가 나비에-스토크스 방정식의 해가 항상 존재하고 매끄럽게 유지되는지를 다루는 밀레니엄 문제에 대한 해법을 찾았다고 발표했습니다. 오픈AI는 정지 상태에서 시작한 매끄러운 유체에 위치와 시간에 따라 부드럽게 변하는 외부 힘을 가했을 때 유한한 시간 안에 특이점이 생기고 전체 에너지는 유한하게 유지된다는 수학적 증명과 함께 증명 검증 프로그램인 '린'을 이용한 형식 검증을 수행했으며, 이를 위해 AI 에이전트 1000개를 약 50시간 가동한 뒤 에이전트 1만개를 투입해 대규모 연산을 진행했다고 밝혔습니다. 전문가들은 정식 논문과 전문가들의 검증이 필요하다고 지적했으며, 앤트로픽 등 다른 연구팀도 유사한 문제 일부 해결을 보고해 오픈AI의 발표가 곧바로 밀레니엄 문제의 공식 해결을 의미하지는 않는다고 보도했습니다.