이번엔 진짜…오픈AI '아스트라' 10년 넘게 못 풀던 수학 난제 10개 풀어
오픈AI가 차세대 모델군으로 소개한 미공개 내부 모델 '아스트라'가 수학·이론컴퓨터과학 분야에서 최소 10년 이상 풀리지 않았던 문제 10개에 새로운 결과를 제시하고, 기계 검증이 가능한 증명도 함께 공개했다.
2일 실리콘앵글 등 외신에 따르면, 오픈AI는 249쪽 분량의 원고와 모델이 생성한 추론 과정, '린 4' 기반 증명 인증서를 깃허브에 아파치 2.0 라이선스로 공개했다.
공개된 인증서 저장소의 'sorry' 개수는 0으로 표시됐다.
오픈AI는 이는 형식화된 증명에...
2일 실리콘앵글 등 외신에 따르면, 오픈AI는 249쪽 분량의 원고와 모델이 생성한 추론 과정, '린 4' 기반 증명 인증서를 깃허브에 아파치 2.0 라이선스로 공개했다.
공개된 인증서 저장소의 'sorry' 개수는 0으로 표시됐다.
오픈AI는 이는 형식화된 증명에...
요즘 글로벌 AI판에서 중량급 키워드 중 하나가 있으니, 바로 오픈 웨이트다.가중치를 외부에 공개한다는 의미인 오픈웨이트는 새로 나온 개념도 아니고, 예전부터도 나름 이슈로 통했지만 최근에는 AI 발전 방향을 논하는 현장에서 가장 뜨겁고 묵직한 주제로 급부상했다. AI 기술 발전을 선도해온 미국에서도 오픈웨이트는 주류 담론으로 떠오르는 모양새다. 마이크로소프트, 엔비디아 등 미국 빅테크 기업들도 오픈의 가치를 강조하는 상황이다.AI에서 가중치는 AI 모델 '지능'과
조선·건설 기업 HJ중공업이 안산장상 A-10BL 및 성남복정1 B-2BL 민간참여 공공주택 건설사업의 우선협상대상자로 선정됐다고 30일 공시했다.발주처는 한국토지주택공사이며, 전체 낙찰금액은 3463억5000만원이다. 이 중 당사 지분 15%에 해당하는 당사분 낙찰금액은 519억4575만원이다. 이는 최근 매출액 대비 2.60%에 해당한다.공사 규모는 안산장상 A-10BL이 공공분양 320호, 성남복정1 B-2BL이 공공분양 735호이다. 우선협상대상자 선정
한국거래소는 충북 지역 민영방송사 씨씨에스충북방송이 주권 매매거래정지 기간이 변경됐다고 30일 공시했다.대상 종목은 씨씨에스충북방송 보통주이며, 변경 사유는 감자 주권 변경상장이다. 변경 전 정지기간은 2025년 6월 23일부터 두 가지 조건, 즉 상장적격성 실질심사 관련 개선기간 종료 후 상장폐지 여부 결정일까지와 자본감소 관련 신주권 변경상장일 전일까지로 구성됐다. 변경 후 정지기간은 2025년 6월 23일부터 개선기간 종료 후 상장폐지
신재생에너지 발전 기업 에이전트에이아이가 65억원 규모의 제3자배정 유상증자를 결정했다고 30일 공시했다.이번 유상증자는 보통주 165만9856주를 신규 발행하는 방식으로, 증자 방식은 제3자배정증자다. 배정 대상자는 프라임밸류투자조합으로, 회사의 경영상 목적 달성과 신속한 자금 조달을 위해 투자자의 의향 및 시기 등을 고려해 선정됐다고 명시됐다.신주 발행가액은 보통주 기준 주당 3916원으로, 이사회 결의일 전일을 기산일로 하여 과거 1개월간·1주일간·최근일 가중산술평균주가의
경제·금융당국이 삼성전자와 SK하이닉스 단일종목 레버리지 상장지수펀드에 개인별 투자한도를 설정한다. 시장이 급변할 경우 레버리지 배율을 조정하는 등 안정화 조치에 나설 수 있도록 법적 근거도 마련한다.구윤철 부총리 겸 재정경제부 장관은 29일 정부서울청사에서 긴급 시장상황점검회의를 열고 단일종목 레버리지 ETF 추가 대응방안을 논의했다.회의에는 신현송 한국은행 총재와 이억원 금융위원장, 이찬진 금융감독원장 등 금융당국 수장과 하준경 청와대 경제성장수석이 참석했다.당국은 단일종목 레버리지 ETF에
샘 알트먼 오픈AI CEO가 이번 주 워싱턴DC에서 정책 입안자와 규제 당국자들에게 신형 모델 '아스트라'를 시연했다고 디인포메이션이 소식통 3명을 인용해 31일 보도했다.보도에 따르면 오픈AI는 아스트라가 여러 에이전트를 장시간 함께 돌려 프로젝트나 고난도 수학 문제 같은 특히 어려운 과제를 풀어내는 능력을 갖췄다고 강조했다. 아스트라는 솔, 테라, 루나에 이어 오픈AI가 새로 선보이는 모델군이 된다.출시 시기는 아직 알려지지 않았다. GPT-6로 명명할지 GPT-5.7 같은 GPT-5 계열
미래에셋자산운용은 'TIGER 미국배당다우존스 ETF'의 연초 이후 개인 순매수가 1조원을 돌파했다고 5일 밝혔다.한국거래소에 따르면 4일 종가 기준 'TIGER 미국배당다우존스 ETF'의 연초 이후 개인 순매수는 1조 22억원으로 집계됐다. 이 상품의 순자산은 4조 1622억원을 기록하며 같은 기간 순자산 증가액이 1조 9263억원에 달했다. 상장 이후 누적 개인 순매수는 2조 5657억원이다.자금 유입은 특정 시기에 쏠리지 않고 꾸준히 이어졌다. 올해 1월부터 7월까지 7개월 연속으로
경북안동지역자활센터 자활사업단인 ‘디오커피’가 안동시청 웅부관 1층에 새롭게 입점해 8월 3일부터 운영을 시작했다.디오커피는 저소득 주민의 자립 역량을 높이고 안정적인 일자리 경험을 제공하기 위해 운영되는 자활사업단이다. 이번 입점을 통해 자활 참여 주민의 안정적인 일자리를 확대하고 시민과 공직자에게 자활사업의 의미와 가치를 알릴 계획이다.디오커피는 사업단에서 직접 만든 생강․딸기․자몽 3종류의 수제청을 활용해 다양한 음료를 선보인다. 특히 생강라떼 등 생강 음료에는 경북안동지역자활센터 영농사업단이 직접 재배한 생강을 사용해, 자활
쿠팡 모기업 쿠팡Inc가 올해 2분기 대규모 영업손실을 기록하며 시장 예상치를 크게 밑도는 실적을 발표했다.개인정보 유출 관련 과징금 반영과 세무 리스크가 동시에 부각되면서 향후 실적 회복 여부에 관심이 쏠리고 있다.쿠팡Inc는 2분기 영업손실이 약 8350억원을 기록했다고 5일 밝혔다.상반기 누적 영업손실 규모는 1조2000억원에 육박한다. 이는 최근 수년간 이어온 수익 개선 흐름이 크게 흔들린 결과로 평가된다.이번 실적 악화의 주요 원인으로는 개인정보 유출 사태와 관련한 대규모 제재 비용이 꼽힌다. 관
리플이 XRP 레저를 겨냥한 기관용 토큰화 인프라 확대에 나섰다. 4일 블록체인 매체 더 크립토 베이직에 따르면 리플은 디지털 이전대행 기술업체 ZILO와 토큰화·디지털 자산 거래 플랫폼 리퀴도에 투자했다고 밝혔다.이번 투자는 XRPL에서 기관이 토큰화 자산의 발행부터 보관, 이전, 담보 활용까지 처리할 수 있는 기반을 넓히려는 움직임이다. 리플은 이를 통해 규제된 이전대행, 디지털 발행, 담보 이동성 기능을 자사 기관 인프라에 추가한다고 설명했다.모니카 롱 리플 사
여성농어업인의 정책 참여를 확대하고 성평등한 농어업·농어촌을 실현하기 위해 지방자치단체의 전담 추진체계와 민관협력 기반을 강화해야 한다는 의견이 제시됐다. 대통령직속 농어업·농어촌특별위원회 여성농어업인특별위원회는 지난달 31일 경북 농업인회관에서 ‘성평등 정책 거버넌스 구축을 위한 제2권역 포럼’을 개최했다고 밝혔다.이번 포럼은 영남권 여성농어업인의 정책 참여 확대와 지역 단위 성평등 정책 거버넌스 구축 방안을 논의하기 위해 마련됐다. 행사에는 경남·경북지역 여성농어업인과 지방자치단체, 연구기관, 여성
“한 아이를 키우기 위해서는 온 마을이 필요하다”는 아프리카의 오래된 속담은 저출생과 학령인구 감소가 현실이 된 오늘날 우리 사회가 함께 새겨야 할 시대적 과제를 일깨워준다. 아이를 키우는 일은 한 가정만의 책임이 아니다. 지역사회와 울산시가 함께 아이들이 안전하게 배우고 성장할 환경을 만들어야 비로소 미래를 준비하는 도시가 될 수 있다.도시는 도로와 건물만으로 성장하지 않는다. 미래를 책임질 아이들에게 얼마나 투자하느냐에 따라 도시의 경쟁력이 결정된다. 저출생과 인구 감소가 국가적 과제가 된 지금, 미래세대에 대한 투자는 선택이
경남도는 벼 재배 농가의 소득 안정과 쌀 산업 기반 유지를 위해 총 150억원 규모의 ‘2026년 벼 재배 농가 경영안정자금 지원사업’ 신청을 8월 3일부터 8월 31일까지 접수한다고 밝혔다.지원 대상은 도내 주소를 두고 도내 농지에서 벼를 재배하는 농업경영체 등록 농업인이며, 벼 재배면적 1000㎡ 이상 3만㎡ 이하 농가다. 특히 올해는 수급조절용 벼도 지원 대상에 포함해 쌀 적정 생산과 농가 경영 안정에 기여할 계획이다.경영안정자금은 농가당 최대 3ha까지 재배면적에 따라 차등 지원하며, 지원단가는 사업 신청 면적 확정 후 결정
인기기사
금천구, 주민 재능으로 이웃 돌본다... ‘이웃 안녕 자원봉사 프로그램’ 운영
금천구는 ‘2026년 이웃 안녕 자원봉사 프로그램’에 참여하는 주민들이 음악과 공예, 보드게임 등 다양한 재능을 활용해 이웃과 소통하고 지역사회에 활력을 더하고 있다고 밝혔다.‘이웃 안녕 자원봉사 프로그램’은 자원봉사 활동 영역을 다양화하고 주민이 주도하는 생활 속 자원봉사 문화를 확산하기 위한 사업이다. 올해는 공모를 통해 27개 단체가 선정돼 문화공연, 환경보호, 재능기부, 돌봄 등 다양한 활동을 펼치고 있다.경로당과 복지관에서는 음악과 공예를 활용한 봉사가 어르신들의 일상에 활력을 더하고
IBK기업은행, 이이남 작가 초대전 ‘금강내산’ 개최
IBK기업은행은 창립 65주년을 맞아 오늘부터 10월 7일까지 서울 을지로 기업은행 본점 로비에서 미디어 아트 거장 이이남 작가의 초대전 ‘금강내산’을 개최한다고 밝혔다.이이남 작가는 고전 회화를 디지털 기술로 재해석해 선보이는 대한민국 대표 미디어 아티스트이다. 한국적 미학을 현대적으로 구현하며 세계적으로 주목받고 있다.전시작품 ‘금강내산’은 조선시대 화가 겸재 정선의 ‘금강전도’를 현대적으로 재해석한 작품으로 디지털 기술을 정적인 산수에 접목해 생동감을 불어넣었다. 작품 속 산봉우리
세대·국경 넘어…‘투게더’로 잇는 영화여행
제11회 울산울주세계산악영화제가 전 연령이 함께 즐기는 ‘투게더’ 섹션 상영작을 공개했다. 울산울주세계산악영화제는 산과 자연, 인간을 다루며 독보적인 전문성을 확고히 다지는 동시에, 특정 장르나 주제에 머무르지 않고 누구나 찾아와 즐길 수 있는 포용적인 문화를 일궈 왔다. 이러한 취지에 걸맞게, ‘투게더’는 영화를 통해 모든 관객이 어우러지는 장이 되는 섹션이다. 특히 올해 ‘투게더’ 섹션은 세계 최초로 공개되는 월드 프리미어 작품의 비율이 높아 독창성과 희소성을 한층 더했다. 개미를 통해 생명의 역사를 돌아보는 ‘역사의 한 겹’,
(해외환경뉴스) 기후 변화로 양서류는 식단을 바꿔야 하지만, 적응력 한계..
본 기사는 ENN이 전하는 최신 환경뉴스입니다. 앞으로 본지는 ENN은 물론 전세계 환경전문 언론에서 전하는 세계 환경문제도 함께 전달, 보도할 예정입니다. (편
[인터뷰] 임오경 의원 "경륜공원 스포츠센터 개관...문화·스포츠 콤플렉스 조성하겠다"
광명지역신문=장성윤 기자> 광명동 경륜공원 스포츠센터가 7월 31일 문을 열었다. 임오경 국회의원은 사업 초기부터 사업준비금 승인과 개발제한구역 관리계획 변경을 지원하며 사업 추진의 기반을 마련했다. 임 의원은 이번 개관을 시작으로 경륜장 일대를 시민 중심의 문화·스포츠 공간으로 발전시키겠다는 구상을 밝혔다. 다음은 임오경 의원과의 일문일답이다. Q. 경륜공원 스포츠센터가 드디어 문을 열었습니다. 소감부터 말씀해 주시죠.광명시민 여러분께 정말 반가운 소식을 전하게 되어 기쁩니다. 오랫동안 기다려온 경륜공원 스포츠센터가 마침내 문을
최신기사
홈플러스 긴급자금 확보... 인천 5개 점포 13일 정식 개장
홈플러스가 긴급 운영자금을 확보함에 따라 인천에서 5개 점포가 재개장을 준비한다.5일 홈플러스에 따르면 서울회생법원이 긴급운영자금 대출을 허가하면서 이날 2,000억원 규모 자금을 집행할 예정이다.서울회생법원은 지난달 3일 홈플러스가 회생계획안 이행에 필요한 최소 운영자금인 2,000억원을 자체적으로 마련하기 어렵다고 판단해 회생절차 폐지를 결정했다.홈플러스는 메리츠금융그룹과 2,000억원 규모의 DIP 대출 약정을 체결한 뒤 즉시항고를 제기했다.법원은 기존 회생절차 폐지 결정을 취소하고 회생계획안 제출과 승인 기한을 다음
한수원, 필리핀 민간 에너지기업과 원전 협력 확대
한수원이 필리핀 대표 민간 에너지기업과 원전 협력 체계를 구축하며 동남아 원전시장 진출 기반 확대에 나섰다.한국수력원자력은 최근 경주 본사에서 필리핀 대표 에너지기업인 아보이티즈 파워와 원전 사업 협력을 위한 양해각서를 체결했다.협약에 따라 양사는 ▲원자력 기술 관련 정보 교류 ▲신규 원전 예비타당성 조사 협력 ▲교육·세미나 및 실무협의체 운영 등 원전 사업 전반에서 협력을 추진하기로 했다.필리핀은 전력수요 증가와 에너지 안보 강화를 위
고향사항기부로 제주의 숨골 '곶자왈'을 지켜주세요
제주특별자치도는 제주만의 독특한 환경자산인 곶자왈을 보호하기 위해 사유지 곶자왈을 매입하는 고향사랑 지정기부 사업을 추진한다고 5일 밝혔다.곶자왈은 숲을 뜻하는
한국토지주택공사(LH), 군포 산본 선도지구 11구역과 사업시행약정 체결
한국토지주택공사가 ‘군포 산본 11구역 주민대표회의’와 사업시행약정을 체결했다.1기신도시 노후계획도시 선도지구인 군포 산본 11구역은 지난해 12월 특별정비구역으로 지정됐으며, 올해 6월 주민대표회의가 구성됐다. ‘노후계획도시 정비 및 지원에 관한 특별법’에 따른 추가 인센티브 적용으로 용적률이 360%까지 완화돼 총 3,892세대 공급이 예정됐다.이번 약정을 통해 LH와 주민대표회의는 사업 실행력을 높일 수 있도록 각 당사자의 책임과 역할, 사업 단계별 업무 분담 등 세부 방안을 수립하고, 이를 기반으로
제주디자인협회 창립 30주년 기념전 6일 개막
㈔제주디자인협회 창립 30주년 기념전이 6일부터 오는 15일까지 심헌갤러리에서 열린다.‘DESIGN EPISODE’를 타이틀로 내 건 이번 전시에는 회원 22명이 준비한 작품 22점이 선보인다. 그림, 사진, 도자, 목공예, 일러스트 등 다양한 분야 작품을 한자리에 감상할 수 있는 자리다.제주디자인협회는 1980년 11월 디자인 분야에서 활동하는 12명이 뜻을 모아 창립됐다.‘제주 디자인회’로 시작 1988년 제주대에 산업디자인학과가 설립된 이후 디자인을 전공하는 사람들이 늘면서 1995년 ‘제주디자인협의회’로 발전했