Navier–Stokes 밀레니엄 상금 문제에 관하여

<ul> <li>약 90년간 미해결이던 <strong>3차원 유체의 매끄러움 문제</strong>에 대해 OpenAI가 해석적 증명과 Lean 형식화를 공개함. 매끄러운 외력이 작용하는 정지 상태의 유체에서 유한 시간 안에 특이점이 발생하는 구성을 통해 공식 문제의 <strong>C·D를 입증했다</strong>고 밝힘</li> <li>해법은 안쪽으로 나선...