feature-top

AI, 수학적 추론 한계 넘다…구글 딥마인드 '알파프루프' 성과

컴퓨터는 숫자 계산에는 뛰어나지만, 수학적 논리와 추론에서는 인간 수학자를 대체하지 못했다.

그러나 구글 딥마인드가 개발한 인공지능 '알파프루프'가 이 한계를 넘고 있다고 19일 IT매체 아스테크니카가 전헀다.

딥마인드는 알파프루프를 기존 AI와 차별화하기 위해, 수학적 논리 구조를 학습시키는 새로운 접근 방식을 도입했다.

기존 AI는 대량의 텍스트 데이터를 기반으로 확률적인 답변을 생성하지만, 알파프루프는 수학적 정밀성이 요구되는 환경에서 작동...
비트코인 코어와 노츠 간 논쟁이 수개월째 이어지고 있지만, 기관 투자자들은 큰 관심을 두지 않는 것으로 나타났다고 코인텔레그래프가 17일 보도했다.갤럭시 디지털 알렉스 쏜 리서치 총괄은 25개 기관 투자자를 대상으로 설문한 결과, 46%가 논쟁을 인지하지 못했고, 36%는 무관심하거나 중립적 입장을 보였다고 밝혔다. 나머지 18%는 비트코인 코어를 지지했다.이번 논쟁은 비트코인 코어 v30 업데이트에서 비금융 거래를 제한해야 한다는 주장과 맞물려 있다. 노츠 지지자들은 스팸을 차단해야 한다고 주
글로벌 개발 플랫폼 깃허브가 2025년 연례 보고서 '옥토버스 2025'를 발표하며, 플랫폼 내 개발자 증가와 프로그래밍 언어 트렌드를 공개했다. 17일 IT매체 아이티미디어에 따르면, 2025년 8월 기준 깃허브 프로젝트 수는 6억3000만개로 집계됐으며, 지난 1년간 1억8000만명 이상의 개발자가 새롭게 유입됐다. 총 기여자 수는 11억2000만명을 돌파하며, 깃허브의 개발자 생태계가 더욱 확장되고 있음을 보여줬다.국가별 개발자 수 순위에서는 미국
[디지털투데이 황치규 기자암호화폐 시장에서 거래소 상장이 더 이상 가격 상승으로 이어지지 않는 흐름이 이어지고 있다. 14일 비인크립토에 따르면 과거에는 대형 거래소 상장만으로도 가격이 급등했지만, 최근에는 투자심리 악화로 인해 상승세가 지속되지 않는 모습이다.OKX가 새로 상장한 세이와 더블제로 토큰은 기대와 달리 가격이 하락했다. SEI는 상장 후 8% 이상 하락해 0.16달러에 거래되고 있으며, 2Z 역시 5% 가까이 하락했다.코인베이스가 상장한 플라즈마와 톤코인도 일시적 상승 후
스카라무치 일가가 도널드 트럼프 미국 대통령 아들들과 관련돼 있는 비트코인 채굴기업 '아메리칸 비트코인'에 1억달러 이상을 투자했다고 코인텔래그래프가 16일 보도했다.이 투자는 AJ 스카라무치가 설립한 투자회사 솔라리 캐피털을 통해 이뤄졌다. 솔라리 캐피털은 7월 아메리칸 비트코인이 진행한 2억2000만달러 규모 투자 라운드를 주도한 것으로 알려졌다.AJ 스카라무치는 솔라리 캐피탈이 1억달러 이상을 투자했다고 밝혔지만, 정확한 금액은 공개하지 않았다. 그의 아버지 앤서니 스카라무치도 개인적으로
한국거래소는 정은보 한국거래소 이사장이 코스피 5000시대 도약을 위한 글로벌 로드쇼 개최를 위해 출국한다고 17일 밝혔다.정 이사장은 최근 코스피지수가 사상 최고치를 경신하고 외국인 투자자의 관심이 높아진 가운데, 아태지역 금융허브인 홍콩과 싱가포르에 소재한 기관 투자자들을 대상으로 ‘Korea Exchange Global Roadshow : KOSPI 5000 and Beyond’ 행사를 개최한다.홍콩에서는 18일, 싱가포르에서는 20일 열리며 JP모간과 모간스탠리와 공동 개최된다. 이번 행사에는 글
삼성SDS가 S-OIL과 IT 통합 운영 계약을 체결했다고 17일 밝혔다.이번 계약으로 삼성SDS는 2026년 3월부터 2029년까지 3년간 S-OIL 데이터센터를 포함한 IT 인프라와 애플리케이션 전반을 통합 운영·관리하게 된다.S-OIL은 기존에 인프라와 애플리케이션을 분리 운영해 왔으나, 기술 환경 변화에 대응하고 서비스 경쟁력을 강화하기 위해 통합 ITO 체계로 전환을 추진했다. 이번 계약을 통해 S-OIL은 운영 효율성·안정성 제고와 함께 강화된 보안 인프라 기반 디지털 생태계 구축을 본
김재욱 기자 = 칠곡군은 지난 19일 영천시 실내체육관에서 열린 '2025년 경상북도 자원봉사 우수 시군 평가...
농림축산식품부와 한국농수산식품유통공사는 지난 8일부터 9일까지 대만 가오슝 SKM 파크 쇼핑몰에서 한국의 다양한 김치를 소개하며 매력을 뽐냈다.이번 행사는 김치 종주국인 한국의 지역별 특색 있는 김치를 대만 2선 도시까지 소개하고, 김장문화의 전통적 가치와 재미를 직접 체험할 수 있는 기회를 제공하기 위해 마련됐다.9만 여명의 현지 소비자와 가족 단위 방문객이 참여한 이번 행사에서는 특히 김장 체험 프로그램이 인기를 끌었다. 참가자들은 한국에서 공수한 식재료와 전통 방
사진제공 : 서울시 블로그  © 뉴스다임서울시민 4명 중 1명, 총 255만 명이 이용 중인 스마트 건강관리앱 ‘손목닥터9988’ 이용자들의 건강 상태를 분석
할아버지와 할머니, 아이들이 꿈꾸는 홍천철도를 향한 간절한 소망이 홍천을 넘어 대한민국 정치중심지 국회로 전해졌다. 홍천군은 18일, 용문~홍천 광역철도의 소중한 군민염원을 알리기 위해 제작한 책자를 국회의원실에 배부하며 홍보활동을 전개했다.이 책자에는 홍천노인복지관의 지역 어르신과 관내 유치원생들이 용문~홍천 광역철도 유치를 기원하며 손수 그린 120여 점의 그림과 지역사회 각계각층에서 전달한 성명서와 건의서, 홍천군민의 뜨거웠던 주요 유치활동 내역이 담겨있어 홍천군민의 간절한 염원을 그 어떤 홍보물보다 강하게 나타내고 있다.이날
보쉬 전동공구 사업부가 효율성과 내구성을 한층 강화한 고성능 전문가용 액세서리 5종을 출시했다.신제품 5종은 ‘EXPERT’와 ‘PRO’ 라인 제품으로 ‘EXPERT 카바이드 5인치 X-Lock 연마헤드’, ‘EXPERT O780 포일 샌딩 디스크’, ‘EXPERT Tough Metal 직소날’, ‘PRO 임팩트 소켓 세트’, ‘PRO Metal TCT 브로치 커터’ 등이다. EXPERT 라인과 PRO 라인은 일반 액세서리 대비 각각 2배와 1.5배의 높은 효율성과 성능을 발휘한다.‘E
인기기사
Generic placeholder image
논산시 관내 중학생 대상 현장 교육
충남 논산시청소년들이 서로를 존중하고 배려하는 인권 감수성을 키우기 위한 교육이 학교 현장을 찾았다. 논산시는‘충청남도 인권 아카데미’의 일환으로 기민중학교 강당에서 재학생 254명을 대상으로 ‘찾아가는 인권 교육’을 실시했다. 이번 교육은 청소년들이 생활 속에서 인권을 존중하고 학교폭력과 차별에 대한 경각심을 높이기 위해 마련됐다. 전문 강사의 교육을 통해 인권침해의 유형과 예방 방법, 인권 존중의 중요성 등을 다루는 이론 수업과 실습형 활동이 진행됐다. 학생들은 역할극을 통해 상황별 대처법을 직접 체험하고, 학교폭
Generic placeholder image
수원시도서관, AI 도서관서비스 플랫폼 구축 첫발
경기 수원시도서관사업소가 공공도서관 표준자료관리시스템을 13일부터 공공부문 민간 클라우드인 SaaS로 전환하면서 AI 도서관서비스 플랫폼을 구축하기 위한 첫발을 내디뎠다.전국 공공도서관 최초로 클라이언트-서버 기반의 운영 환경을 클라우드 서비스로 전환했다. 수원시 공공도서관 20곳, 공공도서관 내 도서관 4곳, 사립도서관 1곳 등 25곳에 도입했다.SaaS는 클라우드 컴퓨팅 서비스의 핵심 모델 중 하나로.
Generic placeholder image
제55주기 전태일 추도식, "오늘의 전태일들과 함께 11월 13일 국가기념일로"
13일 오전 11시 경기 남양주시 마석 모란공원 전태일 묘역 앞에서 제55주기 전태일 추도식이 엄숙하게 거행됐다. 전태일재단이 주최한 이날 추도식에는 양대 노총
Generic placeholder image
KB증권, 방송인 줄리안 퀸타르트와 ‘기후 프레스크’ 워크숍
KB증권은 지난 15일 방송인 ‘줄리안 퀸타르트와’ 함께 임직원과 가족 등 60여 명이 참여한 ‘기후 프레스크’ 워크숍을 개최했다고 18일 밝혔다.‘기후 프레스크’는 프랑스에서 시작된 글로벌 기후 교육 프로그램으로, IPCC 보고서를 기반으로 기후 변화의 원인과 영향을 시각적으로 이해하여 그에 따른 실천 방안을 모색하는 참여형 워크숍이다. 참가자들은 카드 게임 형태의 활동을 통해 온실가스
Generic placeholder image
JDC, 제주 주요 공공기관, 최초 합동 사이버 위기대응 훈련 실시
제주국제자유도시개발센터는 제주지역 주요 공공기관들과 함께 제주지역 최초로 합동 사이버 위기대응 훈련을 17일부터 19일까지 실시하고 있다고 밝혔다.이번 훈련은 최근 공공기관과 지방자치단체를 대상으로 정보 유출 및 해킹 위협이 전국적으로 증가함에 따라, 유사한 위기상황 발생 시 도내 기관 간 즉각적 대응 체계와 협력 기반의 위기대응 체계를 강화하기 위해 마련됐다.JDC를 비롯한 6개 훈련참가 기관은
최신기사
Generic placeholder image
이선주씨 ‘목련’ 반구대암각화 서예대전 대상
3시간전
우리글써주기운동본부가 주최한 제13회 반구대암각화 서예대전에서 문인화 부문에 출품한 이선주씨의 ‘목련’이 대상을 수상했다. 반구대암각화 서예대전은 울산 울주군 반구천의 암각화를 통해 인류가 남긴 글그림과 서예문화의 뿌리를 보고, 이를 울산의 지역성과 연계시켜 전국은 물론 세계에 그 가치를 알리고자 마련된 전국 단위 공모전이다. 올해 반구대암각화 서예대전에는 총 346점이 출품됐다. 반구대암각화 서예대전 심사위원회는 지난 8일 울산문화예술회관 2층 회의실에서 심사를 거쳐 대상 1점, 최우수상 1점, 우수상 4점, 실버상
Generic placeholder image
겨울나기 사랑의 김장 나눔 행사 …1,000가구에 온기 전해
2시간전
대구 중구는 지역 주민의 화합과 이웃 사랑을 실천하고 나눔 문화를 확산하기 위해 지난 19일 남산종합사회복지관 주관으로 복지관 앞 까치아파트 주차장에서 ‘2025 사랑의 김장 나눔 행사’를 개최했다.이번 행사는 본격적인 겨울철을 앞두고 지역의 독거노인, 경로당, 저소득 가정 등 1,000가구에 전달할 김장 김치를 담그기 위해 총 25개 봉사단체, 250여 명이 참여해 따뜻한 마음을 더했다.참여단체는 남산3동, 남산4동, 동인동 지역사회보장협의체, 남산3·4동 통우회, 남산4동자유총연맹, 서문시장봉사단, 중구자원봉사대
Generic placeholder image
향긋한 커피 향과 달콤한 빵의 향연! 「제7회 대구 커피&베이커리 축제」 개최
3시간전
대구광역시는 11월 21부터 11월 22까지 양일간 수성못 상화동산에서 ‘제7회 대구 커피&베이커리 축제’를 개최한다.대구는 1937년 대구 최초의 다방 ‘아루스’에서 시작된 커피문화의 중요한 역사를 지닌 도시다. ‘아루스’는 당시 시민들에게 커피문화를 소개하며 사회적 중심지 역할을 했고, 한국 근대미술의 천재 화가 이인성이 자주 방문했던 장소로 유명하다.이후 1946년에는 ‘녹향’이 한국 최초의 음악 다방으로서 커피와 음악을 결합한 새로운 문화를 선보였으며, 이를 계기로 대구는 커피명가, 다빈치커피, 핸즈커피 등 다수의 커피 전문
Generic placeholder image
경남도-경남테크노파크, ‘생활 속 수소모빌리티’ 시대 연다… 규제자유특구 1차 성과 공유
3시간전
경상남도와 경남테크노파크는 20일 김해 롯데호텔엔리조트에서 ‘9차 경남 수소모빌리티 규제자유특구 1차년도 성과보고 및 수소산업 동향 세미나’를 개최했다.이번 행사는 지난해 6월 지정된 ‘경남 생활 밀착형 수소모빌리티 특구’의 지난 1년간 추진 현황을 점검하고, 향후 실증 계획을 공유하기 위해 마련됐다.경남은 2028년까지 수소법, 전기생활용품안전법 등 관련 법령의 규제 특례를 적용받아 ▲수소연료전지카고바이크 제작 ▲수소모빌리티 충전소 구축 ▲주행 및 충전 실증 등을
Generic placeholder image
반도유보라 어린이집, 원아들의 정성 담긴 성품으로 따뜻한 이웃사랑 실천
3시간전
부산 북구 구포1동 행정복지센터는 11월 20일 반도유보라어린이집에서 원아들과 학부모들이 직접 담근 깍두기와 라면 37세트를 어려운 이웃에게 전달했다고 밝혔다.이번 나눔은 어린이집 원아들이 자신들의 손으로 정성껏 만든 음식을 이웃과 함께 나누는 뜻깊은 행사로, 아이들이 나눔의 소중함을 자연스럽게 배우는 계기가 되었다.최태숙 원장은 “아이들이 직접 만든 깍두기를 어려운 이웃에게 전하며 나눔의 기쁨을 느끼고, 서로를 배려하는 마음을 키우길 바란다”며 “앞으로도 지역사회와 함께 성장하며 따뜻한 나눔 문화를 이