#린4

1건

• 연구2026년 9월 11일·4분 읽기

  오픈AI, 나비에-스토크스 증명에 '린 4' 공식 검증 동시 공개

  AI가 수학 증명 검증을 7,800배 단축했지만, 수학계는 "이해 없는 도장"이라 비판한다

  리서치 데스크오픈AI나비에-스토크스린4