중국 AI 기업 딥시크가 수학적 추론에 특화된 AI 모델 '딥시크 프로버 V2'를 공개했다. 이 모델은 대규모 언어 모델 '딥시크-V3' 아키텍처를 기반으로 개발된 전문가 혼합 모델로, 정리 증명 지원 언어인 린4를 활용해 복잡한 정리의 형식 증명을 자동 생성할 수 있다. 1일 온라인 매체 기가진은 딥시크의 새로운 AI 모델이 수학적 추론의 혁신을 예고하며, 향후 수학 연구 및 교육 분야에서 큰 변화를 가져올 가능성이 있다고 전했다.딥시
주요키워드
인기기사
에픽세븐, 신규 월광 영웅 ‘조장 아룬카’ 업데이트
스마일게이트가 서비스하고 슈퍼크리에이티브에서 개발한 글로벌 히트 모바일 RPG ‘에픽세븐’이 신규 월광 영웅 ‘조장 아룬카’를 업데이트 했다고 25일 밝혔다.조장 아룬카는 에픽세븐 세계관 속 월광 영웅들의 이야기를 다루는 ‘월광 극장’ 중 하나인 편의 주요 등장인물이다. 폭주 집단인 ‘적야’의 리더로 의리 넘치는 성격과 뛰어난 리더십으로 많은 이들이 따르고 있다. 하지만 자신이 아끼는 이들을 공격하는 자에게는 누구보다 냉혹하게 변하기도 한다.5성 등급 광속성의 기사 영웅인 조장 아룬카는 높은 방어력
AI 교과서 플랫폼 접속률 10%도 못미쳐 .. 활용률 뚝↓
윤석열 정부의 대표적 교육정책인 AI 디지털교과서가 교육현장에서 외면받고 있다.백승아 더불어민주당의원이 교육부로부터 받은 AIDT 플랫폼 접속률이 지난 3월 한달
용인문화재단, 실버 세대 추억 소환하는 ‘7080 낭만극장쇼’ 개최
용인문화재단이 다음 달부터 11월까지 실버 세대를 위한 공연 ‘7080 낭만극장쇼’를 용인문화예술원 마루홀에서 개최한다.지난해부터 시작된 ‘7080 낭만극장쇼’는 시민들의 큰 성원에 힘입어 기존 3회 공연을 4회로 확대해 각각 색다른 테마로 각 공연마다 특색
[신숙희칼럼] 윤희숙, 여의도연구원장직을 내려놓으시길 권합니다
윤희숙 의원님은 제가 오래도록 기대하고 응원해 온 여성 정치인입니다. 경제 전문성과 개혁 의지, 그리고 논리 정연한 발언은 보수 진영의 미래라 믿어 왔습니다. 하지만 지난 4월 24일, KBS 정강정책연설에서 의원님께서 발표하신 내용은 충격과 실망을 넘어 분노로 이어졌습니다. 이에 몇 가지 질문을 드리고자 합니다.
7월까지 불확실한데…“관세 대책 有” 2.4% 뿐
우리 정부가 지난 24일 미국과 '2+2 통상 협의'를 통해 미국의 상호관세 유예기간이 끝나는 올해 7월8일까지 '관세 폐지'를 목표로 협상을 본격화하는 가운데 해당 관세 정책에 영향을 받는 수출 제조기업 대부분은 적절한 대응책을 만들지 못하고 있는 걸로 조사됐다.
최신기사
대구시, 진드기 매개 감염병 예방 총력…SFTS 주의 당부
야외활동시 진드기를 주의하세요. 대구시는 가정의 달 5월을 맞아, 기온 상승 및 야외활동 증가로 참진드기 매개 감염병 발생 위험이 높아짐에 따라 야외활동 시 진드기 물림 주의를 당부하며 예방 활동에 나섰다. 중증열성혈소판감소증후군은 주로 4~11월까지 SFTS 바이러스를 보
계명문화대, ‘AI 크리에이티브센터’ 개소…산학협력·인재 양성 본격화
계명문화대학교가 지역 기반의 인공지능 인재 양성과 산학협력 강화를 위해 ‘인공지능 크리에이티브센터’를 개소했다. 1일 계명문화대에 따르면, 지난달 28일 센터 개소식과 함께 계명문화대와 대구테크노파크가 AI 가상융합센터 간의 협약을 진행했다. 계명문화대는 센터 개소와 협력체계
해상 밀항·밀입국 갈수록 교묘해져…해경, 4개월간 집중단속 돌입
밀항·밀입국 등 해상 국경범죄가 갈수록 진화하자 해경당국이 경계 수준을 높이고 있다. 해양경찰청은 최근 해상 국경질서를 훼손하는 밀항·밀입국 범죄가 연이어 발생하자 1일부터 오는 8월 31일까지 4개월간 집중단속을 실시한다. 최근 5년간 밀항·밀입국 등 해상 국경범죄가 총 49건이 발
외교관이 찾은 농촌학교…의성 금성중고서 ‘살아 있는 외교’ 특강 열려
경북 의성의 한 농촌학교에 외교관이 떳다. 외교부 소속 강석희 경상북도 국제관계 대사가 1일 금성중고등학교를 찾아 전교생을 대상으로 외교의 실제와 가능성에 대해 진로특강을 진행했다. 이른바 ‘외교부가 찾아가는 교실’이다. 학생들은 평소 쉽게 접할 수 없던 외교관의 생생한