컴퓨터는 숫자 계산에는 뛰어나지만, 수학적 논리와 추론에서는 인간 수학자를 대체하지 못했다. 그러나 구글 딥마인드가 개발한 인공지능 '알파프루프'가 이 한계를 넘고 있다고 19일 IT매체 아스테크니카가 전헀다.딥마인드는 알파프루프를 기존 AI와 차별화하기 위해, 수학적 논리 구조를 학습시키는 새로운 접근 방식을 도입했다. 기존 AI는 대량의 텍스트 데이터를 기반으로 확률적인 답변을 생성하지만, 알파프루프는 수학적 정밀성이 요구되는 환경에서 작동
인기기사
Generic placeholder image
제55주기 전태일 추도식, "오늘의 전태일들과 함께 11월 13일 국가기념일로"
13일 오전 11시 경기 남양주시 마석 모란공원 전태일 묘역 앞에서 제55주기 전태일 추도식이 엄숙하게 거행됐다. 전태일재단이 주최한 이날 추도식에는 양대 노총
Generic placeholder image
안양시, 레미콘 사업장 7곳 시·구 합동점검…대체로 양호
경기 안양시는 지난 7일부터 11일까지 관내 레미콘 사업장 7개소를 대상으로 시‧구 합동 특별점검을 실시했다고 18일 밝혔다. 안양시는 이번 점검에서 △비산먼지 발생 억제시설...
Generic placeholder image
수원시도서관, AI 도서관서비스 플랫폼 구축 첫발
경기 수원시도서관사업소가 공공도서관 표준자료관리시스템을 13일부터 공공부문 민간 클라우드인 SaaS로 전환하면서 AI 도서관서비스 플랫폼을 구축하기 위한 첫발을 내디뎠다.전국 공공도서관 최초로 클라이언트-서버 기반의 운영 환경을 클라우드 서비스로 전환했다. 수원시 공공도서관 20곳, 공공도서관 내 도서관 4곳, 사립도서관 1곳 등 25곳에 도입했다.SaaS는 클라우드 컴퓨팅 서비스의 핵심 모델 중 하나로.
Generic placeholder image
KB증권, 방송인 줄리안 퀸타르트와 ‘기후 프레스크’ 워크숍
KB증권은 지난 15일 방송인 ‘줄리안 퀸타르트와’ 함께 임직원과 가족 등 60여 명이 참여한 ‘기후 프레스크’ 워크숍을 개최했다고 18일 밝혔다.‘기후 프레스크’는 프랑스에서 시작된 글로벌 기후 교육 프로그램으로, IPCC 보고서를 기반으로 기후 변화의 원인과 영향을 시각적으로 이해하여 그에 따른 실천 방안을 모색하는 참여형 워크숍이다. 참가자들은 카드 게임 형태의 활동을 통해 온실가스
Generic placeholder image
수원시-프라이부르크시, 자매결연 10주년 기념식수··· 우호관계 강화 약속
경기 수원시 대표단이 국제자매도시인 루마니아 클루지나포카시와 독일 프라이부르크시를 잇달아 방문해 지속적인 교류·협력을 약속했다.김현수 제1부시장을 단장으로 한 수원시 대표단은 수원시의회 김정렬 부의장, 더불어민주당 김동은 대표의원, 국민의힘 박현수 대표의원을 비롯한 시의회 의원, 클루지나포카·프라이부르크 시민교류위원회 관계자 등으로 구성됐다.수원시 대표단은 먼저 클루지나포카시를 방문했다. 김현수 제1부시장은 10일 클루지나포카 시청에서 단 슈테판 타르
최신기사
Generic placeholder image
연천 밤하늘 뒤덮은 산불⋯장비·인력 총동원
2시간전
20일 오후 7시26분쯤 연천군 전곡읍 간파리 일원에서 산불이 발생해 소방당국이 진화 중이다. 진화율은 오후 10시 기준 약 80%다. 불은 마차산 서쪽 하부 임야로 번졌으며 탄화 면적은 약 1700㎡, 화선은 약 120m로 파악됐다. 신고는 “산불이 번지고 있다”는 목격자 신고 4건
Generic placeholder image
[11. 19 이재명 대통령] "한-UAE 미래 파트너십으로 공동번영 이루겠다"
이재명 대통령이 아랍에미리트 국빈 방문 기간 중 아부다비에서 열린 한-UAE 비즈니스 라운드테이블에서 양국 간 미래 파트너십의 청사진을 제시했다.이 대통
Generic placeholder image
상담원·역무원 등 코레일 비정규직, 파업…"임금인상, 4조 2교대 전환"
2시간전
코레일에 간접고용된 콜센터 상담원, 매표 역무원 등이 임금인상, 4조 2교대제 전환 등을 요구하며 파업에 돌입했다. 전국철도노동조합 코레일네트웍스지부와 철도고객센터지부는 20...
Generic placeholder image
대구 달서구, 숲에서 배우는 영어캠프‘English Forest Adventure Camp’성료
2시간전
대구 달서구는 4월부터 11월까지 운영한 ‘English Forest Adventure Camp’가 학생과 학부모들로부터 높은 호응을 얻으며 성공적으로 마무리됐다고 밝혔다. 올해 프로그램에는 총 150여 명의 초등학생이 참여해 숲 속에서 영어를 자연스럽게 익히는 달서구만의 융합형 교육 모델을 경험했다. 이번 캠프는 초
Generic placeholder image
전국 최초 대도시와 소멸농촌 공동 상생협력 정책실험을 통한 지방소멸 대응
2시간전
대한민국시장·군수·구청장협의회는 11월 19일 오후 4시 울산광역시 울주군 울산전시컨벤션센터 1층 회의실에서 「지방시대 엑스포 컨퍼런스: 지방소멸 대응을 위한 도시-농촌 간 상생협력 정책토론회」를 개최하였다. 이번 토론회에서는 지방자치 30주년을 맞아 저출생·고령화 및 수도권 일극화