OpenAI 나비에-스토크스 AI 수학 증명, 자연어 논문과 Lean 검증 간 중대 불일치 발견
OpenAI의 나비에-스토크스 해법 논문에서 자연어 설명과 Lean 형식 검증 코드 간 입력 도함수 조건 및 경계 추정치 불일치가 확인되었습니다.
#Formal-Verification
TAU-HOME.COM에서 Formal-Verification 태그로 묶인 글입니다.
TAU-HOME.COM에서 Formal-Verification 태그로 묶인 글입니다.
OpenAI의 나비에-스토크스 해법 논문에서 자연어 설명과 Lean 형식 검증 코드 간 입력 도함수 조건 및 경계 추정치 불일치가 확인되었습니다.