feature-top

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

인공지능의 수학 문제 해결 능력이 예상보다 빠르게 발전하고 있다는 평가가 나왔다고 9일 블록체인 매체 유투데이가 보도했다.

카르다노 창립자 찰스 호스킨슨은 최근 유튜브 방송에서 AI가 복잡한 수학 증명을 생성하고 이를 형식적으로 검증하는 수준까지 빠르게 발전했다고 밝혔다.

호스킨슨은 특히 나비에-스토크스 방정식과 관련한 AI 생성 해법 주장에 주목했다.

나비에-스토크스 문제는 클레이 수학연구소가 선정한 7대 밀레니엄 난제 가운데 하나로, 3차원 유체의 움직임을 설명하는 방정식에서...
발전설비 설계·시공 업체 지엔씨에너지가 케이씨에이브릿지신기술조합에 300억원을 투자해 에스케이티엔에스 인수에 참여한다고 4일 공시했다.지엔씨에너지는 케이씨에이브릿지신기술조합에 현금 300억원을 출자해 지분 26.71%를 확보한다. 취득예정일은 2026년 9월 10일이며, 이사회는 2026년 9월 4일 이 안건을 결의했다. 사외이사 1명이 참석했고 감사도 참석했다.케이씨에이브릿지신기술조합은 신기술사업에 대한 투자를 목적으로 2026년 9월 4일 결성된 민법상 조합이다. 총 출자금액은 112
애드테크 전문기업 애드포러스의 신인섭 이사가 애드포러스 주식 소유상황을 4일 공시했다.소유상황에 따르면 이번 기준일인 2026년 9월 4일 주식 수는 2000주, 지분율은 0.04%다.세부변동내역을 보면 2026년 9월 1일부터 2026년 9월 2일까지 보통주가 2000주 증가했고, 최종 수량은 2000주가 됐다. 사유는 장내매수였다. 취득단가는 7059원부터 7186원까지로 기재됐다.애드포러스의 2025년 12월 결산 기준 연결 재무현황은 자산총계 476억원, 부채총계 98억원이며 자본
한화파워가 선박 무상보증서비스 사업을 계열사 한화오션에 35억9000만원에 양도하기로 결정했다고 4일 공시했다.이번 양도 대상은 선박의 무상보증서비스와 관련된 사업 전반으로, 자산·부채·인력 등이 모두 포함된다. 양도가액은 35억9000만원이며 외부평가기관의 평가를 근거로 산출한 금액으로 명시됐다. 다만 양도대상부문 재무제표 변동에 따라 최종 양도가액은 변경될 수 있다고 기재됐다.양수법인은 계열회사인 한화오션이다. 양도 예정일은 2026년 9월 30일이며, 이는 거래종결 예정일로 관련 법령상 인·허가,
한국앤컴퍼니가 대전공장에서 화재사고 수습 및 공정 정비 완료에 따라 자동차용 납축전지 배터리 전체 생산을 재개했다고 4일 공시했다.생산재개 대상은 한국앤컴퍼니 대전공장으로, 재개 내용은 자동차용 납축전지 배터리 전체 생산 재개다. 생산재개일자와 이사회결의일 모두 2026년 9월 4일로, 해당 일자는 전체 라인 생산재개 일자를 기준으로 한다.생산재개 분야의 매출액은 2025년도 연간 연결매출액 기준 4578억2284만원이며, 최근 매출액은 1조4576억원이다. 매출액 대비 비중은 31.41
지스케일러 주가가 예상치를 뛰어 넘는 분기 실적과 가이이던스에 힘입어 급등했다.3일 경제매체 CNBC에 따르면 지스케일러는 회계연도 4분기 매출과 연간 반복매출, 다음 분기와 연간 실적 전망에서 모두 월가 예상치를 넘어섰다.4분기 매출은 전년 동기 약 7억1900만달러에서 25% 늘었다. 순손실은 340만달러, 주당 2센트 손실로 집계됐다. 전년 동기 순손실 1760만달러, 주당 11센트 손실과 비교하면 적자 폭은 줄었다.연간 반복 매출은 37억7000만달러로 전년 대비 25% 증가했다. 애널리
삼성전자가 독일 베를린에서 오는 8일까지 열리는 유럽 최대 가전 전시회 'IFA 2026'에서 혁신상 4개를 받았다고 4일 밝혔다. 혁신상은 IFA 베를린이 2025년 신설한 시상 프로그램으로, 삼성전자는 디자인 부문 최고 혁신상 1개와 혁신상 1개, 가전 부문 혁신상 2개를 받았다.'비스포크 AI 무풍콤보 프로 벽걸이' 에어컨은 디자인 부문 최고 혁신상과 가전 부문 혁신상을 동시에 받아 2관왕에 올랐다. 에어컨을 공간과 조화를 이루는 인테리어 오브제로 재해석한 점이 평가받았다. 삼성전자는 제품 전면을
광명지역신문=장성윤 기자> 광명시가 철산·하안 택지지구 재건축 단지에 일방적으로 공공임대주택 반영을 요구하면서 주민 반발이 거세진 가운데, 박승원 광명시장이 공공임대 문제와 관련해 사전 소통이 부족했던 점에 대해 ‘송구하다’며 사과한 것으로 알려졌다. 그러나 공공임대 철회는 어렵다는 입장을 고수하면서 주민들의 분노가 쉽게 가라앉기는 어려울 전망이다.광명시와 철산하안재건축연합회는 지난 8일 광명시청에서 재건축 현안 해결을 위한 비공개 간담회를 열었다. 이날 간담회에는 철산12·13단지와 하안1·2, 3·4, 5, 6·7, 8, 9,
15시간전
국민의힘 청주 서원구당협 조직위원장 공모에 지역 정치권 인사 6명이 지원하면서 본격적인 당심 경쟁을 예고하고 있다.9일 국민의힘 충북도당에 따르면 이날 마감하는 서원구당협 조직위원장 공모에 박지헌 전 충북도의원과 손인석 전 충북도 정무특보, 윤희근 전 경찰청장, 이범석 전 청주시장, 최영준 변호사, 홍성각 청주시의원 총 6명이 지원했다.지역 정치권에서 후보로 거론됐던 김영환 전 충북지사는 이번 공모에 참여하지 않았다.국민의힘 조직강화특별위원회는 공모 접수를 마친 뒤 신청자들을 대상으로 서류 심사를 진행하고
15시간전
삼척 맹방초등학교는 9일 오전 10시, 학교 운동장에서 재학생과 지역 유아 등 200여 명이 참여한 가운데 ‘9.9. 데이 해양 워터페스티벌’을 개최했다.이번 행사는 학년별 해양레포츠 전문과정의 피날레 행사로 마련됐다. 학생들은 그동안 카약 패들링, 스탠드업 패들보드, 요트 기술 습득, 스킨스쿠버 오픈워터 주니어 자격증 취득 등 다양한 해양레포츠 교육과정을 체험했으며, 이날 축제를 통해 물과 바다를 주제로 한 체험활동을 함께 즐겼다.행사에는 맹방초 재학생과 인근 유치원 7세 아동 등 외부 초청 아동 약 150명이 참
16시간전
국민의힘 박상웅 국회의원은 9일 밀양·의령·함안·창녕이 행정안전부의 ‘2027년 재해위험지역 정비 신규사업’ 대상지로 선정돼 총사업비 19
속초시의회는 집중호우로 피해를 입은 경남 거제시와 통영시의 피해복구를 지원하기 위해 9월 9일 경남사회복지공동모금회를 방문해 성금을 기탁했다.이날 속초시의회는 경남사회복지공동모금회에서 기탁식을 갖고, 거제시와 통영시의 호우피해 주민 지원을 위한 성금을 전달했다.이번 성금은 집중호우로 생활에 어려움을 겪고 있는 거제시와 통영시 주민들의 생활 안정과 피해복구에 힘을 보태기 위해 마련됐다.김명길 의장은 “집중호우로 피해를 입은 거제시와 통영시 주민들께 위로의 마음을 전한다”며 “피해지역이 하루빨리 안정을 되찾고 주민들의 일
17시간전
질병관리청은 9일 올해 들어 첫 일본뇌염 환자가 확인됐다고 밝혔다. 환자는 60대 여성으로, 지난 8월 15일 발열, 오한, 구토 등 증상으로 의료기
“짜장면을 먹을까, 짬뽕을 먹을까?”한때는 이것만으로도 제법 어려운 고민이었다. 그래서 두 가지를 모두 포기하지 않아도 되는 ‘짬짜면’이라는 기발한 메뉴까지 등장했다. 그런데 요즘은 이 정도 고민은 오히려 단순한 편이다. 배달 앱을 열면 수많은 메뉴가 펼쳐지고, 옷 한 벌을 사려고 검색하면 비슷한 상품이 끝도 없이 등장한다. 무엇을 볼지 고민하다 OTT 화면만 한참 넘기다 잠드는 일도 낯설지 않다.우리는 어느새 ‘선택할 것이 없어서 고민하던 시대’에서 ‘선택할 것이 너무 많아서 고민하는 시대’로 이동했다. 선택의 자유는 커졌지만 ‘
한국식품산업클러스터진흥원 노동조합이 사측의 일방적인 노사관계 운영과 노동조합 활동에 대한 통제 의혹을 제기하며 기관 정상화와 노조 존중을 촉구했다.한국식품산업클러스터진흥원 노동조합은 지난 9일 성명서를 내고 “말로는 상생을 강조하면서 실제 현장에서는 노동조합을 통제하고 방치하는 행태가 이어지고 있다”며 “노동조합은 사측의 부하직원이 아니라 독립적인 노사관계 당사자”라고 밝혔다.노조는 사측이 노사 현안마다 ‘인사권’, ‘경영권’, ‘기관의 판단’을 앞세우고 있다고 주장했다. 인사권과 경영권도 헌
아산 감성 여행지 4곳 8일 한국관광공사는 시간이 쌓인 고즈넉한 성당부터 물길을 따라 만나는 예술 공간, 호수를 품...
21시간전
멕스텍이 강산을 사용하지 않고 단일벽 탄소나노튜브를 99% 이상 순도로 정제할 수 있는 기술을 확보했다고 밝혔다.
인기기사
Generic placeholder image
소나무당 공식 해산
송영길 국회의원이 옥중 창당한 ‘소나무당’이 2년6개월만에 공식 해산했다. 사실상 더불어민주당과의 통합으로, 당원들은 민주당으로의 복당 또는 신규 가입이 가능할 것으로 보인다.
Generic placeholder image
애드포러스 신인섭 이사, 소유 주식 수량 2000주 보고…소유 지분율 0.04%
애드테크 전문기업 애드포러스의 신인섭 이사가 애드포러스 주식 소유상황을 4일 공시했다.소유상황에 따르면 이번 기준일인 2026년 9월 4일 주식 수는 2000주, 지분율은 0.04%다.세부변동내역을 보면 2026년 9월 1일부터 2026년 9월 2일까지 보통주가 2000주 증가했고, 최종 수량은 2000주가 됐다. 사유는 장내매수였다. 취득단가는 7059원부터 7186원까지로 기재됐다.애드포러스의 2025년 12월 결산 기준 연결 재무현황은 자산총계 476억원, 부채총계 98억원이며 자본
Generic placeholder image
제주양돈농협, 양돈장 질식·추락사고 예방 협력 강화
제주양돈농협은 지난 8월 25일 정부제주지방합동청사에서 열린 ‘양돈업 질식 및 추락사고 예방을 위한 간담회’에 참석했다. 광주지방고용노동청 제주산재예방감독팀과 안전보건공단 제주지역본부가 주최한 이번 간담회는 최근 도내 양돈장에서 발생한 중대재해를 계기로 밀폐공간 질식과 개구부 추락사고 예방 방안을
Generic placeholder image
[종합] 제주, 강풍에 바지선 크레인 전도, 작업자 덮쳐…1명 사망.1명 부상
강한 바람이 불고 있는 제주에서 바지선 크레인이 전도되며 작업자 2명을 덮쳐 1명이 숨지고, 1명이 다쳤다.4일 제주소방안전본부에 따르면 이날 오후 3시 53분쯤 제주시 건입동 제주항 부두에서 바지선 크레인이 쓰러져 남성 2명이 깔렸다는 신고가 접수됐다.신고를 접수하고 출동한 해경은 크레인에 깔린 바지선 선주 ㄱ씨를 구조해 병원으로 이송했지만 결국 숨졌다. 구조 당시 ㄱ씨는 심정지 상태였다.또 해경과 소방은 크레인 기사 ㄴ씨도 구조했다. ㄴ씨는 어깨 등을 다쳤으며, 구조 당시 의식이 있었던 것으로 전해졌다.해경은 강한
Generic placeholder image
전북도, 조사료 생산·가공 분야 국비 확보 나서
전북특별자치도가 국내산 조사료 생산기반을 확대하고 축산농가의 사료비 부담을 줄이기 위해 2027년 조사료 생산·가공 분야 국비 확보에 나선다고 지난 8월 20일 밝혔다. 도는 농림축산식품부가 주관하는 ‘2027년 조사료 전문단지 및 가공·유통시설 지원사업’ 공모에 대응해 도내 사업자를 발굴하고, 경쟁력 있는 사업을 선정해 정부에 신청할 계
최신기사
Generic placeholder image
영진전문대, 세계적 건축·상업공간 현장 탐방
대구 영진전문대학교인테리어디자인과 학생들이 해외 취업을 위해 글로벌 공간 디자인 감각과 실무 시공 역량을 키우고 있다. 영진전문대 인테리어디자인과 2학년은 최근 일본 오사카·교토·효고 일원에서 ‘해외선진기술연수’를 성공적 마무리했다고 10일 밝혔다. 이번 연수는 일본 선진 건축·인테리어 기술과 공간 기획 사례를 직접 체험하기 위해 마련됐으
Generic placeholder image
‘2026년 전국 산림조합장 워크숍’ 성료
산림조합중앙회는 8일부터 9일 경북 청송군 임업인종합연수원에서 ‘2026년 전국 산림조합장 워크숍’을 진행했다.이번 행사에는 최창호 산림조합중앙회장
Generic placeholder image
서울 청년 창업가·로컬 브랜드 46곳, 반포한강공원서 만난다
서울 청년 창업가와 지역 특색을 담은 로컬·친환경·ESG 브랜드가 한강공원에 모여 시민들에게 다양한 제품과 체험 콘텐츠를 선보인다.서울시는 롯데카드와 함께 오는 11일부터 12일까지 반포한강공원 달빛광장에서 ‘띵크어스 데이’를 개최한다고 10일 밝혔다.올해로 세 번째 열리는 이번 행사는 서울시의 청년 지역연계 창업지원 프로그램인 ‘넥스트로컬’과 롯데카드의 로컬·ESG 분야 창작자 지원사업인 ‘띵크어스’를 연계해 마련됐다. 지난해 행사에는 약 10만명이 방문했다.올해 행사는 지역과 도
Generic placeholder image
서귀포시, 추석명절 앞두고 진드기 감염병 주의 당부
서귀포시는 추석 명절을 앞두고 성묘와 벌초 등 야외 활동이 증가함에 따라 진드기 물림으로 인한 진드기 매개 감염병 발생 위험이 높아질 것으로 예상되는 만큼, 각별한 주의를 당부하고 있다. 국내에서 주로 발생하는 진드기 매개 감염병인 SFTS는 바이러스를 보유한 참진드기에 물려 감염되는 제3급 법정감염병이다. 1~2주의 잠복기 후 38℃ 이상의 고열과 구토·설사 등 소화기 증상이 나타날 수 있다.쯔쯔가무시증은 쯔쯔가무시균에 감염된 털진드기 유충에 물려 발생하는 제3급 법정감염병이다. 1~3주의 잠복기 후 갑작
Generic placeholder image
계명대, 국내 최적 ‘시네마 캠퍼스’ 자리매김
대구 계명대학교가 현재까지 캠퍼스에서 촬영된 작품만 120여 편이 넘는 가운데, 국내 최적 ‘시네마 캠퍼스’ 및 '콘텐츠 제작 공간'으로 자리매김하고 있다. 지난 1992년 MBC 드라마 ‘억새바람’을 시작으로, ‘모래시계’ ‘동감’ ‘꽃보다 남자’ ‘박쥐’ ‘검은 사제들’ ‘덕혜옹주’ ‘미스터 션샤인’ 등 시대를 대표하는 작품들이 계명대