속보›상세커뮤니티해외OpenAI, 양-밀스 존재성 Lean 증명 공개 및 검증 완료원제 · OpenAI Yang Mills Existence Lean Proof Released and Verifiedr/singularity2026.11.11 14:42 (한국시간)오늘 4위#OpenAI이 소식은 제목과 출처만 제공됩니다. 자세한 내용은 원문에서 확인하실 수 있습니다.원문 보기 ↗링크 복사원문의 저작권은 r/singularity에 있습니다. 위 발췌는 원문 확인을 돕기 위한 짧은 인용입니다.