OpenAI, AI 증명으로 Navier-Stokes 난제 해결

openai가 오랫동안 풀리지 않은 수학 난제인 navier-stokes 밀레니엄 상 문제(navier-stokes millennium prize problem)에 대해 AI가 생성한 솔루션을 공개했다. 이 솔루션은 풀이 문서와 증명 보조 도구인 lean으로 작성된 형식 증명으로 구성되어 있다. 이번 발전은 복잡한 수학적 난제에 도전하는 데서 드러나는 AI의 능력을 부각시킨다. 유체의 운동을 기술하는 navier-stokes 방정식은 100년이 넘는 기간 동안 연구 대상이 되어 왔다. openai의 이번 성취는 수학의 중대한 발전에 기여할 수 있는 AI의 잠재력을 보여준다.