AI가 직접 새로운 증명 생성…대규모 연산·검증까지수학계 검증·평가는 아직…연구 윤리 의혹도 나와(오픈AI 블로그 갈무리)/뉴스1관련 키워드AI7대난제푸앵카레의추측김정현 기자 2.5차원 MMORPG '도깨비의 세계' 10월 8일 출시한컴이노스트림, 엔비디아와 AI 실무 인재 양성 나선다