feature-top

이번엔 진짜…오픈AI '아스트라' 10년 넘게 못 풀던 수학 난제 10개 풀어

오픈AI가 차세대 모델군으로 소개한 미공개 내부 모델 '아스트라'가 수학·이론컴퓨터과학 분야에서 최소 10년 이상 풀리지 않았던 문제 10개에 새로운 결과를 제시하고, 기계 검증이 가능한 증명도 함께 공개했다.2일 실리콘앵글 등 외신에 따르면, 오픈AI는 249쪽 분량의 원고와 모델이 생성한 추론 과정, '린 4' 기반 증명 인증서를 깃허브에 아파치 2.0 라이선스로 공개했다. 공개된 인증서 저장소의 'sorry' 개수는 0으로 표시됐다. 오픈AI는 이는 형식화된 증명에...
제지 기업 한국제지의 최대주주인 해성산업이 주식병합으로 보유 주식이 1억2884만8816주 감소했다고 29일 공시했다.해성산업은 2026년 7월 28일 주식병합을 통해 보통주식 1억6106만1019주에서 3221만2203주로 변경됐다. 증감 주식수는 마이너스 1억2884만8816주로, 이번 변동으로 해성산업의 한국제지 지분율은 84.70%로 기록됐다. 직전 보고서 제출일인 2024년 10월 16일 기준 보유 주식수는 1억6106만1019주, 지분율은 84.69%였다.한국제지의 2025년 12
암호화폐와 디지털 자산을 적극 수용한 미국 주들이 혁신 경쟁력 순위에서 두드러진 상승세를 보인 것으로 나타났다. 반면 전통적인 기술 중심지인 캘리포니아와 뉴욕은 순위가 하락하며 정책 환경이 기업과 자본의 이동에 미치는 영향이 커지고 있다는 분석이 나왔다.28일 블록체인 매체 유투데이에 따르면, 드레이퍼 혁신지수는 2026년 3월 업데이트에서 암호화폐와 블록체인, 신흥 기술을 수용한 지역이 창업과 투자 유치 경쟁에서 우위를 점하고 있다고 평가했다.드레
방산 AI 데이터센터 시장에 이종 기업 간 기술 결합 모델이 등장했다. 장기기억 AI 및 반도체 통합 솔루션 기업 디노티시아는 STX엔진과 방위산업 특화 인공지능 데이터센터 사업에서 전략적 투자 및 사업 협력을 추진한다고 29일 밝혔다. STX엔진이 투자자로 참여하고 발전기 등 전력 인프라 설비를 공급하는 한편, 양사가 방산 AI 솔루션을 공동 개발·사업화하는 구조다.디노티시아는 방산 특화 AIDC의 기획·개발을 맡고, 벡터 데이터 처리장치인 VDPU와 AI 데이터 인프라 솔루션 '씨홀
미네소타주의 예측시장 전면 금지법이 시행을 앞두고 연방법원의 가처분 결정으로 제동이 걸렸다.28일 아스테크니카 등 외신에 따르면, 미네소타 연방지방법원은 8월 1일 시행 예정이던 해당 법의 집행을 본안 판결이 나올 때까지 중단하도록 결정했다.쟁점은 예측시장 계약이 도박인지, 아니면 연방 상품선물거래위원회가 전속 관할하는 파생상품인 스와프인지 여부다. 미네소타 주의회는 예측시장을 사실상 도박으로 보고 지난 5월 관련 금지법을 통과시켰다. 이후 트럼프 행정부와 예측시장 플랫폼 칼시,
국내시장복귀계좌의 해외주식 양도소득세 공제율이 이달 말부터 80%에서 50%로 낮아지는 가운데 효과마저 기대보다 제한적이었다는 평가가 나온다.금융감독원은 최근 투자자들에게 RIA를 통한 해외주식 매도 시 주문 체결일이 아닌 '매도 결제 완료일'을 기준으로 양도소득 공제율이 결정된다고 안내했다.해외주식은 시장에 따라 T+1일부터 T+3일까지 결제 시차가 발생하는 만큼 거래 증권사를 통해 결제 완료일을 반드시 확인해야 한다고 강조했다.현재 해외주식 양도소득 공제율은 7월 말까지 80%가 적용되지만
딥커머스의 최대주주 정소영 측은 주식등 보유 비율이 14.42%로 증가했다고 29일 공시했다.변동 방법은 장내 매수이며 변동 사유로는 단순 취득이 제시됐다.정소영과 특별관계자 5인의 2026년 7월 29일 기준 보유 주식등의 수는 268만5691주다. 직전 보고일인 2026년 7월 23일 대비 2만1291주 증가했다. 보유비율은 14.42%로 0.11%포인트 증가했다. 주권 주식수는 250만3826주로 직전 보고일 대비 2만1291주 증가했으며 지분율은 13.58%로 0.12%포인트 증가
1시간전
삼성전자가 7월 28일부터 8월 3일까지 7일간 진행한 '갤럭시 Z 폴드8 울트라·폴드8·플립8' 국내 사전 판매에서 144만대를 기록하며 역대 갤럭시 스마트폰 사전 판매 신기록을 세웠다. 144만대는 역대 갤럭시 스마트폰 사전 판매 중 최다 기록으로, 사전 판매 기간 동안 1분당 약 140대가 판매된 셈이다. 이전까지의 갤럭시 스
김해시는 지난 1일 국가유산인 수로왕비릉과 구지봉을 주제로 2026년 생생 국가유산 활용사업 ‘가야금으로 피어나는 가야의 소리’ 행사를 개최했다. 국가유산청과 경
1시간전
하나금융그룹은 폭염으로 어려움을 겪는 지역사회 취약계층을 지원하기 위해 혹서기 필수품을 담은 ‘혹서기 행복상자’ 1300여 박스를 인천을 시작으로 전국에 차례로
1시간전
평화경제 거점도시 강원 고성군이 문화예술, 미래교육, 생활안전 분야를 아우르는 다양한 사업을 펼치며 군민과 관광객이 함께 체감하는 지역 발전 행보를 이어가고 있다.아이들의 마음을 어루만지는 공연예술부터 군민의 디지털 역량을 키우는 AI 교육, 여름철 안전사고 예방 활동까지 일상 가까이에서 변화를 만들어가는 정책들이 주목받고 있다.비닐봉지가 생명력 있는 존재로…오브제극 ‘둥둥주의보’ 무대 오른다. 고성군은 오는 8월 7일과 8일 고성군문화복지센터에서 색다른 오브제극 '둥둥주의보'를 선보인다.이번 공연은 지역 공연장과 예술단체의 협력을
새 학기와 하반기 새로운 업무 환경을 준비하는 8월은 개인 데스크톱 모니터를 교체하거나 서브 모니터 및 게이밍 기어를 새로 도입하는 수요가 몰리는 시기다. 특히 디스플레이 시장에서는 단순 제품 스펙을 넘어 실사용자의 데스크 레이아웃에 맞춘 세팅 후기가 구매를 결정짓는 핵심 지표로 자리 잡고 있다.글로벌 디스플레이 브랜드 벤큐코리아는 8월 한 달간 벤큐 모니터 및 마우스 구매 고객을 대상으로 포토후기 이벤트를 진행한다고 밝혔다. 폭넓은 디스플레이 라인업을 기반으로 유저들의 셋업 노하우를 공유하는
2시간전
국내 밤꿀 수매가격이 사상 처음으로 1+등급 기준 드럼당 450만원을 돌파하며 역대 최고치를 기록했다. 지난해 최고가였던 430만원보다 20만원 오른 수준으로, 국산 밤꿀의 희소성과 우수한 품질이 가격에 반영된 결과로 풀이된다. 등급별 수매가격은 1+등급 450만원, 1등급 440만원, 2등급 430만원으로 최종 확정됐다. 이번 가
한 신문이 8.3일 기사 등 단일종목 레버리지 상품과 관련된 기사에서, “이는 이억원 금융위원장이 지난달 29일 국회 정무위원회 전체회의에서 한 발언과 상충된다. 당시 박 의원이 "상품 도입 배경에 의구심이 든다. 스트레스 테스트 등 리스크 분석 과정이 있었는지 자료를 달라"고 질의하자 이 위원장은 "다 검토를 거쳐서 냈다"고 답하며 자료 제출을 약속했다.” 등의 내용을 보도하자 금융위가 해명했다.금융위는 동 보도내용 등에 대한 설명이라는 보도설명자료를 내어 "국내-해외상장 ETF 간 비대칭 규제 해소를 위한 자본시장법 시행령 및
김만식 기자 = 인천여성가족재단은 아이사랑꿈터 2026년 상반기 이용자를 대상으로 실시한 만족도 조사 결과, 재이용 의사가 99.5
1937년 7월 중일전쟁이 발발하고 일제의 독립투쟁 탄압이 가속화하자 난징 근처에 본거지를 마련했던 임시정부는 또다시 괘나리 봇짐을 싸야만 했다. 김구와 그의 가
김재욱 기자 = 예천문화관광재단은 오는 8월 7일 오후 7시부터 9시까지 예천군 호명읍 주차타워 앞에서 ‘2026 예천 범...
인기기사
Generic placeholder image
AI 땜에 신입 안 뽑던 대기업들이 다시 채용을 늘리고 있다...왜?
경제적인 불확실성과 AI가 보다 많은 업무를 커버할 수 있다는 것을 이유로 가급적 채용을 꺼려온 미국 기업들이 달라졌다. 전통 대기업들은 물론 빅테크 기업들까지 채용 확대에 나서는 모습이다.월스트리트저널에 따르면 대형 철도 회사인 CSX, 구글 모회사인 알파벳이 최근 투자자들을 상대로 성장 목표를 맞추고 신기술 분야에서 기회를 잡기 위해 채용을 확대하겠다는 계획을 내놨다.일부 기업 경영진들은 AI 도입에 따른 비용과 기술적인 한계로 인해 직원을 늘릴 필요가 생겼다고 하고 있고, 해고를 했다가 재
Generic placeholder image
슈나이더, ‘AMD 헬리오스’ 레퍼런스 디자인 공개 ··· AI 팩토리 구축 가속
슈나이더 일렉트릭은 AMD와 ‘AMD 헬리오스’ 랙스케일 솔루션 레퍼런스 디자인을 공동 개발하고 검증을 완료했다고 밝혔다.새롭게 공개된 레퍼런스 디자인은 AMD 헬리오스 랙스케일 솔루션의 대규모 연산 환경을 지원하기 위한 것으로, 컴퓨팅 성능과 인터커넥트 대역폭, 메모리 용량, 시스템 통합 기술의 발전을 바탕으로 고객은 전력 효율을 유지하면서도 더욱 크고 복잡한 AI 워크로드를 처리할 수 있다.AMD 헬리오스 레퍼런스 디자인은 전력, 냉각, IT 공간, 라이프사이클 소프트웨어 등 4개 기
Generic placeholder image
대구광역시교육청교육역사관, 새 이름과 함께 새로운 도약 시작
대구광역시교육청교육역사관은 7월 28일 오후 2시 현판 제막식을 열고 새로운 출발을 알린다. 지난 7월 1일, 기존 ‘대구교육박물관’에서 ‘대구교육역사관’으로 명칭을 바꾸고, 그동안의 전시 중심 운영에서 벗어나 교육 역사와 체험 교육이 어우러진 복합 교육공간으로 탈바꿈했다. 제막식에는 강은희 대구시교육감과 이성오
Generic placeholder image
[신호현 칼럼] 사회정서교육, 학교의 삶 속으로 들어가라
최근 사회정서교육이 세계적인 교육 의제로 떠오르고 있다.OECD는 사회정서역량이 학업 성취뿐 아니라 건강과 웰빙, 대인관계, 시민성, 미래의 삶과 밀접하
Generic placeholder image
포항시 북구 청하 의료폐기물 소각장 손배소 항소 포기에 환경단체 비판
경북 포항시가 청하면 의료폐기물 소각시설 인허가 지연과 관련한 손해배상청구소송 1심에서 패소한 뒤 항소를 포기한 사실에 대해 지역 시민단체가 반발하고 있다.29일
최신기사
Generic placeholder image
예천군,"한여름 밤 시원한 맥주 한잔 어때" 범우리 비어페스티벌 개막
한여름 무더위를 식혀줄 도심 속 맥주축제가 예천 신도시에서 열린다. 예천문화관광재단은 오는 7일 오후 7시부터 9시까지 호명읍 신도시 주차타워 앞 광장에서 '2026 예...
Generic placeholder image
전주시 "다가구주택 '방쪼개기'도 안전기준 충족하면 사용 승인 가능"
전북 전주시가 오는 12월 17일 시행되는 ‘특정건축물 정리에 관한 특별조치법’에 맞춰 조례 개정과 행정 지원 체계 구축 등 사전 준비에 나서기로 했다. 시는 그동안 법률의 ...
Generic placeholder image
파주시 청년공간 GP1939, 2년 연속 ‘경기도 우수 청년공간’ 선정
파주시 청년공간 ‘GP1939’가 2년 연속 경기도 우수 청년공간으로 선정되며 청년정책 거점 역할을 인정받았다.
Generic placeholder image
"청년이 머무는 의성 만들자"… 최유철 의성군수, 청년단체와 현장 소통
의성군이 지역 청년들의 목소리를 직접 듣고 청년정책의 실효성을 높이기 위한 소통의 자리를 마련했다. 청년들은 일자리와 주거, 창업 지원은 물론 문화·여가 공간 확충까지 생활 ...
Generic placeholder image
'현대차 9조원' 담으려 선제적 지원 나선 이것?…새만금청 '종합보세구역' 대폭 확대
현대차 9조원을 담아내기 위해 새만금 지역 내 종합보세구역도 대규모 확대 운영된다. 4일 새만금개발청과 관세청에 따르면 이날 새만금 국가산단 3·...