#공식검증

1건

연구2026년 9월 11일·4분 읽기
오픈AI, 나비에-스토크스 증명에 '린 4' 공식 검증 동시 공개
AI가 수학 증명 검증을 7,800배 단축했지만, 수학계는 "이해 없는 도장"이라 비판한다
리서치 데스크오픈AI 나비에-스토크스 린4