#린4

2건

• 연구2026년 10월 10일·3분 읽기

  오픈AI 나비에-스토크스 증명, 논문과 코드가 달랐다

  오픈AI 수학 증명서 논문-코드 불일치, 검증 도구의 구멍 드러나

  리서치 데스크오픈AI나비에-스토크스린4
• 연구2026년 9월 11일·4분 읽기

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

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

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