딥시크, 수학적 추론에 특화된 '딥시크 프로버 V2' 출시…복잡한 정리 증명 가능
중국 AI 기업 딥시크가 수학적 추론에 특화된 AI 모델 '딥시크 프로버 V2'를 공개했다.
이 모델은 대규모 언어 모델 '딥시크-V3' 아키텍처를 기반으로 개발된 전문가 혼합 모델로, 정리 증명 지원 언어인 린4를 활용해 복잡한 정리의 형식 증명을 자동 생성할 수 있다.
1일 온라인 매체 기가진은 딥시크의 새로운 AI 모델이 수학적 추론의 혁신을 예고하며, 향후 수학 연구 및 교육 분야에서 큰 변화를 가져올 가능성이 있다고 전했다.
딥시...
이 모델은 대규모 언어 모델 '딥시크-V3' 아키텍처를 기반으로 개발된 전문가 혼합 모델로, 정리 증명 지원 언어인 린4를 활용해 복잡한 정리의 형식 증명을 자동 생성할 수 있다.
1일 온라인 매체 기가진은 딥시크의 새로운 AI 모델이 수학적 추론의 혁신을 예고하며, 향후 수학 연구 및 교육 분야에서 큰 변화를 가져올 가능성이 있다고 전했다.
딥시...
종합건설사 까뮤이앤씨는 12월 22일 공시를 통해 한국전력공사와 경기 용인·화성 지역의 전력구공사 계약을 체결했다고 밝혔다. 이 계약은 용인·화성지역 345kV 신기흥S/S 연결 전력구공사로, 계약금액은 446억1490만6910원이다. 계약 기간은 2026년 6월 1일부터 2028년 4월 20일까지다.공동사업으로 코오롱글로벌과 함께 수주했으며, 까뮤이앤씨의 지분율은 49%다. 계약금액 및 계약기간은 공사 진행 과정에서 변경될 수 있다.까뮤이앤씨의 주가는 12월 22일 오후 2시 10분 한
녹십자홀딩스의 노형주 상무가 12월 24일 자사주상여금으로 인해 보통주 1623주를 새롭게 보유하게 됐다. 이번 주식 보유는 보고서 기준일인 12월 24일에 맞춰 기록됐다.이번 주식 변동은 자사주상여금으로 인한 것으로, 노형주 상무의 주식 보유 상황이 변동됐다.녹십자홀딩스의 주가는 12월 24일 장마감 기준으로 1만6520원으로, 전일 대비 50원 하락했다.녹십자홀딩스의 최근 실적은 자산총계 3조6706억원, 부채총계 1조8184억원, 자본총계 1조8522억원으로 집계됐다. 매출액은 2조
불소화합물 제조 기업 후성이 12월 24일 자회사 후성글로벌에 560억원을 대여하기로 결정했다. 대여금은 운영자금 지원을 목적으로 하며, 이율은 4.6%로 설정됐다. 대여 기간은 2025년 12월 24일부터 2026년 12월 24일까지다.이번 결정에 따라 후성의 자기자본 대비 대여금 비율은 16.83%에 이른다. 금전대여 총잔액은 1360억원으로 집계됐다. 이사회 결의는 12월 24일에 이루어졌으며, 사외이사 1명이 참석했고 감사도 참석했다.후성글로벌의 재무상황을 살펴보면, 당해 연도 자
2025년 암호화폐 시장은 실험 단계를 넘어 성숙기에 접어들었다는 평가를 받는다. 제도권 자본의 유입, 규제 가시화, 거시경제 압박이 맞물리며 시장이 빠르게 재편되고 있기 때문이다. 다가오는 2026년, 암호화폐 산업은 제도권의 검증, 경기침체 리스크, 통화 정책 변화라는 거대한 파도 속에서 진정한 시험대에 오를 전망이다.지난 23일 블록체인 매체 비인크립토는 유명 투자 쇼 '샤크탱크'의 진행자이자 벤처 투자가 케빈 오리어리, 그리스 경제학자 야니스 바루파키스, 로널드 레
유럽연합가 유럽중앙은행의 디지털 유로 설계안을 승인하며, 온라인·오프라인 버전이 동시에 도입될 예정이라고 22일 블록체인 매체 코인텔레그래프가 전했다.크리스틴 라가르드 ECB 총재는 디지털 유로 발행 여부가 EU 의원들에 달렸다고 강조했다. 오프라인 디지털 유로는 현금처럼 작동하며, 사용자의 여러 활동을 연결할 수 없도록 설계됐다. 거래 데이터는 참여자 간에만 공유되며, 인증된 장치에서만 디지털 유로 토큰을 전송할 수 있다.그러나 오프라인 결제의 보안 문제가 해결되지 않았다. 근
글로벌 게임 퍼블리싱 기업 팡스카이가 12월 22일 공시를 통해 제3자배정 방식의 유상증자를 결정했다고 밝혔다. 이번 유상증자를 통해 발행되는 보통주는 총 26만주다.신주 발행가액은 주당 500원이며, 기존 발행주식총수는 1236만9570주다. 이번 증자를 통해 조달된 자금은 채무상환자금으로 사용될 예정이다.채무상환자금은 김재우, 홍용표, 최준석, 최진석, 최인호로부터의 단기차입금 상환에 사용된다. 이들은 각각 5000만원, 3000만원, 2000만원, 2000만원, 1000만원을 차입한
강원지방병무청은 29일 오전 10시부터, 2026년도 병역판정검사 일자 및 장소 본인선택 신청을 받는다. 2026년도 병역판정검사는 오는 2026. 1. 15. ~ 12. 23. 까지 실시하며 병역판정검사 대상은 19세가 되는 2007년생과 병역판정검사를 연기 중인 사람 등이다.강원지역 병역판정검사는 영서지역은 5월 18일부터 6월 30일까지, 영동지역은 10월 19일부터 11월 6일까지 각각 실시한다.병역판정검사 일자 및 장소 본인선택을 희망하는 사람은 검사 희망일 하루 전까지 병무청 누리집(www.mm
28일 저녁 대구 수성구 수성못에서 열리고 있는 제7회 수성빛예술제를 찾은 관람객들이전시된 작품을 감상하고 있다.이번 행사는 내년 1월 4일까지 계속된다.
협회–농업·학계·재단, 창업지원사업 업무협약 체결 한국농수산물도매시장법인협회가 농업·학계·공공기관과 손잡고 농산물 온라인도매시장 기반의 청년 창업 지원에 나선다. 도매시장 공익 기능을 강화하는 동시에, 청년의 농업·유통 분야 진입을 체계적으로 돕겠다는 구상이다.한국농수산물도매시장법인협회는 지난 지난 26일 서울 aT센터에서 한국후계농업경영인중앙회, 한국농촌지도자중앙연합회, 한국식품유통학회, 한국농어촌희망재단과 함께 ‘온라인도매시장 창업지원사업’ 업무협약을 체결했다고 밝혔다.이번 협약은 농산물 온라인도
지난 한 주 비트코인 ETF에서 대규모 자금이 유출됐다.28일 금융 데이터 제공업체 소소밸류를 인용한 코인텔레그래프 보도에 따르면 크리스마스 주간 동안 비트코인 ETF에서 총 7억8200만달러가 유출됐다. 이는 '휴가 포지셔닝' 영향으로 분석된다.지난 금요일 하루에만 2억7600만달러가 빠져나갔다. 블랙록 IBIT에서 1억9300만달러, 피델리티 FBTC에서 7400만달러, 그레이스케일 GBTC에서도 소규모 유출이 발생했다. 이로 인해 미국 상장 비트코인 ETF 총 자산은 1
아재명 대통령이 28일 이혜훈 국민의힘 전 국회의원을 기획예산처 초대 장관 후보자로 지명했다. 기획예산처는 내년 1월 2일 출범한다.이혜훈 내정자는 17대,18대, 20대 총선에서 국민의힘 전신인 한나라당과 새누리당 후보로 서울 서초갑에서 당선됐다. 현재는 국민의힘 서울 중성동을 당협위원장을 맡고 있다.국민의힘은 이재명 정부 기획예산처 장관 지명을 수락한 이혜훈 전 의원을 향해 '배신자' '부역자' '변절자' 등 격하게 성토하며 즉각 제명했다.이규연 청와대 홍보소통수석은 이날 오후 청와대 브리핑을 통해 이
국민의힘은 28일 예정에 없던 최고위원 회의를 열고 이 전 의원을 제명했다. 국민의힘은 이날 이재명 정부의 기획예산...
제주시 민속오일시장 주차장 유료화는 소비자들의 부담을 덜어주는 정책이 아닌 단기적인 문제 해결에 집중한 ‘졸속행정’에 불과하다는 비판이다.28일 제주시에 따르면 제주시 민속오일시장 부설주차장 일부를 2026년 2월부터 유료화 한다.시는 2025년 5월부터 11월까지 제주시 민속오일시장 전체 15개 주차장 1,412면 중 이용객이 가장 많은 5개 주차장 667면을 대상으로 장기방치 차량 전수조사를 실시한 결과, 약 4%에 해당하는 26대의 차량이 1개월 이상 고정 주차된 것으로 확인됐다.이에 제주시는 부설주차장의 본래 기능을 회복하고
주요키워드
인기기사
김태규 전무이사, 딥노이드 주식 보유 현황 공시
의료 AI 기업 딥노이드의 전무이사 김태규가 2025년 12월 22일 공시를 통해 주식 보유 현황을 밝혔다. 김태규 전무이사는 이번 보고 기준일인 2025년 12월 22일 기준으로 딥노이드의 주식 308만4155주를 보유하고 있으며, 이는 10.5%의 지분율에 해당한다.12월 22일 공시에 따르면, 직전 보고일인 2025년 11월 18일에는 특정증권등의 수가 308만4155주로, 지분율은 13.63%였다. 이번 보고일 기준으로 주식 수는 동일하지만, 지분율은 10.5%로 감소했다. 이는
부여군, 전국 최초 ‘기후 적응 농촌형 쉼터’ 완공
김만식 기자 = 충남 부여군이 전국 지방자치단체 중 최초로 농업진흥구역 내에 ‘기후 적응 농촌형 쉼터’ 조성을 완료하고 본격적인 가동에 들어갔
수원 상가 건물서 불…1명 부상
24일 오후 6시45분쯤 수원시 장안구 한 상가에서 불이 났다.이 불로 70대 여성 1명이 연기를 흡입해 병원으로 이송됐다.소방당국은 장비 22대와 인력 64명을 투입해 38분만인 7시23분쯤 불을 완전히 껐다.건물 2층에서 구조된 70대 여성은 상황실과 현장 대원 공조로 위치를 파악
성일축산 이용기 대표 '기부천사' 대열 합류
성일축산영농조합법인 이용기 대표가 ‘기부천사’ 대열에 합류했다. 이용기 대표는 지난 18일 전남 강진군의 ‘산타버스 출정식’ 에 앞서 사회복지공동모금회와 함께 아너소사이어티 가입식을 가졌다. 지난 2024년 5월 1일 서울대학교 농업생명대학 동물생명공학부 학생들을 대상으로 한 강연에서의 약속을 지킨 것이다. 당시 이용기 대표는 “빈
해수청 민원인 공간인데…직원 없이는 발도 못들여
울산지방해양수산청이 민원인 편의를 돕겠다며 수천만원을 들여 청사 별관을 고쳤지만, 정작 민원인은 이용하기 어렵고 직원들의 회의실로만 쓰이는 등 ‘반쪽짜리 운영’이라는 지적이 제기된다. 22일 지역 항만업계에 따르면, 울산해수청은 지난 2022년 국비 약 3600만원을 투입해 청사 정문 앞 건물을 리모델링했다. 당시 해수청은 공사 목적을 ‘방문 민원인 접견실 및 소회의실 활용’이라고 명시했다. 본관 사무실이 포화 상태인 데다, 보안상 출입이 까다로운 점을 고려해 외부인이 편하게 업무를 볼 수 있는 소통 공간을 만들겠다는 취
최신기사
동해시설관리공단, 무릉파크골프장 이용객 47% 증가
무릉파크골프장이 이용객 증가세를 보이며 지역 생활체육 활성화에 기여하고 있다. 동해시시설관리공단에 따르면, 2025년 11월 말 기준 무릉파크골프장 이용객은 총 25,332명으로, 전년 17,226명 대비 8,106명 증가한 것으로 나타났다. 이는 파크골프장에 대한 시민들의 높은 관심과 생활체육 수요 확대를 반영한 결과로 분석된다.한편, 동해시시설관리공단은 잔디 생육 환경 개선과 시설 품질 유지를 위해 2026년 1월부터 3월까지 파크골프장을 휴장하고 잔디휴식제를 운영할 계획이다. 잔디휴식제는 동절기 이용으로 인한 잔디
평창국유림관리소, '고성능 임업기계 가이드 영상' 제작
동부지방산림청 평창국유림관리소는 임업 현장의 작업 효율성과 고성능 임업기계의 사용 확대를 위해 ‘고성능 임업기계 가이드 영상’을 제작했다고 밝혔다.이번 가이드 영상은 고성능 임업기계의 주요 기능, 작업 절차, 안전 수칙 및 현장 활용 방법 등을 중심으로 구성되었으며, 실제 작업 현장을 기반으로 촬영해 임업 종사자들이 쉽게 이해하고 바로 활용할 수 있도록 제작된 것이 특징이다.특히 벌목·집재·운반 등 임업 작업 전 과정에서 활용되는 고성능 임업기계의 운용 요령을 단계별로 설명하고, 작업 중 발생할 수 있는 사고를 예방
포항시, 재난관리·도민안전 평가 ‘동시 석권’…시민 안전 정책 성과 입증
행안부 재난관리평가 우수기관 선정…특별교부세 14억 원 확보 도민안전시책평가 최우수기관…지속 가능한 안전 행정 인정받아 경북 포항시가 재난 대응 역량과 시민 안전 정책의 성...
경산 아파트서 일가족 5명 숨진 채 발견
경산의 한 아파트에서 노부모와 부부, 자녀를 포함한 일가족 5명이 한꺼번에 숨진 채 발견돼 지역 사회에 큰 충격을 주고 있다. 경찰은 외부 침입 흔적이 없는 점 등을 토대로 정확한 사건 경위 파악에 주력하고 있다.28일 경산경찰서에 따르면, 이날 오전 11시 15분께 경산시 옥곡동 소
양양군, 민생회복 소비쿠폰 집행 우수 지자체 선정... 특교세 1억원 확보
양양군은 민생경제 회복을 위한 소비 활성화 정책 추진 성과를 인정받아, 행정안전부 주관 ‘민생회복 소비쿠폰 집행 우수 지자체’로 선정되어 특별교부세 1억 원을 확보했다고 밝혔다.이번 평가는 지난 7월부터 10월까지, 추진된 민생회복 소비쿠폰 사업의 집행률, 지역경제 파급효과, 주민 체감도, 행정 추진 역량 등을 종합적으로 고려해 이루어졌다. 양양군은 신속한 집행과 체계적인 사업 운영을 통해 높은 평가를 받았다.특히 마을 담당 공무원이 직접 현장을 찾아 소비쿠폰 신청·접수를 지원하고, 군민 불편을 최소화하기 위해 안내 및 홍보를 강화