AI 스스로 수학적 논증 생성…고차원 기하학·군론 등 난제 풀이전체 토큰 비용 약 2000달러…최근 미국 정부 상대로 시연오픈AI 로고 일러스트. 2026.06.11 ⓒ 로이터=뉴스1관련 키워드오픈AI아스트라유수연 기자 NC IDS, 'NC AX'로 사명 변경…AX 전문 기업으로 새 출발펄어비스 붉은사막, 中 CGIA '최고의 인터내셔널 게임' 수상관련 기사AI 기업과 손잡는 K-바이오…신약개발 패러다임 바뀐다K-바이오 글로벌 진출 가속…아스트라제네카와 기술협력 모색[바이오 USA]
