SOKURY!소쿠리닷컴

키워드 [ 정도일 ] 총 1 개 ... 1 / 1 페이지

"이 정도일 줄 몰랐다"…카르다노 창립자, AI 수학 증명 진전에 충격

인공지능의 수학 문제 해결 능력이 예상보다 빠르게 발전하고 있다는 평가가 나왔다고 9일 블록체인 매체 유투데이가 보도했다.카르다노 창립자 찰스 호스킨슨은 최근 유튜브 방송에서 AI가 복잡한 수학 증명을 생성하고 이를 형식적으로 검증하는 수준까지 빠르게 발전했다고 밝혔다.호스킨슨은 특히 나비에-스토크스 방정식과 관련한 AI 생성 해법 주장에 주목했다. 나비에-스토크스 문제는 클레이 수학연구소가 선정한 7대 밀레니엄 난제 가운데 하나로, 3차원 유체의 움직임을 설명하는 방정식에서

tags :#정도일 #몰랐다 #카르다노 #창립자 #AI #수학 #증명 #진전에

주요키워드

#이용을

#기간에

#벗나

# 13일

#울릉

#역할

#증가한

#시장

#인사

#포함

#사람

#지방자치단체

#1000℃까지

#순수한

#합동으로

#열린다

#음성

#청소년

#동구

#국군

#칠곡

#법원

#국회의장‧여야

#환율

#피해복구

#비교해

#30년을

#심정지

#근로장려금

#주렁주렁

#연결해

#어떻게

#영향

#운영해

#부부

#소소마루

#공개

#업무협약

#대표발의

#실종

#배울

#만전․경영목표

#창원시

#2시간

#50 감면

#용역

#110��

#감량

#사람․친환경․연계체계

#인증 1등급

속초시, 민생회복부터 기업·복지·고향사랑까지 지역경제·공동체 활력 높인다

강원신문 4일전

속초시가 민생경제 회복과 기업 경쟁력 강화, 고향사랑기부 활성화, 복지공동체 조성 등 시민 생활과 지역경제 전반을 아우르는 정책 추진에 속도를 내고 있다.시는 고유가·고물가로 어려움을 겪는 시민들의 가계 부담을 덜고 지역 내 소비를 촉진하기 위해 추진한 민생회복지원금 지급을 마무리하는 한편, 기업이 성장할 수 있는 산업환경을 조성하고 지역 특산품을 활용한 고향사랑기부 활성화와 시민 참여형 복지사업도 이어가고 있다.먼저 속초시 민생회복지원금은 지난 11일 신청을 마감한 결과 전체 지급 대상자 7만9,238명의 96.5%인 7만6,44

[캠퍼스] 영진전문대, 내·외국인 학생 '전국 티볼대회'서 우정·화합 다진다

포커스데일리 6일전

홍종오 기자 = 대구 영진전문대학교 내·외국인 학생들이 전국 티볼대회에 함께 출전해 스포츠를 통한 소통과 화합의 장을 펼친...

이더리움, 6월 저점서 55% 반등... 3분기 강세 이어가나

디지털투데이 4일전

이더리움이 6월 저점 대비 55% 넘게 반등하면서 강한 3분기 흐름을 이어가고 있다. 13일 블록체인 매체 유투데이에 따르면 이더리움은 현재 2492달러 안팎에서 거래되고 있으며, 6월 약 1600달러까지 떨어진 뒤 주요 이동평균선을 모두 회복했다.일봉 차트의 기술적 구조도 달라졌다. 이더리움은 그동안 주요 이동평균선 아래에 머물렀지만, 최근에는 이를 모두 웃돌고 있다. 상승세가 가장 강했던 시점은 8월이었다. 이더리움은 몇 주간 1850~1950달러 부근에서 횡보한 뒤 2000달러를 돌파했고

화신환경, 법무보호대상자에 추석 위문품 전달

경상일보 4일전

한국법무보호복지공단 울산지부는 지난 11일 화신환경으로부터 추석 명절을 맞아 법무보호대상자를 위한 고급 햄 선물세트 30개, 약 300만원 상당을 전달받았다고 밝혔다.이번 후원은 추석을 앞두고 법무보호대상자들이 따뜻한 명절을 보내고 안정적인 사회복귀와 자립을 이어갈 수 있도록 격려하기 위해 마련됐다.화신환경은 정연태 대표를 비롯해 정승윤 본부장, 정승혁 팀장 등 가족이 함께 법무보호대상자의 안정적인 사회정착을 돕고 있다.특히 취업 기회 제공과 후원 활동 등에 지속적으로 참여하며 지역사회 나눔을 이어오고

돼지고기 소비, 추석명절 준비수요 활발

축산신문 5일전

추석 명절을 앞두고, 돼지고기 소비가 살아나고 있다. 하지만, 명절 이후에는 소비가 급격히 감소할 것이라는 우려가 나온다. 한국육류유통수출협회는 지난 9일 안양에 있는 협회 회의실에서 ‘9월 돼지고기 시장 동향분석 회의’를 열고, 시장 흐름 등을 살폈다. 이날 축산물 가공·유통 업체들은 돼지고기 구이류의 경우, 외식·

최신기사