딥시크, 수학적 추론에 특화된 '딥시크 프로버 V2' 출시…복잡한 정리 증명 가능
중국 AI 기업 딥시크가 수학적 추론에 특화된 AI 모델 '딥시크 프로버 V2'를 공개했다.
이 모델은 대규모 언어 모델 '딥시크-V3' 아키텍처를 기반으로 개발된 전문가 혼합 모델로, 정리 증명 지원 언어인 린4를 활용해 복잡한 정리의 형식 증명을 자동 생성할 수 있다.
1일 온라인 매체 기가진은 딥시크의 새로운 AI 모델이 수학적 추론의 혁신을 예고하며, 향후 수학 연구 및 교육 분야에서 큰 변화를 가져올 가능성이 있다고 전했다.
딥시...
이 모델은 대규모 언어 모델 '딥시크-V3' 아키텍처를 기반으로 개발된 전문가 혼합 모델로, 정리 증명 지원 언어인 린4를 활용해 복잡한 정리의 형식 증명을 자동 생성할 수 있다.
1일 온라인 매체 기가진은 딥시크의 새로운 AI 모델이 수학적 추론의 혁신을 예고하며, 향후 수학 연구 및 교육 분야에서 큰 변화를 가져올 가능성이 있다고 전했다.
딥시...
의료 AI 기업 딥노이드의 전무이사 김태규가 2025년 12월 22일 공시를 통해 주식 보유 현황을 밝혔다. 김태규 전무이사는 이번 보고 기준일인 2025년 12월 22일 기준으로 딥노이드의 주식 308만4155주를 보유하고 있으며, 이는 10.5%의 지분율에 해당한다.12월 22일 공시에 따르면, 직전 보고일인 2025년 11월 18일에는 특정증권등의 수가 308만4155주로, 지분율은 13.63%였다. 이번 보고일 기준으로 주식 수는 동일하지만, 지분율은 10.5%로 감소했다. 이는
유럽연합가 유럽중앙은행의 디지털 유로 설계안을 승인하며, 온라인·오프라인 버전이 동시에 도입될 예정이라고 22일 블록체인 매체 코인텔레그래프가 전했다.크리스틴 라가르드 ECB 총재는 디지털 유로 발행 여부가 EU 의원들에 달렸다고 강조했다. 오프라인 디지털 유로는 현금처럼 작동하며, 사용자의 여러 활동을 연결할 수 없도록 설계됐다. 거래 데이터는 참여자 간에만 공유되며, 인증된 장치에서만 디지털 유로 토큰을 전송할 수 있다.그러나 오프라인 결제의 보안 문제가 해결되지 않았다. 근
2025년 암호화폐 시장은 실험 단계를 넘어 성숙기에 접어들었다는 평가를 받는다. 제도권 자본의 유입, 규제 가시화, 거시경제 압박이 맞물리며 시장이 빠르게 재편되고 있기 때문이다. 다가오는 2026년, 암호화폐 산업은 제도권의 검증, 경기침체 리스크, 통화 정책 변화라는 거대한 파도 속에서 진정한 시험대에 오를 전망이다.지난 23일 블록체인 매체 비인크립토는 유명 투자 쇼 '샤크탱크'의 진행자이자 벤처 투자가 케빈 오리어리, 그리스 경제학자 야니스 바루파키스, 로널드 레
종합건설사 까뮤이앤씨는 12월 22일 공시를 통해 한국전력공사와 경기 용인·화성 지역의 전력구공사 계약을 체결했다고 밝혔다. 이 계약은 용인·화성지역 345kV 신기흥S/S 연결 전력구공사로, 계약금액은 446억1490만6910원이다. 계약 기간은 2026년 6월 1일부터 2028년 4월 20일까지다.공동사업으로 코오롱글로벌과 함께 수주했으며, 까뮤이앤씨의 지분율은 49%다. 계약금액 및 계약기간은 공사 진행 과정에서 변경될 수 있다.까뮤이앤씨의 주가는 12월 22일 오후 2시 10분 한
필리핀 당국이 코인베이스와 제미니 등 주요 암호화폐 거래소 접속을 차단하며 미허가 가상자산 서비스 제공자에 대한 단속을 강화하고 있다고 코인텔레그래프가 현지 언론을 인용해 24일 보도했다.마닐라 블루틴 보도에 따르면 이번 조치는 필리핀 중앙은행이 무허가 운영으로 지정한 50개 온라인 거래 플랫폼에 대한 접근을 제한하라는 국가통신위원회 명령에 따른 것이다.중앙은행은 명령 대상이 된 플랫폼 전체 목록은 공개하지 않았다. 그러나 이번 조치는 현지 규제
2025년이 저물어가는 가운데, 애플은 지난 1년 동안 성과와 한계를 동시에 드러냈다. 23일 IT매체 나인투파이브맥에 따르면, 아이폰과 운영체제, 콘텐츠 서비스에서는 의미 있는 진전을 이뤘지만, 인공지능과 하드웨어 디자인, 조직 리더십에서는 뚜렷한 과제를 남겼다는 평가다.먼저 긍정적인 측면에서 가장 큰 성과로는 아이폰17이 꼽힌다. 프로모션과 상시표시화면, 4800만 화소 메인·초광각 카메라, A19 칩, 기본 256GB 저장공간을 갖춘 아이폰17은 대다수 사용자에게 가장 추천
조국혁신당 제주도당은 28일 이재명 대통령이 초대 기획예산처 장관 후보자로 국민의힘 이혜훈 전 의원을 지명한 것과 관련해 "국민이 보이지 않느냐" 며 강도높게 비판했다.제주도당은 이날 '이재명 대통령께 드리는 공개서한'을 통해 "박진경 국가유공자 지정에 이어 이번에는 탄핵에 반대했던 이혜훈을 정부 인사로 기용하는 엇나간 결정을 했다"며 "이 결정이 불법 계엄과 내란에 맞서 민주주의를 지켜낸 국민을 위한 선택이냐"고 지적했다.이어 "통합이란 이름으로 원칙을 허무는 순간 그 통합은 국민 위에 군림하는 권력의 변명이 된다"며 "민주주의를
제주에서 생산되는 월동채소의 수급 안정에 기여할 농산물 스마트가공센터 건립 사업이 차질을 빚고 있다.28일 제주특별자치도에 따르면 432억원을 투입, 제주시 아라동 첨단과학기술단지에 2030년까지 농산물 스마트가공센터 건립을 추진 중이다.그런데 정부는 예산 부담이 크다는 이유로 내년도 국비 38억원을 반영하지 않았다. 이에 따라 도는 2027년에 국비 확보에 나선다.이 사업은 대규모 ‘개별급속냉동’ 창고를 건립하는 것이다.개별급속냉동은 영하 40~60도의 짧은 시간에 채소를 초저온으로
더불어민주당은 28일 이재명 대통령이 초대 기획예산처 장관 후보자로 이혜훈 전 미래통합당 의원을 지명한 데 대해 “통합과 실용을 중시한 인사”라며 환영의 뜻을 밝혔다.김현정 민주당 원내대변인은 이날 국회에서 기자들과 만나 “이혜훈 후보는 자타가 공인하는 경제 전문가이자, 이재명 대통령의 중도·실용주의 인사 스타일이 잘 드러난 사례”라고 평가했다.그는 “KDI 연구위원 출신으로 예산과 경제 분야에 전문성이 확실한 인물이며, 적재적소 인사의 원칙에도 부합한다”고 덧붙였다.국민의힘이 이 후보자를 ‘배신’으로 규정하며 제명
이재명 대통령이 보수 진영 출신인 이혜훈 전 의원을 새 정부 초대 기획예산처 장관 후보자로 지명했다.민생·경제 분야에서는 이념과 정파를 가리지 않겠다는 ‘통합·실용’ 인사 기조를 분명히 한 파격 인선으로 평가된다.대통령실은 28일 이규연 홍보소통수석 브리핑을 통해 이 전 의원을 기획예산처 장관 후보자로 지명했다고 밝혔다.이 후보자는 한나라당·새누리당·미래통합당 등 국민의힘 전신 정당에서 3선을 지낸 보수 정치인으로, 지난해 22대 총선에서도 국민의힘 후보로 출마한 바 있다.이 수석은 “대통령의 인사 철학의 양대 축은 통합과 실용”이
양구군이 지역 어르신과 취약계층의 생활 편의 향상을 위해 조성한 ‘방산 뽀송이 빨래방 2호점’ 개소식을 오는 29일 오후 2시, 방산면 평화로 5223 일원에서 개최한다.이번 개소식은 지역 맞춤형 공공서비스 확대와 돌봄 기반 강화를 위한 사업 추진 경과를 공유하고 홍보하기 위해 마련되었다. 행사에는 서흥원 양구군수를 비롯해 양구시니어클럽 관계자, 노인 일자리 참여자 등 50여 명이 참석할 예정이다.방산 뽀송이 빨래방 2호점은 약 4억 원의 예산을 투입해 유휴 공공시설인 양록어린이집을 리모델링하여 조성됐다. 1층에는 대형 세탁기
tags :#양구군#방산 뽀송이 빨래방 2호점
삼성전자가 CES 2026 개막에 앞서 오는 2026년 1월 4일 미국 라스베이거스에서 '더 퍼스트룩' 행사를 열고 2026년형 사운드 기기 신제품 라인업을 공개한다.28일 삼성전자에 따르면 삼성전자는 기존의 'Q 시리즈' 사운드바 뿐만 아니라 와이파이 스피커 신제품까지 페어링 기능을 확대 적용해 더욱 강력한 음향 에코 시스템을 완성했다.삼성전자의 2026년형 사운드 기기 신제품 라인업은 △뮤직 스튜디오 7·5 △HW-Q990H △HW-QS90H 등 이며, 강력한 음
주요키워드
인기기사
정재봉 의원, 자원봉사자 보호ㆍ센터 운영체계 강화 위한 조례 개정 이끌어
강서구의회 정재봉 의원이 발의한 “서울특별시 강서구 자원봉사활동 지원 조례 일부개정조례안”이 12월 22일, 제316회 제2차 정례회 제2차 본회의를 통과했다.이번 조례 개정은 자원봉사자에 대한 보호체계를 강화하고, 자원봉사센터의 조직·운영 기준을 보다 명확히 하여 강서구 자원봉사활동이 안정적이고 체계적으로 추진될 수 있도록 하려는 것이다.특히 이번 개정으로 민간단체에 소속된 자원봉사자에 대해서도 보험 가입과 보험료 지원이 가능하도록 그 절차와 기준이 조례에 명시적으로 규정
팡스카이, 제3자배정 유상증자 결정…보통주 26만주 발행
글로벌 게임 퍼블리싱 기업 팡스카이가 12월 22일 공시를 통해 제3자배정 방식의 유상증자를 결정했다고 밝혔다. 이번 유상증자를 통해 발행되는 보통주는 총 26만주다.신주 발행가액은 주당 500원이며, 기존 발행주식총수는 1236만9570주다. 이번 증자를 통해 조달된 자금은 채무상환자금으로 사용될 예정이다.채무상환자금은 김재우, 홍용표, 최준석, 최진석, 최인호로부터의 단기차입금 상환에 사용된다. 이들은 각각 5000만원, 3000만원, 2000만원, 2000만원, 1000만원을 차입한
김태규 전무이사, 딥노이드 주식 보유 현황 공시
의료 AI 기업 딥노이드의 전무이사 김태규가 2025년 12월 22일 공시를 통해 주식 보유 현황을 밝혔다. 김태규 전무이사는 이번 보고 기준일인 2025년 12월 22일 기준으로 딥노이드의 주식 308만4155주를 보유하고 있으며, 이는 10.5%의 지분율에 해당한다.12월 22일 공시에 따르면, 직전 보고일인 2025년 11월 18일에는 특정증권등의 수가 308만4155주로, 지분율은 13.63%였다. 이번 보고일 기준으로 주식 수는 동일하지만, 지분율은 10.5%로 감소했다. 이는
연천군 다함께돌봄센터 1호점, ‘2025 자원봉사 우수 활동처’ 선정
연천군자원봉사센터는 지난 18일 연천군 다함께돌봄센터 1호점에서 ‘2025 자원봉사 우수 활동처 현판 전달식’을 개최했다고 밝혔다.
이번에 우수 활동처로 선정된 연천군 다함께돌봄센터 1호점은 방과 후 및 방학 기간 동안 아동을 대상으로 간식 제공과 돌봄 서비스를 운영하고 있으며, 학습지도와 함께 미술활동, 코딩 수업 등 다양한 특기·적성 프로그램을
진안군, '토지정보행정' 전국 최고 수준…'최우수기관' 선정
전북특별자치도 진안군이 도내 14개 시·군을 대상으로 실시한 '2025년도 토지정보업무 종합평가'에서 군부 최우수기관으로 선정되며 토지행정 분야의 독보적인 역량을 입증했다. ...
최신기사
[발언대] 거제남부관광단지 불승인 확정해야 합니다
박완수 경남도지사님, 거제남부관광단지 개발사업 불승인을 확정 지어 주십시오.지난 8월 26일 낙동강유역환경청에서 거제남부관광단지 전략환경영향평가가 거짓임을 확정했습니다. 이제 노자산을 그대로 지킬 수 있게 되었다는 확신이 들었습니다. 그런데 낙동강청과
“제주시 민속오일시장 부설주차장 유료화..졸속행정 미봉책”
제주시 민속오일시장 주차장 유료화는 소비자들의 부담을 덜어주는 정책이 아닌 단기적인 문제 해결에 집중한 ‘졸속행정’에 불과하다는 비판이다.28일 제주시에 따르면 제주시 민속오일시장 부설주차장 일부를 2026년 2월부터 유료화 한다.시는 2025년 5월부터 11월까지 제주시 민속오일시장 전체 15개 주차장 1,412면 중 이용객이 가장 많은 5개 주차장 667면을 대상으로 장기방치 차량 전수조사를 실시한 결과, 약 4%에 해당하는 26대의 차량이 1개월 이상 고정 주차된 것으로 확인됐다.이에 제주시는 부설주차장의 본래 기능을 회복하고
동구가족센터, 외국인 주민을 위한 겨울의류 무료 나눔 행사
울산동구가족센터는 겨울철 한파에 취약한 외국인 주민들이 따뜻하고 건강하게 겨울을 보낼 수 있도록 ‘외국인 주민을 위한 겨울 의류 무료 나눔 행사’를 28일 센터에서 개최했다.행사는 한국의 추운 겨울 환경에 적응하는 데 어려움을 겪는 외국인 주민들에게 실질적인 도움을 제공하기 위해 마련됐다.전달된 의류는 후원처에서 지원한 새 제품과 지역 주민들이 기부한 겨울 의류로 모두 세탁과 관리를 거쳐 깨끗한 상태로 준비됐다.행사 당일에는 패딩과 코트, 아웃도어 재킷 등 겨울철 필수 의류가 무료로 제공됐다.울산동구가족센터 관계자는 “이번 겨울 의
'경남교육 기네스' 교육 기록 모든 ‘1호’ 모았다
경남도교육청은 경남교육의 독보적인 역사를 발굴하고 교육공동체의 소중한 삶을 기록으로 남기기 위해 ‘경남교육 기네스북’을 발간했다고 26일 밝혔다.경남교육 기네스는
김재환 오토텍 대표, 경남 아너 소사이어티 가입
경남사회복지공동모금회는 26일 김재환 오토텍 대표가 개인 고액기부자 모임인 아너 소사이어티에 약정 가입하며 경남지역 17