정확히는 양력 계산이 안되는 거긴 한데, 아무튼 나비에-스톡스 방정식에서 실제로 유한시간 특이점이 발생하는 반례가 GPT 아스트라 통해서 제시됐으니 수학적으로는 더 비행기가 왜 나는지 모르게 됐음.