딥시크, 수학적 추론에 특화된 '딥시크 프로버 V2' 출시…복잡한 정리 증명 가능
중국 AI 기업 딥시크가 수학적 추론에 특화된 AI 모델 '딥시크 프로버 V2'를 공개했다.
이 모델은 대규모 언어 모델 '딥시크-V3' 아키텍처를 기반으로 개발된 전문가 혼합 모델로, 정리 증명 지원 언어인 린4를 활용해 복잡한 정리의 형식 증명을 자동 생성할 수 있다.
1일 온라인 매체 기가진은 딥시크의 새로운 AI 모델이 수학적 추론의 혁신을 예고하며, 향후 수학 연구 및 교육 분야에서 큰 변화를 가져올 가능성이 있다고 전했다.
딥시...
이 모델은 대규모 언어 모델 '딥시크-V3' 아키텍처를 기반으로 개발된 전문가 혼합 모델로, 정리 증명 지원 언어인 린4를 활용해 복잡한 정리의 형식 증명을 자동 생성할 수 있다.
1일 온라인 매체 기가진은 딥시크의 새로운 AI 모델이 수학적 추론의 혁신을 예고하며, 향후 수학 연구 및 교육 분야에서 큰 변화를 가져올 가능성이 있다고 전했다.
딥시...
2026년을 향한 암호화폐 시장은 뚜렷한 방향성보다는 조정과 축적, 그리고 재도약 가능성이 교차하는 국면에 진입했다. 비트코인을 중심으로 한 기관 도입은 여전히 진행형이지만, 가격은 단기 과열 이후 숨 고르기에 들어간 모습이다. 시장 전반에서는 극단적인 상승과 급락보다는 변동성이 점차 완화되는 성숙 국면이 관측되고 있다.거시경제 측면에서는 미국 연방준비제도가 금리 인하를 시작했고, 노동시장 데이터는 경기 둔화 조짐을 보였으며, 디지털 자산에 대한 자본 유입은 더욱 선택적으로 변했다. 결과적으로
글로벌 게임 퍼블리싱 기업 팡스카이가 12월 22일 공시를 통해 제3자배정 방식의 유상증자를 결정했다고 밝혔다. 이번 유상증자를 통해 발행되는 보통주는 총 26만주다.신주 발행가액은 주당 500원이며, 기존 발행주식총수는 1236만9570주다. 이번 증자를 통해 조달된 자금은 채무상환자금으로 사용될 예정이다.채무상환자금은 김재우, 홍용표, 최준석, 최진석, 최인호로부터의 단기차입금 상환에 사용된다. 이들은 각각 5000만원, 3000만원, 2000만원, 2000만원, 1000만원을 차입한
필리핀 당국이 코인베이스와 제미니 등 주요 암호화폐 거래소 접속을 차단하며 미허가 가상자산 서비스 제공자에 대한 단속을 강화하고 있다고 코인텔레그래프가 현지 언론을 인용해 24일 보도했다.마닐라 블루틴 보도에 따르면 이번 조치는 필리핀 중앙은행이 무허가 운영으로 지정한 50개 온라인 거래 플랫폼에 대한 접근을 제한하라는 국가통신위원회 명령에 따른 것이다.중앙은행은 명령 대상이 된 플랫폼 전체 목록은 공개하지 않았다. 그러나 이번 조치는 현지 규제
종합건설사 까뮤이앤씨는 12월 22일 공시를 통해 한국전력공사와 경기 용인·화성 지역의 전력구공사 계약을 체결했다고 밝혔다. 이 계약은 용인·화성지역 345kV 신기흥S/S 연결 전력구공사로, 계약금액은 446억1490만6910원이다. 계약 기간은 2026년 6월 1일부터 2028년 4월 20일까지다.공동사업으로 코오롱글로벌과 함께 수주했으며, 까뮤이앤씨의 지분율은 49%다. 계약금액 및 계약기간은 공사 진행 과정에서 변경될 수 있다.까뮤이앤씨의 주가는 12월 22일 오후 2시 10분 한
의료 AI 기업 딥노이드의 전무이사 김태규가 2025년 12월 22일 공시를 통해 주식 보유 현황을 밝혔다. 김태규 전무이사는 이번 보고 기준일인 2025년 12월 22일 기준으로 딥노이드의 주식 308만4155주를 보유하고 있으며, 이는 10.5%의 지분율에 해당한다.12월 22일 공시에 따르면, 직전 보고일인 2025년 11월 18일에는 특정증권등의 수가 308만4155주로, 지분율은 13.63%였다. 이번 보고일 기준으로 주식 수는 동일하지만, 지분율은 10.5%로 감소했다. 이는
녹십자홀딩스의 노형주 상무가 12월 24일 자사주상여금으로 인해 보통주 1623주를 새롭게 보유하게 됐다. 이번 주식 보유는 보고서 기준일인 12월 24일에 맞춰 기록됐다.이번 주식 변동은 자사주상여금으로 인한 것으로, 노형주 상무의 주식 보유 상황이 변동됐다.녹십자홀딩스의 주가는 12월 24일 장마감 기준으로 1만6520원으로, 전일 대비 50원 하락했다.녹십자홀딩스의 최근 실적은 자산총계 3조6706억원, 부채총계 1조8184억원, 자본총계 1조8522억원으로 집계됐다. 매출액은 2조
◇4급 승진 △정책기획관 김대학 △경제정책과장 이동수 △복지정책과장 윤철용 △해양수산과장 윤창호 △건설과장 정광락 ◇5급 승진 △회계과 김성희 ◇6급 승진 △체육진흥과 김성균 △문화예술과 김원삼 △총무새마을과 김진수 △농업정책과 박유연 △회계과 설미열 △총무새마을과 전혜진 △회계과 최여진 △안전정책과 최용규 △징수과 하지숙 △노인복지과 김다라 △장애인여성복지과 박혜은 △복지정책과 양효정 △생활하수과 전희도 △농업정책과 안원대 △농업유통과 박진포 △환경정책과 강윤정 △도시계획과 정재훈 △도로과 이현주 △건설과 이형욱 △건설과 황지영
충북도는 청주공업고등학교, 충북에너지고등학교, 한국전기공사협회, 충북에너지산학융합원과 `전기분야 전문인력양성 지원'을 위한 업무협약을 체결했다고 28일 밝혔다.이번 협약은 전기산업 실무형 인재 양성과 학교 교육과 산업 현장 연계 강화를 위한 것으로 전기산업 인력양성을 위해 산·학·관이 협력한 전국 첫 모델이다.협약에는 김영환 충북지사, 최진근 청주공업고등학교장, 김진권 충북에너지고등학교장, 오광해 한국전기공사협회 부회장, 탁송수 충북에너지산학융합원장이 참석했다.협약에 따라 도는 전기분야 전문인력양성을 위한 행·
제주에서 생산되는 월동채소의 수급 안정에 기여할 농산물 스마트가공센터 건립 사업이 차질을 빚고 있다.28일 제주특별자치도에 따르면 432억원을 투입, 제주시 아라동 첨단과학기술단지에 2030년까지 농산물 스마트가공센터 건립을 추진 중이다.그런데 정부는 예산 부담이 크다는 이유로 내년도 국비 38억원을 반영하지 않았다. 이에 따라 도는 2027년에 국비 확보에 나선다.이 사업은 대규모 ‘개별급속냉동’ 창고를 건립하는 것이다.개별급속냉동은 영하 40~60도의 짧은 시간에 채소를 초저온으로
양구군이 지역 어르신과 취약계층의 생활 편의 향상을 위해 조성한 ‘방산 뽀송이 빨래방 2호점’ 개소식을 오는 29일 오후 2시, 방산면 평화로 5223 일원에서 개최한다.이번 개소식은 지역 맞춤형 공공서비스 확대와 돌봄 기반 강화를 위한 사업 추진 경과를 공유하고 홍보하기 위해 마련되었다. 행사에는 서흥원 양구군수를 비롯해 양구시니어클럽 관계자, 노인 일자리 참여자 등 50여 명이 참석할 예정이다.방산 뽀송이 빨래방 2호점은 약 4억 원의 예산을 투입해 유휴 공공시설인 양록어린이집을 리모델링하여 조성됐다. 1층에는 대형 세탁기
tags :#양구군#방산 뽀송이 빨래방 2호점
이재명 대통령이 신설되는 기획예산처의 초대 장관 후보자로 이혜훈 전 국민의힘 의원을 지명하자, 국민의힘이 28일 즉각 제명 조치에 나섰다. 대통령 인선 발표 직후 당 지도부는 긴급 서면 최고위원회의를 열고 제명을 결정했다.국민의힘은 보도자료에서 “이 전 의원에 대한 제명과, 당직자로서 수행한 모든 당무 행위를 무효화하는 안건을 의결했다”고 밝혔다. 통상 윤리위 심의와 최고위 의결을 거치지만, 윤리위원장 공석 상황을 감안해 최고위가 직권 처리했다.당은 이번 결정을 “사상 최악의 해당 행위에 따른 불가피한 조치”라고 규정했다. 이 전
주요키워드
인기기사
팡스카이, 제3자배정 유상증자 결정…보통주 26만주 발행
글로벌 게임 퍼블리싱 기업 팡스카이가 12월 22일 공시를 통해 제3자배정 방식의 유상증자를 결정했다고 밝혔다. 이번 유상증자를 통해 발행되는 보통주는 총 26만주다.신주 발행가액은 주당 500원이며, 기존 발행주식총수는 1236만9570주다. 이번 증자를 통해 조달된 자금은 채무상환자금으로 사용될 예정이다.채무상환자금은 김재우, 홍용표, 최준석, 최진석, 최인호로부터의 단기차입금 상환에 사용된다. 이들은 각각 5000만원, 3000만원, 2000만원, 2000만원, 1000만원을 차입한
성일축산 이용기 대표 '기부천사' 대열 합류
성일축산영농조합법인 이용기 대표가 ‘기부천사’ 대열에 합류했다. 이용기 대표는 지난 18일 전남 강진군의 ‘산타버스 출정식’ 에 앞서 사회복지공동모금회와 함께 아너소사이어티 가입식을 가졌다. 지난 2024년 5월 1일 서울대학교 농업생명대학 동물생명공학부 학생들을 대상으로 한 강연에서의 약속을 지킨 것이다. 당시 이용기 대표는 “빈
부여군, 전국 최초 ‘기후 적응 농촌형 쉼터’ 완공
김만식 기자 = 충남 부여군이 전국 지방자치단체 중 최초로 농업진흥구역 내에 ‘기후 적응 농촌형 쉼터’ 조성을 완료하고 본격적인 가동에 들어갔
해수청 민원인 공간인데…직원 없이는 발도 못들여
울산지방해양수산청이 민원인 편의를 돕겠다며 수천만원을 들여 청사 별관을 고쳤지만, 정작 민원인은 이용하기 어렵고 직원들의 회의실로만 쓰이는 등 ‘반쪽짜리 운영’이라는 지적이 제기된다. 22일 지역 항만업계에 따르면, 울산해수청은 지난 2022년 국비 약 3600만원을 투입해 청사 정문 앞 건물을 리모델링했다. 당시 해수청은 공사 목적을 ‘방문 민원인 접견실 및 소회의실 활용’이라고 명시했다. 본관 사무실이 포화 상태인 데다, 보안상 출입이 까다로운 점을 고려해 외부인이 편하게 업무를 볼 수 있는 소통 공간을 만들겠다는 취
경상북도개발공사, 경북도청신도시(2단계) 도시첨단산업단지 산업시설용지 23필지 공급
경상북도개발공사는 경북도청신도시 도시첨단산업단지 내 산업시설용지 23필지를 신규 공급한다고 밝혔다. 이번 공급은 신도시 자족기능 강화와 지역 산업기반 확충을 위한 것으로, 첨단제조업과 지식문화산업 기업을 대상으로 한다. ㅇ 입주 가능 업종은 - 첨단제조업 : 전기·전자, 기계·장비·자동차, 의료·의약품 등 -
최신기사
경북경찰청, ‘경찰영웅’ 故이기태 경감 흉상 제막
경북경찰청은 지난 26일 경북경찰청 홍보관에서 2025년 ‘경찰영웅’으로 선정된 故 이기태 경감의 흉상 제막식을 열었다. 행사는 순직 경찰관의 희생을 기리고 경찰 정신을 계승하기 위해 마련됐다.‘경찰영웅’은 2017년부터 매년 투철한 사명감으로 경찰의 본분을 실천한 순직 경찰관을 선정하는 제도로, 현재까지 21명이 이름을 올렸다. 故 이기태 경감은 순직 10주기를 맞은 올해 제21호 경찰영웅으로 선정됐다.이 경감은 2015년 10월 21일 제70주년 경찰의 날, 경주역 철길에 드러누운 장애 청소년을 구조하려다 접근하던 화물열차에 치
포항 대표할 수 있는 ‘유니크베뉴’ 후보지 선정
포항시가 유니크베뉴를 지정·육성해 포항의 도시 매력도를 높이고, ‘다양한 국제회의와 행사를 개최하기 좋은 도시’를 향한 잰걸음에 나섰다. 시는 지난 26일 시청 중회의실에서 2025 포항형 유니크베뉴 기본계획 수립용역 최종보고회를 개최했다. 유니크베뉴는 MICE 행사에서 공식 회의 외에 만찬, 환영 행사, 네트워킹 등 연회성 공식 프로그램을 운영할 수 있는 차별화된 공간을 의미한다. 보고회에서는 포항시 MICE 산업 활성화를 위한 유니크베뉴 기반 조성을 목표로, 포항형 유니크베뉴 선정 기준 설정 결과와 후보지 검토