AI가 직접 새로운 증명 생성…대규모 연산·검증까지수학계 검증·평가는 아직…연구 윤리 의혹도 나와(오픈AI 블로그 갈무리)/뉴스1관련 키워드AI7대난제푸앵카레의추측김정현 기자 정부사이트 닫고 15년 된 게임도 종료…'PHP 취약점' 전세계 초비상크래프톤, AI 활용 능력 갖춘 신입 100명 이상 뽑는다