중국 AI 기업 딥시크가 수학적 추론에 특화된 AI 모델 '딥시크 프로버 V2'를 공개했다. 이 모델은 대규모 언어 모델 '딥시크-V3' 아키텍처를 기반으로 개발된 전문가 혼합 모델로, 정리 증명 지원 언어인 린4를 활용해 복잡한 정리의 형식 증명을 자동 생성할 수 있다. 1일 온라인 매체 기가진은 딥시크의 새로운 AI 모델이 수학적 추론의 혁신을 예고하며, 향후 수학 연구 및 교육 분야에서 큰 변화를 가져올 가능성이 있다고 전했다.딥시
해양수산부 국립수산과학원은 지난달 30일 국립부경대학교와 해양수산 분야 미래 인재 양성과 지역 균형 발전을 위한 업무협약을 체결했다.양 기관은 보유한 전문성과 인프라를 공유해 창의적 융합형 인재를 육성하고, 해양수산 과학기술 발전에 협력하기로 했다.협약 주요 내용은 △자원 및 인프라 상호 교류 △지역 협력사업 지원 △융합형 전문인력 양성 △지역특화 산업 경쟁력 제고 등이다.최용석 원장은 “이번 협약은 지역 인재 양성의 실질적 기반을 마련한 것으로, 부산의 균형 발전에도
현대건설이 1일 글로벌 지속가능성 평가 기관인 CDP 한국위원회가 주관한 'CDP코리아 어워드'에서 국내 건설사 중 유일하게 7년 연속 '명예의 전당'에 등재됐다고 밝혔다.현대건설은 또 시상등급체계 중 최상위 등급에 해당하는 '플래티넘 클럽'에도 4년 연속 이름을 올렸다.이런 성과는 기후 변화 대응 역량ᅟᅥᆯ명과 탄소 중립 경영 성과를 인정받은 것이라고 현대건설은 설명했다.현대건설은 국내 건설사 최초로 '2045 탄소중립'을
가상자산거래소 업비트를 운영하는 두나무는 한국파파존스와 함께 ‘비트코인 피자데이’를 기념한 대규모 프로모션을 진행한다고 밝혔다.업비트는 매년 5월 22일 ‘비트코인 피자데이’를 맞아 회원 및 취약계층 어린이들과 피자를 나눴다. 올해는 업비트 피자데이를 더 많은 사람들과 함께하기 위해 ‘Share The Happiness, Happy Upbit Pizza Day!’라는 슬로건 아래 업비트 피자데이의 브랜딩을 새롭게 강화했다. 특히 15년 전 1만 비트코인으로 교환된 피자인 파파존스와의 제휴를
부산 남구 감만1구역 재개발조합은 지난 4월 26일 개최된 조합장 선임을 위한 정기총회에서 비대위 측이 최소 500장 이상의 투표용지를 위조해 제출한 정황을 포착했다고 보도자료를 통해 30일 밝혔다.경찰의 즉각적인 수사가 필요해 보인다.감만1구역조합 집행부에 따르면 조합감만1구역조합의 경우 역대 20여년 동안의 기존 총회에서 통상적으로 전체 조합원 2421명 중 1200~1400명의 조합원들이 투표에 참여했다.그러나 이번 총회에서는 실제 투표자가 2056명에 달해 현실적으
경기도가 김동연 경기도지사의 특별 지시에 따라 2023년과 2024년에 이어 올해도 5월 전 직원 특별휴가를 실시한다고 1일 밝혔다.이번 특별휴가는 '경기도 공무원 복무조례'에 따른 조치로, 해당 조례는 공무원이 재해나 재난 발생 시 야간 또는 휴무일에 근무한 경우, 또는 도정 업무에서 탁월한 성과와 공로를 인정받은 경우 도지사가 최대 3일의 특별휴가를 부여할 수 있도록 규정하고 있다.경기도는 민원 업무나 현안 추진 등 공직사회의 특성을 고려하여, 1일 휴가 사용이 어려운 직원들에 대해서는 5월 중 하루를
SK텔레콤이 대규모 해킹을 인지한 후에도 피해 범위를 축소해 보고한 정황이 드러나 파장이 일고 있다. 유심 정보 유출을 확인하고도 한국인터넷진흥원에는 단순한 '전화번호 유출 추정' 수준으로만 보고해 고의적 은폐 의혹이 제기됐다.국회 과학기술정보방송통신위원회 위원장 최민희 의원은 1일, SK텔레콤이 지난 4월 19일 밤 11시 40분경 홈가입자서버에서 유심 관련 정보가 유출된 사실을 인지하고도 이를 축소해 보고했다고 밝혔다. 의원실이 확보한 KISA와 S
농림축산검역본부는 지난 4월 29일 검역본부에서 ‘2025년 상반기 가금질병 분야별 협의체’를 열고, 효율적 가금질병 대응을 모색했다. 이날 협의체에는 정부, 생산자단체, 대학, 가금수의사, 산업체 등 내·외부 전문가 19명이 참석했다. 협의체에서는 전문가 지식과 현장 경험을 바탕으로 양계농장 현장에서 최근 문제가
스마일게이트가 서비스하고 슈퍼크리에이티브에서 개발한 글로벌 히트 모바일 RPG ‘에픽세븐’이 신규 월광 영웅 ‘조장 아룬카’를 업데이트 했다고 25일 밝혔다.조장 아룬카는 에픽세븐 세계관 속 월광 영웅들의 이야기를 다루는 ‘월광 극장’ 중 하나인 편의 주요 등장인물이다. 폭주 집단인 ‘적야’의 리더로 의리 넘치는 성격과 뛰어난 리더십으로 많은 이들이 따르고 있다. 하지만 자신이 아끼는 이들을 공격하는 자에게는 누구보다 냉혹하게 변하기도 한다.5성 등급 광속성의 기사 영웅인 조장 아룬카는 높은 방어력
제2장 내국법인의 각 사업연도의 소득에 대한 법인세제4절 결정·경정 및 징수● 집행기준 72-110-3 결손금 소급공제에 따른 환급세액의 추징 ① 다음의 경우에는 환급세액에 이자상당액을 가산한 금액을 해당 결손금이 발생한 사업연도의 법인세로서 징수한다.1. 결손금 소급공제에 의하여 법인세를 환급한 후 결손금이 발생한 사업연도에 대한 법인세의 과세표준과 세액을 경정함으로써 결손금이 감소된 경우2. 결손금이 발생한 사업연도의 직전 사업연도에 대한 법인세의 과세표준과 세액을 경정함으로써 환급세액이 감소
사회적기업 어니스트케이푸드는 4월 29일, 연수종합사회복지관과 함께 인천 연수구 내 결식위기 아동·청소년을 위한 돌봄 사회서비스 협약식을 체결하였다.이번 협약은 지역 내 취약계층 아동을 위한 정기 반찬 제공 서비스와 요리체험 키트, 영양 정보 서비스 등 다각적인 사회서비스를 제공하기 위해 마련됐다.사회적기업과 복지기관 간의 협력을 통해 지역 기반 돌봄 체계를 구축하는 사례다.어니스트케이푸드는 2024년 돌봄이 필요한 1인가구 중장년층을 대상으로 반찬 지원 서비스를 진행하며 실질적인 일상 돌봄을 실천
격동의 21대 대통령선거가 33일 앞으로 다가선 가운데 민주당 이재명 후보의 강세가 여전한 것으로 나타났다.이른바 출마가 유력하게 거론되는 한덕수 대통령 권한대행 국무총리와 국민의힘 후보가 단일화하고 다자 대결이 붙을 경우 딘일후보로 누가 나서더라도 이재명 후보의 강세라 누그러지지 않는 것으로 조사됐다.이를테면 민주당 이재명 후보, 범보수 진영 단일후보, 새미래민주당 이낙연 후보, 개혁신당 이준석 후보의 4자 가상대결 결과 범보수 단일후보가 누가 되든 이재명 후보가 크게 앞선다는 여론조사 결과가 나왔다.그
공직선거법 위반 혐의로 기소된 더불어민주당 이재명 대선후보에게 무죄를 선고한 2심 판결이 대법원에서 유죄 취지로 파기 환송됐다. 이에 따라 이 후보는 서울고법에서 다시 재판받아야 한다. 서울고법은 대법원의 판단 취지에 기속되므로 유죄를 선고해야 한다. 2심에서는 추가 양형심리를 거쳐 형량을 새로 결정할 것으로 보인다. 대법원 전원합의체는 1일 이 후보에게 무죄를 선고한 원심판결을 파기하고 사건을 서울고법으로 돌려보냈다. 재판장은 조희대 대법원장이다. 대법원은 "'골프 발언'과 백현동 관련 발언은