수학의 아포칼립스 ↗
OpenAI가 수학 난제 372건의 성과를 공개 했으며, 여기에는 Unique Games Conjecture(UGC)의 증명도 포함됨. 다만 일부에만 Lean 인증서가 있고, 인간이 증명을 이해하는 작업은 이제 막 시작됨 형식적 증명과 인간의 이해 사이의 간극 이 핵심 과제로 떠오름. UGC를...
AI·IT 수집 자료실
공식 출처에서 수집한 소식을 발행일 순서로 확인하세요. 발췌는 원문의 일부이며 TUMN이 작성·검증한 해설 글과 구분됩니다. 전체 내용은 원문에서 읽을 수 있습니다.
1개 · 1페이지 · 로그인 없이 열람