뉴스10월 17일오픈AI 나비에-스토크스 증명, 수학자들이 검증 범위 문제 제기수학자들은 166페이지 증명문과 컴퓨터 검증 코드가 서로 맞지 않는 부분이 있다고 지적했다. 증명이 다룬 조건의 범위도 쟁점이다.
