딥시크, 수학적 추론에 특화된 '딥시크 프로버 V2' 출시…복잡한 정리 증명 가능
중국 AI 기업 딥시크가 수학적 추론에 특화된 AI 모델 '딥시크 프로버 V2'를 공개했다.
이 모델은 대규모 언어 모델 '딥시크-V3' 아키텍처를 기반으로 개발된 전문가 혼합 모델로, 정리 증명 지원 언어인 린4를 활용해 복잡한 정리의 형식 증명을 자동 생성할 수 있다.
1일 온라인 매체 기가진은 딥시크의 새로운 AI 모델이 수학적 추론의 혁신을 예고하며, 향후 수학 연구 및 교육 분야에서 큰 변화를 가져올 가능성이 있다고 전했다.
딥시...
이 모델은 대규모 언어 모델 '딥시크-V3' 아키텍처를 기반으로 개발된 전문가 혼합 모델로, 정리 증명 지원 언어인 린4를 활용해 복잡한 정리의 형식 증명을 자동 생성할 수 있다.
1일 온라인 매체 기가진은 딥시크의 새로운 AI 모델이 수학적 추론의 혁신을 예고하며, 향후 수학 연구 및 교육 분야에서 큰 변화를 가져올 가능성이 있다고 전했다.
딥시...
2025년이 저물어가는 가운데, 애플은 지난 1년 동안 성과와 한계를 동시에 드러냈다. 23일 IT매체 나인투파이브맥에 따르면, 아이폰과 운영체제, 콘텐츠 서비스에서는 의미 있는 진전을 이뤘지만, 인공지능과 하드웨어 디자인, 조직 리더십에서는 뚜렷한 과제를 남겼다는 평가다.먼저 긍정적인 측면에서 가장 큰 성과로는 아이폰17이 꼽힌다. 프로모션과 상시표시화면, 4800만 화소 메인·초광각 카메라, A19 칩, 기본 256GB 저장공간을 갖춘 아이폰17은 대다수 사용자에게 가장 추천
필리핀 당국이 코인베이스와 제미니 등 주요 암호화폐 거래소 접속을 차단하며 미허가 가상자산 서비스 제공자에 대한 단속을 강화하고 있다고 코인텔레그래프가 현지 언론을 인용해 24일 보도했다.마닐라 블루틴 보도에 따르면 이번 조치는 필리핀 중앙은행이 무허가 운영으로 지정한 50개 온라인 거래 플랫폼에 대한 접근을 제한하라는 국가통신위원회 명령에 따른 것이다.중앙은행은 명령 대상이 된 플랫폼 전체 목록은 공개하지 않았다. 그러나 이번 조치는 현지 규제
의료 AI 기업 딥노이드의 전무이사 김태규가 2025년 12월 22일 공시를 통해 주식 보유 현황을 밝혔다. 김태규 전무이사는 이번 보고 기준일인 2025년 12월 22일 기준으로 딥노이드의 주식 308만4155주를 보유하고 있으며, 이는 10.5%의 지분율에 해당한다.12월 22일 공시에 따르면, 직전 보고일인 2025년 11월 18일에는 특정증권등의 수가 308만4155주로, 지분율은 13.63%였다. 이번 보고일 기준으로 주식 수는 동일하지만, 지분율은 10.5%로 감소했다. 이는
2025년 암호화폐 시장은 실험 단계를 넘어 성숙기에 접어들었다는 평가를 받는다. 제도권 자본의 유입, 규제 가시화, 거시경제 압박이 맞물리며 시장이 빠르게 재편되고 있기 때문이다. 다가오는 2026년, 암호화폐 산업은 제도권의 검증, 경기침체 리스크, 통화 정책 변화라는 거대한 파도 속에서 진정한 시험대에 오를 전망이다.지난 23일 블록체인 매체 비인크립토는 유명 투자 쇼 '샤크탱크'의 진행자이자 벤처 투자가 케빈 오리어리, 그리스 경제학자 야니스 바루파키스, 로널드 레
불소화합물 제조 기업 후성이 12월 24일 자회사 후성글로벌에 560억원을 대여하기로 결정했다. 대여금은 운영자금 지원을 목적으로 하며, 이율은 4.6%로 설정됐다. 대여 기간은 2025년 12월 24일부터 2026년 12월 24일까지다.이번 결정에 따라 후성의 자기자본 대비 대여금 비율은 16.83%에 이른다. 금전대여 총잔액은 1360억원으로 집계됐다. 이사회 결의는 12월 24일에 이루어졌으며, 사외이사 1명이 참석했고 감사도 참석했다.후성글로벌의 재무상황을 살펴보면, 당해 연도 자
종합건설사 까뮤이앤씨는 12월 22일 공시를 통해 한국전력공사와 경기 용인·화성 지역의 전력구공사 계약을 체결했다고 밝혔다. 이 계약은 용인·화성지역 345kV 신기흥S/S 연결 전력구공사로, 계약금액은 446억1490만6910원이다. 계약 기간은 2026년 6월 1일부터 2028년 4월 20일까지다.공동사업으로 코오롱글로벌과 함께 수주했으며, 까뮤이앤씨의 지분율은 49%다. 계약금액 및 계약기간은 공사 진행 과정에서 변경될 수 있다.까뮤이앤씨의 주가는 12월 22일 오후 2시 10분 한
씨씨알컨텐츠트리는 자사의 슈팅 게임 포트리스M의 e스포츠 대회 ‘제2회 탱크보이배 포트리스M 챔피언십’을 개최한다고 26일 밝혔다.해태아이스가 후원하는 이번 대회 결선은 오는 28일 온라인으로 진행된다. ‘리얼대난투’와 ‘클래식’ 두 가지 모드에서 각각 5판 3선승제로 결승전을 치러 우승팀을 가린다.우승팀에는 우승 상금과 함께 부상으로 한정 피규어가 제공된다. 또한 참가자가 아니더라도 대회를 함께 즐길 수 있도록 공식 온라인 채널을 통해 생중계하며, 경기 진행 중 퀴즈 이벤트와 시청자 참여 이벤트도 마련할 예정이다.‘제2회 탱크보이
에이수스는 유럽 기반의 IoT 플랫폼 기업인 CTHING.CO와 전략적 파트너십을 체결하고, 확장 가능한 엣지 AI 및 IoT 솔루션 공급 가속화에 나섰다.이번 협력은 에이수스 IoT가 보유한 하드웨어 기술력과 CTHINGS.CO의 엣지 컴퓨팅 소프트웨어 전문성을 결합해 기업들이 IoT 기기를 보다 효율적으로 관리하고 실질적인 인사이트를 도출할 수 있도록 지원하는 것을 목표다.양사의 협력을 통해 에이수스 IoT의 산업용 게이트웨이는 CTHINGS.CO의 오케스트라 플랫폼과 통합돼 과정을 간소화하고 구성을 가속화하며 중앙
디지털터치는 KOEI TECMO GAMES의 다크 전국 액션 RPG ‘인왕’ 시리즈의 최신작 ‘인왕 3’와 관련해 ‘The Game Awards 2025’에서 신규 트레일러가 공개됐고, 체험판을 2026년 1월 29일에 배포할 것을 밝혔다. ‘인왕 3’ TGA 2025 트레일러 ■ 2026년 1월 29일, 체험판 배포 결정2026년 1월 29일부터 PlayStation 5 및 Steam에서 체험판 배포가 결정됐다. 체험판은 최대 3명이서
경상남도교육청 고성도서관에서 운영한 성인문해교육 중학학력인정과정 졸업식이 12월 19일 개최되었다.이번 졸업식은 2023년부터 2025년까지 3년간 총 1,350시간의 중학교육과정을 성실히 이수한 졸업생 18명을 대상으로 진행되었으며, 도교육청 미래국장, 고성교육지원청교육장, 고성군수, 도의원, 학생 가족, 공공도서관 직원 및 지역 학교관계자 등 150여 명이 참석해 배움의 결실을 함께 축하했다.졸업식은 학사보고를 시작으로 졸업장 수여, 축사, 담임 송사와 학생 답사 순으로 진행되었다. 배움의 기회를 놓쳤던 성인 학습
주요키워드
인기기사
정재봉 의원, 자원봉사자 보호ㆍ센터 운영체계 강화 위한 조례 개정 이끌어
강서구의회 정재봉 의원이 발의한 “서울특별시 강서구 자원봉사활동 지원 조례 일부개정조례안”이 12월 22일, 제316회 제2차 정례회 제2차 본회의를 통과했다.이번 조례 개정은 자원봉사자에 대한 보호체계를 강화하고, 자원봉사센터의 조직·운영 기준을 보다 명확히 하여 강서구 자원봉사활동이 안정적이고 체계적으로 추진될 수 있도록 하려는 것이다.특히 이번 개정으로 민간단체에 소속된 자원봉사자에 대해서도 보험 가입과 보험료 지원이 가능하도록 그 절차와 기준이 조례에 명시적으로 규정
경상북도개발공사, 경북도청신도시(2단계) 도시첨단산업단지 산업시설용지 23필지 공급
경상북도개발공사는 경북도청신도시 도시첨단산업단지 내 산업시설용지 23필지를 신규 공급한다고 밝혔다. 이번 공급은 신도시 자족기능 강화와 지역 산업기반 확충을 위한 것으로, 첨단제조업과 지식문화산업 기업을 대상으로 한다. ㅇ 입주 가능 업종은 - 첨단제조업 : 전기·전자, 기계·장비·자동차, 의료·의약품 등 -
팡스카이, 제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%로 감소했다. 이는
진안군, '토지정보행정' 전국 최고 수준…'최우수기관' 선정
전북특별자치도 진안군이 도내 14개 시·군을 대상으로 실시한 '2025년도 토지정보업무 종합평가'에서 군부 최우수기관으로 선정되며 토지행정 분야의 독보적인 역량을 입증했다. ...
최신기사
KH한국건강관리협회 경남지부, 유공시민 표창 수상
KH한국건강관리협회 경남지부는 지난 23일 창원시청 시민홀에서 열린 표창 수여식에서 지역사회 발전과 시정 발전에 기여한 공로를 인정받아 유공시민
마산항·새만금신항, 신규 크루즈 기항지로 선정
해양수산부는 마산항과 새만금신항을 신규 크루즈 기항지로 선정했다고 28일 밝혔다.두 기항지는 뛰어난 관광 자원과 안정적인 접안 여건, 배후 관광 연계 가능성 등에
동구가족센터, 외국인 주민을 위한 겨울의류 무료 나눔 행사
울산동구가족센터는 겨울철 한파에 취약한 외국인 주민들이 따뜻하고 건강하게 겨울을 보낼 수 있도록 ‘외국인 주민을 위한 겨울 의류 무료 나눔 행사’를 28일 센터에서 개최했다.행사는 한국의 추운 겨울 환경에 적응하는 데 어려움을 겪는 외국인 주민들에게 실질적인 도움을 제공하기 위해 마련됐다.전달된 의류는 후원처에서 지원한 새 제품과 지역 주민들이 기부한 겨울 의류로 모두 세탁과 관리를 거쳐 깨끗한 상태로 준비됐다.행사 당일에는 패딩과 코트, 아웃도어 재킷 등 겨울철 필수 의류가 무료로 제공됐다.울산동구가족센터 관계자는 “이번 겨울 의
[정정당담] 2026년 한반도 ‘이벤트’ 기적 대신 ‘평화’ 습관부터
작고한 박완서 작가는 수필 에서 몸이 보내는 경고를 뒤늦게 깨달은 회한을 적었다. 저녁 식사 후 덜컥 찾아온 허리 통증은 세수하기, 양말 신기 같은 사소한 일상을 위대한 기적으로 바꿔놓았다. 그는 삶의 기적이란 하늘을 날거나 바다를 걷는 것이 아니라, 땅 위를 반듯하게 걷는 것이라고
태백시, 2025년 미래인재 지원금 및 인증패 수여식
태백시는 지난 26일 시청 소회의실에서 2025년 태백시 미래인재 신규 선발자와 그 가족 등이 참석한 가운데 미래인재 지원금 및 인증패 수여식을 개최했다. 20...