"이 정도일 줄 몰랐다"…카르다노 창립자, AI 수학 증명 진전에 충격
인공지능의 수학 문제 해결 능력이 예상보다 빠르게 발전하고 있다는 평가가 나왔다고 9일 블록체인 매체 유투데이가 보도했다.
카르다노 창립자 찰스 호스킨슨은 최근 유튜브 방송에서 AI가 복잡한 수학 증명을 생성하고 이를 형식적으로 검증하는 수준까지 빠르게 발전했다고 밝혔다.
호스킨슨은 특히 나비에-스토크스 방정식과 관련한 AI 생성 해법 주장에 주목했다.
나비에-스토크스 문제는 클레이 수학연구소가 선정한 7대 밀레니엄 난제 가운데 하나로, 3차원 유체의 움직임을 설명하는 방정식에서...
카르다노 창립자 찰스 호스킨슨은 최근 유튜브 방송에서 AI가 복잡한 수학 증명을 생성하고 이를 형식적으로 검증하는 수준까지 빠르게 발전했다고 밝혔다.
호스킨슨은 특히 나비에-스토크스 방정식과 관련한 AI 생성 해법 주장에 주목했다.
나비에-스토크스 문제는 클레이 수학연구소가 선정한 7대 밀레니엄 난제 가운데 하나로, 3차원 유체의 움직임을 설명하는 방정식에서...
애드테크 전문기업 애드포러스의 신인섭 이사가 애드포러스 주식 소유상황을 4일 공시했다.소유상황에 따르면 이번 기준일인 2026년 9월 4일 주식 수는 2000주, 지분율은 0.04%다.세부변동내역을 보면 2026년 9월 1일부터 2026년 9월 2일까지 보통주가 2000주 증가했고, 최종 수량은 2000주가 됐다. 사유는 장내매수였다. 취득단가는 7059원부터 7186원까지로 기재됐다.애드포러스의 2025년 12월 결산 기준 연결 재무현황은 자산총계 476억원, 부채총계 98억원이며 자본
반도체 부품 제조 기업 에이치엘비이노베이션의 최대주주 에이치엘비 측은 주식등 보유 비율이 36.73%로 증가했다고 4일 공시했다.변동 사유로는 특별관계자 장내매수가 제시됐다.에이치엘비와 특별관계자 14인의 2026년 9월 4일 기준 보유 주식등의 수는 1180만2247주다. 직전 보고일인 2026년 8월 27일 대비 2만400주 증가했다. 보유비율은 36.73%로 0.06%포인트 증가했다. 주권 주식수는 1131만6740주다. 직전 보고일인 2026년 8월 27일 대비 2만400주 증가했
삼성전자가 독일 베를린에서 오는 8일까지 열리는 유럽 최대 가전 전시회 'IFA 2026'에서 혁신상 4개를 받았다고 4일 밝혔다. 혁신상은 IFA 베를린이 2025년 신설한 시상 프로그램으로, 삼성전자는 디자인 부문 최고 혁신상 1개와 혁신상 1개, 가전 부문 혁신상 2개를 받았다.'비스포크 AI 무풍콤보 프로 벽걸이' 에어컨은 디자인 부문 최고 혁신상과 가전 부문 혁신상을 동시에 받아 2관왕에 올랐다. 에어컨을 공간과 조화를 이루는 인테리어 오브제로 재해석한 점이 평가받았다. 삼성전자는 제품 전면을
반도체 제조 장비 기업 더코디의 박준성 소장이 소유한 더코디 주식 수량을 3990주 보고했다고 4일 공시했다.소유상황에 따르면 이번 기준일인 2026년 9월 4일 주식 수는 3990주, 지분율은 0.08%다.세부변동내역을 보면 2026년 9월 2일 보통주가 3990주 증가했고, 최종 수량은 3990주가 됐다. 사유는 장내매수였다. 취득단가는 3846원으로 기재됐다.더코디의 2025년 12월 결산 기준 연결 재무현황은 자산총계 723억원, 부채총계 616억원이며 자본총계 108억원이다. 매
지스케일러 주가가 예상치를 뛰어 넘는 분기 실적과 가이이던스에 힘입어 급등했다.3일 경제매체 CNBC에 따르면 지스케일러는 회계연도 4분기 매출과 연간 반복매출, 다음 분기와 연간 실적 전망에서 모두 월가 예상치를 넘어섰다.4분기 매출은 전년 동기 약 7억1900만달러에서 25% 늘었다. 순손실은 340만달러, 주당 2센트 손실로 집계됐다. 전년 동기 순손실 1760만달러, 주당 11센트 손실과 비교하면 적자 폭은 줄었다.연간 반복 매출은 37억7000만달러로 전년 대비 25% 증가했다. 애널리
한국앤컴퍼니가 대전공장에서 화재사고 수습 및 공정 정비 완료에 따라 자동차용 납축전지 배터리 전체 생산을 재개했다고 4일 공시했다.생산재개 대상은 한국앤컴퍼니 대전공장으로, 재개 내용은 자동차용 납축전지 배터리 전체 생산 재개다. 생산재개일자와 이사회결의일 모두 2026년 9월 4일로, 해당 일자는 전체 라인 생산재개 일자를 기준으로 한다.생산재개 분야의 매출액은 2025년도 연간 연결매출액 기준 4578억2284만원이며, 최근 매출액은 1조4576억원이다. 매출액 대비 비중은 31.41
서울 청년 창업가와 지역 특색을 담은 로컬·친환경·ESG 브랜드가 한강공원에 모여 시민들에게 다양한 제품과 체험 콘텐츠를 선보인다.서울시는 롯데카드와 함께 오는 11일부터 12일까지 반포한강공원 달빛광장에서 ‘띵크어스 데이’를 개최한다고 10일 밝혔다.올해로 세 번째 열리는 이번 행사는 서울시의 청년 지역연계 창업지원 프로그램인 ‘넥스트로컬’과 롯데카드의 로컬·ESG 분야 창작자 지원사업인 ‘띵크어스’를 연계해 마련됐다. 지난해 행사에는 약 10만명이 방문했다.올해 행사는 지역과 도
서귀포시는 추석 명절을 앞두고 성묘와 벌초 등 야외 활동이 증가함에 따라 진드기 물림으로 인한 진드기 매개 감염병 발생 위험이 높아질 것으로 예상되는 만큼, 각별한 주의를 당부하고 있다. 국내에서 주로 발생하는 진드기 매개 감염병인 SFTS는 바이러스를 보유한 참진드기에 물려 감염되는 제3급 법정감염병이다. 1~2주의 잠복기 후 38℃ 이상의 고열과 구토·설사 등 소화기 증상이 나타날 수 있다.쯔쯔가무시증은 쯔쯔가무시균에 감염된 털진드기 유충에 물려 발생하는 제3급 법정감염병이다. 1~3주의 잠복기 후 갑작
성남시의 미혼 청춘남녀 만남 행사인 '솔로몬의 선택 시즌2'가 첫 모집부터 역대 최고 경쟁률을 기록했다.성남시는 민선 9기 '솔로몬의 선택 시즌2'의 첫 행사인 25·26기 참가자를 모집한 결과 평균 10.6대 1의 역대 최고 경쟁률을 기록했다고 10일 밝혔다.25·26기 모집 인원은 총 200명으로 모집 기간 모두 2119건의 신청이 접수됐다.기수별로는 25기 100명 모집에 994건이 접수돼 9.9대 1, 26기 100명 모집에는 1125건이 접수돼 11.3대 1의 경쟁률을 나타냈다
남양주시는 지난 8일 양정동 ‘현장시장실’의 오후 일정으로 73사단을 방문하고 주민들과 ‘시장 좀 만납시다’를 진행하며 현장 소통을 이어갔다고 9일 밝혔다.최현덕 시장은 추석을 앞두고 73사단을 찾아 장병들을 격려하고, 지역사회 봉사활동을 꾸준히 이어온 데 대해 감사의 뜻을 전했다.최 시장은 “지역 안보를 위해 묵묵히 임무를 수행하는 장병들의 노고에 감사드린다”며 “앞으로도 군과 지역사회가 상생할 수 있도록 지속적으로 소통하고 협력하겠다”고 말했다.이어 양정동 주민들과 ‘시장 좀 만납시다’를 열
인천신용보증재단은 지난 9일 계양구 소상공인연합회에서 ‘2026 제1차 계양구 상권활성화 라운드테이블’을 개최했다고 밝혔다.이번 라운드테이블은 고물가·고금리 등으로 어려움을 겪고 있는 소상공인을 지원하기 위해 지역 내 유관기관 및 소상공인 단체 간 협력 거버넌스를 강화하고, 계양구 골목상권의 현장 애로사항을 청취하기 위해 마련됐다.회의에는 이부현 인천신용보증재단이사장, 김덕희 인천신용보증재단 계양지점장을 비롯해 김윤미 계양구청 일자리정책과장, 홍의희 계양구 소상공인연합회장, 차주환 서민금융진흥원 인천경기지역본부장, 최형우 계산시장
조용범 기획예산처 차관은 1995년 제39회 행정고시에 합격, 기획재정부에서 예산정책과장, 예산총괄과장, 사회예산심의관, 예산총괄심의관, 예산 실장 등 주요 요직을 모두 거친 예산·재정 분야 전문가다. 지난해 12월 기획재정부의 예산실장으로 임명된 후 7개월 여 만인 지난 7월 20일 기획예산처 차관으로 승진했다.올해 1월 기획재정부가 재정경제부와 기획예산처로 분리된 후 기획예산처 예산실장으로 지난 3월 ‘중동 전쟁 위기 극복을 위한 추경예산’ 편성을 총괄 지휘하기도 했다.▲아버님 가르침을 좌우명 삼다조용범 차관은 제주시 한
공정거래위원회가 한화그룹의 계열사 간 브랜드 사용료 거래를 조사하는 과정에서 내린 자료제출명령에 대해 법원이 일시적으로 효력을 정지했다.다만 이번 결정은 공정위의 현장조사나 자료제출명령 자체의 위법성을 판단한 것은 아니어서 조사 절차의 적법성 여부는 본안 소송에서 가려질 전망이다.서울고법 행정7부는 9일 한화와 직원 A씨가 공정위를 상대로 제기한 자료제출명령 집행정지 신청을 인용했다. 이에 따라 해당 자료제출명령의 효력은 내년 1월 31일까지 정지된다.재판부는 자료제출명령이 그대로 집행될 경우 한화 측에 회복하기 어려운 손해가 발생
주요키워드
인기기사
CGTN ‘사막에서 기회의 땅으로… 중국·이집트, 전방위 협력 심화’ 보도
중국과 이집트의 관계는 개별 인프라 프로젝트 중심에서 투자와 고용, 시장을 서로 연결하는 보다 포괄적인 협력으로 전환되고 있다-CGTN이 중국과 이집트 간 협력이 산업 프로젝트를 넘어 보다 폭넓은 경제·전략적 관계로 확대되고 있음을 조명하는 기사를 게재했다. 이 기사는 수에즈 경제무역협력구와 중국으로의 이집트 농산물 수출 확대, 그리고 수교 70주년을 맞은 양국 관계의 광범위한 의미에 주목했다.아래는 기사 전문이다.중국과 이집트가 수에즈 운하 인근 사막 지역에 공동 경제무역협력구 2단계
제주양돈농협, 양돈장 질식·추락사고 예방 협력 강화
제주양돈농협은 지난 8월 25일 정부제주지방합동청사에서 열린 ‘양돈업 질식 및 추락사고 예방을 위한 간담회’에 참석했다. 광주지방고용노동청 제주산재예방감독팀과 안전보건공단 제주지역본부가 주최한 이번 간담회는 최근 도내 양돈장에서 발생한 중대재해를 계기로 밀폐공간 질식과 개구부 추락사고 예방 방안을
파도 끝에서, 바다를 가장 가까이 만나다… 강릉 초가을 해안여행
한여름 무더위가 한풀 꺾이고 선선한 바닷바람이 불어오는 9월, 파도와 기암절벽을 따라 걸으며 동해의 절경을 가장 가까이에서 만날 수 있는 바다부채길이 초가을 여행객을 맞이한다.강릉시는 ‘2026~2027 강릉방문의 해’ 9월 추천여행지로 정동·심곡 바다부채길을 선정했다. 이번 추천 테마는 “파도 끝에서, 바다를 가장 가까이 만나다”로, 아름다운 해안 절경과 함께 초가을 트레킹을 즐길 수 있는 여행을 제안한다.정동·심곡 바다부채길은 천연기념물로 지정된 해안단구를 따라 조성된 해안 탐방로로, 기암절벽과 푸른 동해가 어우러진 빼어난 풍경
한 그릇의 음식에 담긴 시대상,,, 인문학 특강 ‘라면 듣고 갈래요?’
금천문화재단 금천구립시흥도서관은 ‘문화가 있는 날’을 맞아 오는 9월 19일과 10월 24일에 금천구 주민을 대상으로 한 음식 인문학 특강 ‘라면 듣고 갈래요?’를 운영한다고 밝혔다. 이번 특강은 누구에게나 익숙한 음식인 ‘라면’을 출발점으로 동아시아의 음식문화와 한국 근현대사의 변화를 살펴보는 인문학 프
소나무당 공식 해산
송영길 국회의원이 옥중 창당한 ‘소나무당’이 2년6개월만에 공식 해산했다. 사실상 더불어민주당과의 통합으로, 당원들은 민주당으로의 복당 또는 신규 가입이 가능할 것으로 보인다.
최신기사
서귀포시, 추석명절 앞두고 진드기 감염병 주의 당부
서귀포시는 추석 명절을 앞두고 성묘와 벌초 등 야외 활동이 증가함에 따라 진드기 물림으로 인한 진드기 매개 감염병 발생 위험이 높아질 것으로 예상되는 만큼, 각별한 주의를 당부하고 있다. 국내에서 주로 발생하는 진드기 매개 감염병인 SFTS는 바이러스를 보유한 참진드기에 물려 감염되는 제3급 법정감염병이다. 1~2주의 잠복기 후 38℃ 이상의 고열과 구토·설사 등 소화기 증상이 나타날 수 있다.쯔쯔가무시증은 쯔쯔가무시균에 감염된 털진드기 유충에 물려 발생하는 제3급 법정감염병이다. 1~3주의 잠복기 후 갑작
서울 청년 창업가·로컬 브랜드 46곳, 반포한강공원서 만난다
서울 청년 창업가와 지역 특색을 담은 로컬·친환경·ESG 브랜드가 한강공원에 모여 시민들에게 다양한 제품과 체험 콘텐츠를 선보인다.서울시는 롯데카드와 함께 오는 11일부터 12일까지 반포한강공원 달빛광장에서 ‘띵크어스 데이’를 개최한다고 10일 밝혔다.올해로 세 번째 열리는 이번 행사는 서울시의 청년 지역연계 창업지원 프로그램인 ‘넥스트로컬’과 롯데카드의 로컬·ESG 분야 창작자 지원사업인 ‘띵크어스’를 연계해 마련됐다. 지난해 행사에는 약 10만명이 방문했다.올해 행사는 지역과 도
李대통령, OECD 사무총장과 "포용적 성장" 중요성 공감
이재명 대통령이 경제협력개발기구 사무총장을 접견한 자리에서 포용적 성장론에 대한 관심을 표명했다. 이 대통령은 프랑스 국빈방문 일정 중인 지난 9일 마티...
'108만' 화성특례시, 사법·치안 기반시설 확충에 힘 싣는다
인구 108만 명을 넘어선 화성특례시가 시민들이 보다 가까이에서 사법·치안 서비스를 이용할 수 있도록 관련 기반시설 확충에 힘을 쏟고 있다. 화성시는 지역 국회의원 4명과 함...
과천시, '자원봉사 이음축제' 12일 에어드리공원서 개최
경기 과천시가 시민들이 다양한 자원봉사 활동을 체험하고 나눔의 의미를 함께 나눌 수 있는 축제를 마련한다. 과천시는 오는 12일 오전 10시부터 오후 4시까지 에어드리공원에서...