Terence Tao는 Navier-Stokes 같은 난제를 자율 AI가 비공개로 풀어 최종 답만 내놓으면 시행착오에서 생기는 새 이론과 후속 문제를 잃을 수 있다고 지적했습니다. 인간 연구자가 시뮬레이션, 형식 검증과 LLM 제안을 함께 이해하는 과정이 증명 자체보다 중요하다는 주장입니다. 실제 해법의 중대한 진전이 있다는 뜻은 아니며 가상 시나리오라는 한계가 있습니다.