애틀란틱 카운슬(Atlantic Council) 보도에 따르면 중국의 오픈소스 추론 대규모 언어모델(LLM) 개발사인 딥시크(DeepSeek)가 자사의 ‘딥시크-R1(DeepSeek-R1)’ 모델로 오픈AI(OpenAI)의 o1 모델과…
답변: 딥시크(DeepSeek)의 등장은 AI 업계에 큰 충격을 주었고, 특히 엔비디아의 주가에 심각한 영향을 미쳤습니다. 27일(현지시간) 엔비디아의 주가는 16.97%…
중국의 인공지능 스타트업 딥시크(DeepSeek)가 기존 실리콘밸리 기업들보다 훨씬 적은 비용으로 고성능 AI 모델을 개발하는데 성공하며 미국 주식 시장에까지…
테크크런치가 20일(현지 시간)에 보도한 내용에 따르면, 중국의 인공지능 연구소 딥시크(DeepSeek)가 자사의 추론 AI 모델 ‘딥시크-R1(DeepSeek-R1)’을 공개했다. 이 모델은…
현대 수학의 증명이 점점 복잡해지면서 동료 평가 과정에서도 오류를 발견하기 어려워지고 있다. 이러한 문제를 해결하기 위해 린(Lean), 이자벨(Isabelle),…