
OpenAI의 수학 주장, AI 검증 병목을 드러내다
OpenAI 모델이 주요 수학 문제를 풀었다는 보도는 더 깊은 문제를 가리킵니다. 증명 생성은 더 저렴해지고 있지만, 검증과 귀속, 출판은 여전히 인간의 속도로 움직이고 있습니다.
최신

OpenAI 모델이 주요 수학 문제를 풀었다는 보도는 더 깊은 문제를 가리킵니다. 증명 생성은 더 저렴해지고 있지만, 검증과 귀속, 출판은 여전히 인간의 속도로 움직이고 있습니다.
모든 글

OpenAI의 법률 분야 출시는 새 기반 모델보다 그 주변 시스템에 가깝습니다. 도메인 검색, 신뢰할 수 있는 도구, 권한, 벤치마크, 검토 경로가 핵심입니다.

OpenAI는 AI 에이전트들이 나비에–스토크스 특이점을 찾고 그 증명을 Lean으로 형식화했다고 말합니다. 더 어려운 이야기는 그다음입니다. 검토, 공로 인정, 그리고 수학에서 비공개 에이전트 군집이 갖는 힘입니다.