이 태그와 연결된 문서를 한곳에서 모아보고, 함께 자주 등장하는 연관 태그까지 이어서 탐색할 수 있습니다.
연관 태그
총 1건 중 1-1건
영상은 OpenAI가 축적된 수학 연구와 AI 에이전트의 병렬 탐색·형식 검증을 결합해 나비에–스토크스 특이점 사례를 찾았다고 설명하지만, 특정 외력이 있는 조건의 주장으로서 난제의 공식 해결 여부는 검증이 남아 있다고 짚는다.