이번엔 진짜…오픈AI '아스트라' 10년 넘게 못 풀던 수학 난제 10개 풀어
오픈AI가 차세대 모델군으로 소개한 미공개 내부 모델 '아스트라'가 수학·이론컴퓨터과학 분야에서 최소 10년 이상 풀리지 않았던 문제 10개에 새로운 결과를 제시하고, 기계 검증이 가능한 증명도 함께 공개했다.
2일 실리콘앵글 등 외신에 따르면, 오픈AI는 249쪽 분량의 원고와 모델이 생성한 추론 과정, '린 4' 기반 증명 인증서를 깃허브에 아파치 2.0 라이선스로 공개했다.
공개된 인증서 저장소의 'sorry' 개수는 0으로 표시됐다.
오픈AI는 이는 형식화된 증명에...
2일 실리콘앵글 등 외신에 따르면, 오픈AI는 249쪽 분량의 원고와 모델이 생성한 추론 과정, '린 4' 기반 증명 인증서를 깃허브에 아파치 2.0 라이선스로 공개했다.
공개된 인증서 저장소의 'sorry' 개수는 0으로 표시됐다.
오픈AI는 이는 형식화된 증명에...
키움증권이 2026년 2분기 연결 기준 매출액 16조732억원을 기록하며 전년동기 대비 256.73% 급증했다고 30일 공시했다.이번 잠정실적은 한국채택국제회계기준을 적용한 연결재무제표 기준으로 작성됐으며, 2026년 4월 1일부터 6월 30일까지의 실적이다.2026년 2분기 당해실적 기준 영업이익은 7889억5000만원으로 전년동기 4082억9700만원 대비 93.23% 증가했다. 당기순이익은 6805억6700만원으로 전년동기 3101억3300만원 대비 119.44% 늘었
요즘 글로벌 AI판에서 중량급 키워드 중 하나가 있으니, 바로 오픈 웨이트다.가중치를 외부에 공개한다는 의미인 오픈웨이트는 새로 나온 개념도 아니고, 예전부터도 나름 이슈로 통했지만 최근에는 AI 발전 방향을 논하는 현장에서 가장 뜨겁고 묵직한 주제로 급부상했다. AI 기술 발전을 선도해온 미국에서도 오픈웨이트는 주류 담론으로 떠오르는 모양새다. 마이크로소프트, 엔비디아 등 미국 빅테크 기업들도 오픈의 가치를 강조하는 상황이다.AI에서 가중치는 AI 모델 '지능'과
한국거래소는 충북 지역 민영방송사 씨씨에스충북방송이 주권 매매거래정지 기간이 변경됐다고 30일 공시했다.대상 종목은 씨씨에스충북방송 보통주이며, 변경 사유는 감자 주권 변경상장이다. 변경 전 정지기간은 2025년 6월 23일부터 두 가지 조건, 즉 상장적격성 실질심사 관련 개선기간 종료 후 상장폐지 여부 결정일까지와 자본감소 관련 신주권 변경상장일 전일까지로 구성됐다. 변경 후 정지기간은 2025년 6월 23일부터 개선기간 종료 후 상장폐지
경제·금융당국이 삼성전자와 SK하이닉스 단일종목 레버리지 상장지수펀드에 개인별 투자한도를 설정한다. 시장이 급변할 경우 레버리지 배율을 조정하는 등 안정화 조치에 나설 수 있도록 법적 근거도 마련한다.구윤철 부총리 겸 재정경제부 장관은 29일 정부서울청사에서 긴급 시장상황점검회의를 열고 단일종목 레버리지 ETF 추가 대응방안을 논의했다.회의에는 신현송 한국은행 총재와 이억원 금융위원장, 이찬진 금융감독원장 등 금융당국 수장과 하준경 청와대 경제성장수석이 참석했다.당국은 단일종목 레버리지 ETF에
조선·건설 기업 HJ중공업이 안산장상 A-10BL 및 성남복정1 B-2BL 민간참여 공공주택 건설사업의 우선협상대상자로 선정됐다고 30일 공시했다.발주처는 한국토지주택공사이며, 전체 낙찰금액은 3463억5000만원이다. 이 중 당사 지분 15%에 해당하는 당사분 낙찰금액은 519억4575만원이다. 이는 최근 매출액 대비 2.60%에 해당한다.공사 규모는 안산장상 A-10BL이 공공분양 320호, 성남복정1 B-2BL이 공공분양 735호이다. 우선협상대상자 선정
패션 의류 기업 TBH글로벌이 최대주주 우종완 등의 소유 주식 수가 3121주 증가했다고 30일 공시했다.이번 변동은 기타 관계자인 금강레저산업이 2026년 6월 25일 보통주식 3121주를 장내매수한 데 따른 것이다. 변경 전 주식 수는 220만3101주였으며, 매수 후 220만6222주로 늘었다. 비고란에는 매매보고서 누락에 따른 지연공시로 기재됐다.이번 변동으로 최대주주 등의 합산 보유 주식 수는 직전 보고서 제출일 기준 1055만6937주
제주특별자치도는 제주만의 독특한 환경자산인 곶자왈을 보호하기 위해 사유지 곶자왈을 매입하는 고향사랑 지정기부 사업을 추진한다고 5일 밝혔다.곶자왈은 숲을 뜻하는 '곶'과 덤불을 뜻하는 '자왈'이 합쳐진 제주방언이다. 제주 지하수의 원천이자 생태계의 보고로 지질적·생태적 가치가 매우 높은 자연자산이다.이번 지정기부 사업은 '제주의 숨골, 함께 지키는 제주시 곶자왈'과 '제주의 숨골, 함께 지키는 서귀포시 곶자왈' 2건으로 진행되며, 모금 목표액은 각각 10억 원씩 총 20억 원이다.제주도는 지정기부 사업을 통해 제주시와 서귀포시 지역
㈔제주디자인협회 창립 30주년 기념전이 6일부터 오는 15일까지 심헌갤러리에서 열린다.‘DESIGN EPISODE’를 타이틀로 내 건 이번 전시에는 회원 22명이 준비한 작품 22점이 선보인다. 그림, 사진, 도자, 목공예, 일러스트 등 다양한 분야 작품을 한자리에 감상할 수 있는 자리다.제주디자인협회는 1980년 11월 디자인 분야에서 활동하는 12명이 뜻을 모아 창립됐다.‘제주 디자인회’로 시작 1988년 제주대에 산업디자인학과가 설립된 이후 디자인을 전공하는 사람들이 늘면서 1995년 ‘제주디자인협의회’로 발전했
국민에게 돌려줘야 할 병원비 환급금이 3600억원 넘게 지급되지 않은 것으로 나타났다. 이 가운데 378억원은 소멸시효가 지나 환급받을 권리마저 사라진 것으로 확인됐다.국회 보건복지위원회 소속 한지아 국민의힘 의원이 국민건강보험공단으로부터 제출받은 ‘본인부담상한액 환급금 관련 자료’를 분석한 결과, 2021년부터 올해 6월까지 5년 6개월 동안 지급되지 않은 환급금은 총 42만4727건, 3617억1800만원에 달했다.본인부담상한제는 가입자가 1년 동안 부담한 건강보험 본인부담금이 소득 수준에 따라 정해진
한수원이 필리핀 대표 민간 에너지기업과 원전 협력 체계를 구축하며 동남아 원전시장 진출 기반 확대에 나섰다.한국수력원자력은 최근 경주 본사에서 필리핀 대표 에너지기업인 아보이티즈 파워와 원전 사업 협력을 위한 양해각서를 체결했다.협약에 따라 양사는 ▲원자력 기술 관련 정보 교류 ▲신규 원전 예비타당성 조사 협력 ▲교육·세미나 및 실무협의체 운영 등 원전 사업 전반에서 협력을 추진하기로 했다.필리핀은 전력수요 증가와 에너지 안보 강화를 위
홈플러스가 긴급 운영자금을 확보함에 따라 인천에서 5개 점포가 재개장을 준비한다.5일 홈플러스에 따르면 서울회생법원이 긴급운영자금 대출을 허가하면서 이날 2,000억원 규모 자금을 집행할 예정이다.서울회생법원은 지난달 3일 홈플러스가 회생계획안 이행에 필요한 최소 운영자금인 2,000억원을 자체적으로 마련하기 어렵다고 판단해 회생절차 폐지를 결정했다.홈플러스는 메리츠금융그룹과 2,000억원 규모의 DIP 대출 약정을 체결한 뒤 즉시항고를 제기했다.법원은 기존 회생절차 폐지 결정을 취소하고 회생계획안 제출과 승인 기한을 다음
머신 비전 기반 검사 시스템 전문기업 아이비젼웍스가 반도체 웨이퍼 검사장비 시장 진입을 위해 고속 검사 시스템 개발에 속도를 낸다.아이비젼웍스는 검출력을 유지하면서 속도를 개선한 웨이퍼 검사장비를 개발할 계획이다. 올해 하반기 개념 검증, 내년 상반기 시제품 완성 및 고객사 평가를 목표로 하고 있다.현재 웨이퍼 검사장비 시장은 글로벌 AI 생태계의 급성장으로 반도체 수요가 급증하며 가파른 성장세를 보이고 있다. 글로벌 시장조사기관 포춘 비즈니스 인사이트에 따르면, 전 세계 반도체 결함 검사 장비
용인특례시의회 더불어민주당이 최근 불거진 반도체 관련 세수 논란에 대해 "추측보다 사실, 정쟁보다 정책이 우선"이라며 법인지방소득세 공동세원화를 둘러싼 정치권의 공세에 정면 대응하고 나섰다.이상욱 더불어민주당 대표의원은 5일 발표한 기고문에서 "검토 단계의 정책을 이미 확정된 것처럼 해석하거나 서로 다른 정책을 하나의 사안처럼 연결하는 것은 시민들에게 불필요한 혼란을 줄 수 있다"고 밝혔다.민주당은 이에 앞서 임준교·서정일·신민욱 의원과 함께 용인시 반도체정책과와 긴급 간담회를 열고 법인지방소득세 공동세원화와
넷마블이 기존 주력작의 업데이트와 상반기 신작 출시 흥행에 힘입어 올해 2분기 매출 성장을 기록했다. 신작 마케팅 비용이 늘며 영업이익은 다소 줄었지만 하반기 라이브 서비스 경쟁력 강화와 신작 3종 출시를 앞세워 성장세를 이어갈 계획이다.넷마블은 5일 올해 2분기 연결기준 매출 7492억 원, 영업이익 801억 원을 기록했다고 공시했다. 매출은 전년 동기대비 4.4% 증가했지만 영업이익은 20.8% 감소했다.넷마블이 지난 6월 매각한 서울 구로구 소재 사옥 '지타워' 처분 이익이 반영되며
인기기사
[7월 30일 캐시워크 돈버는퀴즈 종합]"알룰로스,원뱅킹,컷슬린,휴플러스,키토선생,픽스 녹음기" 등 전체 문제+정답!
캐시워크 돈버는퀴즈에서 '엑소좀'관련 등의 퀴즈를 제시했다.목요일인 7월 30일 오전 7시경 진행되고 있는 캐시워크 돈버는 퀴즈 '엑소좀'관련 문제는 "리비힐 엑
오픈AI, 워싱턴서 신형 모델 '아스트라' 시연..."다수 에이전트 장시간 함께 작동"
샘 알트먼 오픈AI CEO가 이번 주 워싱턴DC에서 정책 입안자와 규제 당국자들에게 신형 모델 '아스트라'를 시연했다고 디인포메이션이 소식통 3명을 인용해 31일 보도했다.보도에 따르면 오픈AI는 아스트라가 여러 에이전트를 장시간 함께 돌려 프로젝트나 고난도 수학 문제 같은 특히 어려운 과제를 풀어내는 능력을 갖췄다고 강조했다. 아스트라는 솔, 테라, 루나에 이어 오픈AI가 새로 선보이는 모델군이 된다.출시 시기는 아직 알려지지 않았다. GPT-6로 명명할지 GPT-5.7 같은 GPT-5 계열
[인터뷰] 임오경 의원 "경륜공원 스포츠센터 개관...문화·스포츠 콤플렉스 조성하겠다"
광명지역신문=장성윤 기자> 광명동 경륜공원 스포츠센터가 7월 31일 문을 열었다. 임오경 국회의원은 사업 초기부터 사업준비금 승인과 개발제한구역 관리계획 변경을 지원하며 사업 추진의 기반을 마련했다. 임 의원은 이번 개관을 시작으로 경륜장 일대를 시민 중심의 문화·스포츠 공간으로 발전시키겠다는 구상을 밝혔다. 다음은 임오경 의원과의 일문일답이다. Q. 경륜공원 스포츠센터가 드디어 문을 열었습니다. 소감부터 말씀해 주시죠.광명시민 여러분께 정말 반가운 소식을 전하게 되어 기쁩니다. 오랫동안 기다려온 경륜공원 스포츠센터가 마침내 문을
(해외환경뉴스) 기후 변화로 양서류는 식단을 바꿔야 하지만, 적응력 한계..
본 기사는 ENN이 전하는 최신 환경뉴스입니다. 앞으로 본지는 ENN은 물론 전세계 환경전문 언론에서 전하는 세계 환경문제도 함께 전달, 보도할 예정입니다. (편
[기자수첩] 폐기물 방치는 무죄, 화재경보기 차단은 유죄…갈린 것은 '인과관계'였다
같은 아파트 화재를 다룬 두 판결이 정반대 결론을 냈다. 한쪽은 관리업체에 책임이 없다 했고, 다른 쪽은 관리업체에 9,850만원을 물렸다. 언뜻 모순처럼 보이지만, 두 판결을 나란히 놓으면 법원이 관리 책임을 어디에서 끊는지가 선명하게 드러난다. 열쇠는 '인과관계'다.먼저 무죄가 된 사건을 보자. 서울 영등포구의 한 아파트 지하창고에서 원인 불명의 화재가 났다. 공제조합은 5억8,000여만원을 지급한 뒤 관리업체에 구상금을 청구했다. 근거는 세 가지였다. 가연성 쓰레기를 방치했고, 출입문이 열려 있었고, 스프링클러가 없었다는 것이
최신기사
한수원, 필리핀 민간 에너지기업과 원전 협력 확대
한수원이 필리핀 대표 민간 에너지기업과 원전 협력 체계를 구축하며 동남아 원전시장 진출 기반 확대에 나섰다.한국수력원자력은 최근 경주 본사에서 필리핀 대표 에너지기업인 아보이티즈 파워와 원전 사업 협력을 위한 양해각서를 체결했다.협약에 따라 양사는 ▲원자력 기술 관련 정보 교류 ▲신규 원전 예비타당성 조사 협력 ▲교육·세미나 및 실무협의체 운영 등 원전 사업 전반에서 협력을 추진하기로 했다.필리핀은 전력수요 증가와 에너지 안보 강화를 위
고향사항기부로 제주의 숨골 '곶자왈'을 지켜주세요
제주특별자치도는 제주만의 독특한 환경자산인 곶자왈을 보호하기 위해 사유지 곶자왈을 매입하는 고향사랑 지정기부 사업을 추진한다고 5일 밝혔다.곶자왈은 숲을 뜻하는
제주디자인협회 창립 30주년 기념전 6일 개막
㈔제주디자인협회 창립 30주년 기념전이 6일부터 오는 15일까지 심헌갤러리에서 열린다.‘DESIGN EPISODE’를 타이틀로 내 건 이번 전시에는 회원 22명이 준비한 작품 22점이 선보인다. 그림, 사진, 도자, 목공예, 일러스트 등 다양한 분야 작품을 한자리에 감상할 수 있는 자리다.제주디자인협회는 1980년 11월 디자인 분야에서 활동하는 12명이 뜻을 모아 창립됐다.‘제주 디자인회’로 시작 1988년 제주대에 산업디자인학과가 설립된 이후 디자인을 전공하는 사람들이 늘면서 1995년 ‘제주디자인협의회’로 발전했
송옥주 의원, 청년·신혼부부 저금리 주거자금 지원법 발의
국회 농림축산식품해양수산위원회 소속 송옥주 국회의원은 청년과 신혼부부의 주택 구입자금 및 전세자금에 대한 저금리 융자 지원 근거를 담은 「주택도시기금법」 일부개정법률안을 대표발의했다고 밝혔다.최근 주택 가격과 전세금이 오르면서 초기 자산이 부족한 청년층과 신혼부부의 주거비 부담이 커지고 있다. 주택을 구입하거나 전세자금을 마련하는 데 어려움을 겪는 청년·신혼부부가 늘면서 주거 불안도 심화하는 상황이다.한국토지주택공사가 2024년 실시한 ‘임대주택 거주 2030 청년의 결혼
제주지역 교원단체 “교육감, 정무부교육감 입장 밝혀야”
제주교원단체총연합회은 5일 논평을 내고 고의숙 제주특별자치도교육감에게 정무부교육감 임명에 대한 명확한 입장을 밝히라고 촉구했다.제주교총은 “고 교육감은 교육의원이던 2024년 정무부교육감 직제 신설에 대해 ‘신중한 재검토’ 입장을 견지해오다 교육감 취임 후 ‘종합적으로 검하고 있다’고 밝혔다”며 “과거의 문제의식이 지금 어떻게 이어지고 있는지 교육감이 직접 설명해야 한다”고 밝혔다.제주교총은 “도민과 교육가족 앞에 충분한 설명이 있을 경우 입장 변화는 번복이 아니라 숙고의 결과로 받아들여질