인공지능2 AI 수학 증명의 새로운 지평을 연 '딥시크 프루버-V2' 딥시크 프루버-V2: AI 수학 증명의 새로운 지평을 열다딥시크(DeepSeek)에서 수학 분야에 특화된 강력한 인공지능(AI) 모델, 딥시크 프루버-V2(DeepSeek-Prover-V2)를 오픈 소스로 공개했습니다. 이 모델은 특히 린 4(Lean 4)라는 정형 증명 도우미(formal proof assistant) 언어를 사용하여 수학 정리를 엄격하게 증명하는 정형 정리 증명(formal theorem proving) 분야를 위해 설계되었습니다. 공식적인 큰 발표 없이 조용하게 공개되었는데, 이는 차세대 모델 출시에 앞서 기술적 완성도를 점검하고 개발 커뮤니티로부터 피드백을 얻으려는 의도로 보입니다.딥시크 프루버-V2는 어떻게 수학을 증명할까요?딥시크 프루버-V2의 핵심에는 재귀적 정리 증명 파이프.. 2025. 5. 2. 구글 AI, 이젠 '생각'까지 도와준다! 똑똑한 연구 비서 '제미나이 딥 리서치' 구글 AI, 이젠 '생각'까지 도와준다! 똑똑한 연구 비서 '제미나이 딥 리서치'!안녕하세요!우리에게 궁금한 것을 알려주고 글도 써주는 AI 챗봇을 써본 친구들 많을 텐데요. 세계적인 기술 기업 구글(Google)이 이 AI를 한 단계 더 똑똑하게 만들어서 우리의 '생각'과 '연구'까지 도와주는 새로운 기능을 선보였습니다! 바로 '제미나이 딥 리서치(Gemini Deep Research)'라는 기능입니다.이 기능은 구글에서 가장 강력하다고 알려진 인공지능 모델인 '제미나이 2.5 프로(Gemini 2.5 Pro)'를 바탕으로 만들어졌습니다. 기사에 따르면 이 기능이 나온 것은 4월 9일(현지 시간)이라고 합니다.그렇다면 '딥 리서치'가 무엇이고, 왜 대단한 기능인지, 그리고 우리에게 어떤 도움을 줄 수 .. 2025. 4. 24. 이전 1 다음
