이번엔 진짜…오픈AI '아스트라' 10년 넘게 못 풀던 수학 난제 10개 풀어
오픈AI가 차세대 모델군으로 소개한 미공개 내부 모델 '아스트라'가 수학·이론컴퓨터과학 분야에서 최소 10년 이상 풀리지 않았던 문제 10개에 새로운 결과를 제시하고, 기계 검증이 가능한 증명도 함께 공개했다.
2일 실리콘앵글 등 외신에 따르면, 오픈AI는 249쪽 분량의 원고와 모델이 생성한 추론 과정, '린 4' 기반 증명 인증서를 깃허브에 아파치 2.0 라이선스로 공개했다.
공개된 인증서 저장소의 'sorry' 개수는 0으로 표시됐다.
오픈AI는 이는 형식화된 증명에...
2일 실리콘앵글 등 외신에 따르면, 오픈AI는 249쪽 분량의 원고와 모델이 생성한 추론 과정, '린 4' 기반 증명 인증서를 깃허브에 아파치 2.0 라이선스로 공개했다.
공개된 인증서 저장소의 'sorry' 개수는 0으로 표시됐다.
오픈AI는 이는 형식화된 증명에...
한국거래소는 충북 지역 민영방송사 씨씨에스충북방송이 주권 매매거래정지 기간이 변경됐다고 30일 공시했다.대상 종목은 씨씨에스충북방송 보통주이며, 변경 사유는 감자 주권 변경상장이다. 변경 전 정지기간은 2025년 6월 23일부터 두 가지 조건, 즉 상장적격성 실질심사 관련 개선기간 종료 후 상장폐지 여부 결정일까지와 자본감소 관련 신주권 변경상장일 전일까지로 구성됐다. 변경 후 정지기간은 2025년 6월 23일부터 개선기간 종료 후 상장폐지
글로벌 게임업계 최대 기대작으로 꼽히는 락스타게임즈 '그랜드 테프트 오토6' 출시가 약 넉 달 앞으로 다가오면서 국내 게임사의 하반기 전략에도 긴장감이 번지고 있다. 콘솔·PC 시장 공략을 확대해온 국내 업체 입장에서는 신작 출시 일정과 마케팅 자원 배분을 다시 짜야 하는 대형 변수가 등장한 셈이다.◆13년 만의 귀환…흥행 규모부터 남다르다락스타게임즈는 GTA6를 오는 11월 19일 플레이스테이션5와 엑스박스 시리즈 X·S로 출시한다. 2013년 GTA5 출시 이후 13년 만의 정식 후속작이다
키움증권이 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 CEO가 이번 주 워싱턴DC에서 정책 입안자와 규제 당국자들에게 신형 모델 '아스트라'를 시연했다고 디인포메이션이 소식통 3명을 인용해 31일 보도했다.보도에 따르면 오픈AI는 아스트라가 여러 에이전트를 장시간 함께 돌려 프로젝트나 고난도 수학 문제 같은 특히 어려운 과제를 풀어내는 능력을 갖췄다고 강조했다. 아스트라는 솔, 테라, 루나에 이어 오픈AI가 새로 선보이는 모델군이 된다.출시 시기는 아직 알려지지 않았다. GPT-6로 명명할지 GPT-5.7 같은 GPT-5 계열
요즘 글로벌 AI판에서 중량급 키워드 중 하나가 있으니, 바로 오픈 웨이트다.가중치를 외부에 공개한다는 의미인 오픈웨이트는 새로 나온 개념도 아니고, 예전부터도 나름 이슈로 통했지만 최근에는 AI 발전 방향을 논하는 현장에서 가장 뜨겁고 묵직한 주제로 급부상했다. AI 기술 발전을 선도해온 미국에서도 오픈웨이트는 주류 담론으로 떠오르는 모양새다. 마이크로소프트, 엔비디아 등 미국 빅테크 기업들도 오픈의 가치를 강조하는 상황이다.AI에서 가중치는 AI 모델 '지능'과
신재생에너지 발전 기업 에이전트에이아이가 65억원 규모의 제3자배정 유상증자를 결정했다고 30일 공시했다.이번 유상증자는 보통주 165만9856주를 신규 발행하는 방식으로, 증자 방식은 제3자배정증자다. 배정 대상자는 프라임밸류투자조합으로, 회사의 경영상 목적 달성과 신속한 자금 조달을 위해 투자자의 의향 및 시기 등을 고려해 선정됐다고 명시됐다.신주 발행가액은 보통주 기준 주당 3916원으로, 이사회 결의일 전일을 기산일로 하여 과거 1개월간·1주일간·최근일 가중산술평균주가의
커스텀 키보드 시장에서는 색상과 각인에 계절감이나 음료, 과일 등을 반영한 테마형 키캡 세트가 꾸준히 출시되고 있다. 배열과 소재 등 기본 사양은 유지하면서 색 구성만 달리해 사용자가 취향에 따라 외관을 바꾸는 방식이 자리 잡았다.커스텀 키보드와 혁신적인 입력기기인 몬스타덱을 통해 시장을 선도하고 있으며, 몬스타기어 브랜드로 게이밍 기어, 커스텀 수랭 쿨러, AI 딥러닝 등 하이엔드 PC 제조에 특화된 기업 몬스타주식회사가 여름 테마 키캡과 키보드를 모은 모음전을 선보였다.이번 모음전에는 여름
광명시가 시민이 함께 배우고 나누는 평생학습 문화를 확산한다.시는 광명시 평생학습동아리연합회 주관으로 '2026 배움과 나눔의 장'을 운영한다고 5일 밝혔다.이번 행사는 '2026년 광명시 학습동아리 지원 공모사업'의 하나로 학습동아리의 활동 성과를 공연·체험·전시로 선보이고 시민들의 일상 속 평생학습 참여를 확대하기 위해 마련했다.지난 4일 열린 첫 행사에서는 우쿨렐레·오카리나·기타 동아리의 악기 연주와 수어 동아리 공연이 펼쳐져 시민들에게 즐거움을 선사했다. 또한 토탈공예와 가죽공예 동아리 작품 전시와
5일 오전 6시20분쯤 충북 충주시 목행동의 한 교차로에서 승용차를 몰던 A씨가 맞은편에서 좌회전하던 B씨의 SUV 차량 측면을 충돌했다.이 사고로 B씨가 병원으로 옮겨졌으나 결국 숨졌다. A씨도 병원으로 이송돼 치료받고 있다.경찰은 B씨가 유턴 지점에서 좌회전을 하다가 맞은편 직진 차량과 충돌한 것으로 보고 있다./이용주기자[email protected]
편집자주: 이 글은 정부와 사업 참여기관이 발표한 국가 AI 컴퓨팅센터 구축계획을 바탕으로 산업적·지역적 파급효과를 분석한 기사입니다. 본문에 제시된 고용 및 경
‘보고 싶고, 만나고 싶어.’ 다시 만날 수 없는 이를 향한 그리움은 개인의 슬픔으로 머물지 않았다. 남겨진 가족들은 서로의 손을 맞잡고 진실을 밝히며 민주주의를 지켜왔다. 그들의 기다림과 실천은 어느덧 민주주의를 지켜낸 40년의 역사가 됐다.민주화운동기념사업회는 오는 8월 12일부터 10월 4일까지 서울 용산구 민주화운동기념관 M1 1층에서 기획전시 ‘유가협·민가협 40주년 기념전: 보고 싶고, 만나고 싶어’를 개최한다.이번 전시는 전국민족민주유가족협의회(이하
인기기사
(해외환경뉴스) 기후 변화로 양서류는 식단을 바꿔야 하지만, 적응력 한계..
본 기사는 ENN이 전하는 최신 환경뉴스입니다. 앞으로 본지는 ENN은 물론 전세계 환경전문 언론에서 전하는 세계 환경문제도 함께 전달, 보도할 예정입니다. (편
오픈AI, 워싱턴서 신형 모델 '아스트라' 시연..."다수 에이전트 장시간 함께 작동"
샘 알트먼 오픈AI CEO가 이번 주 워싱턴DC에서 정책 입안자와 규제 당국자들에게 신형 모델 '아스트라'를 시연했다고 디인포메이션이 소식통 3명을 인용해 31일 보도했다.보도에 따르면 오픈AI는 아스트라가 여러 에이전트를 장시간 함께 돌려 프로젝트나 고난도 수학 문제 같은 특히 어려운 과제를 풀어내는 능력을 갖췄다고 강조했다. 아스트라는 솔, 테라, 루나에 이어 오픈AI가 새로 선보이는 모델군이 된다.출시 시기는 아직 알려지지 않았다. GPT-6로 명명할지 GPT-5.7 같은 GPT-5 계열
두산, 국내 유일 반도체 웨이퍼 제조사 ‘SK실트론’ 인수
두산은 31일 이사회를 열고 SK가 보유한 SK실트론 지분 70.6%를 인수하는 주식매매계약 체결을 승인했다고 공시했다. 인수 금액은 2조3000억원 규모로, 향후 매매대금 조정 과정 등을 거쳐 확정될 예정이다.SK실트론은 국내 유일의 반도체 웨이퍼 제조 기업으로 지난해 매출은 약 2조원, 영업이익은 4000억원을 웃돈다.웨이퍼는 반도체 칩 생산 토대가 되는 핵심 소재로. 반도체 전공정의 모든 과정은 웨이퍼 표면 위에서 이뤄지기 때문에 웨이퍼 품질이 반도체 생산 전체 수율에 절대적 영향을 미친다.따라서 웨이퍼 제조는 기
세대·국경 넘어…‘투게더’로 잇는 영화여행
제11회 울산울주세계산악영화제가 전 연령이 함께 즐기는 ‘투게더’ 섹션 상영작을 공개했다. 울산울주세계산악영화제는 산과 자연, 인간을 다루며 독보적인 전문성을 확고히 다지는 동시에, 특정 장르나 주제에 머무르지 않고 누구나 찾아와 즐길 수 있는 포용적인 문화를 일궈 왔다. 이러한 취지에 걸맞게, ‘투게더’는 영화를 통해 모든 관객이 어우러지는 장이 되는 섹션이다. 특히 올해 ‘투게더’ 섹션은 세계 최초로 공개되는 월드 프리미어 작품의 비율이 높아 독창성과 희소성을 한층 더했다. 개미를 통해 생명의 역사를 돌아보는 ‘역사의 한 겹’,
"1주택 실수요자 종부세 체계 정교화…다주택자 양도세 중과 유예 검토해야"
정부의 부동산 세제개편안 발표를 앞두고 실수요자 보호와 시장 기능 회복을 중심으로 한 '조세 정상화'가 이번 개편의 핵심 방향이 되어야 한다는 제언이 나왔다.국회 재정경제기획위원회 소속 안도걸 의원은 30일 발표한 입장문에서 "이번 부동산 세제개편의 본질은 세수 증대나 징벌적 과세가 아니라 왜곡된 시장을 바로잡는 조세 정상화"라며 실수요자 보호와 주택 공급 확대, 임대차시장 안정이 균형 있게 반영돼야 한다고 밝혔다.안 의원은 정부가 총 5차례의 부동산 정책 토론회와 7천여 건의 국민 의견 수렴을 진행한
최신기사
전교조 제주지부, 지방교육재정교부금 개편 논의 중단 촉구
전국교직원노동조합 제주지부는 5일 성명을 내고 “지방교육재정교부금 개편 논의를 즉각 중단하라”고 교육부에 촉구했다.전교조제주지부는 “정부는 학령인구 감소를 지방교육재정교부금 개편의 주요 근거로 제시하는데 학생 수가 줄었다고 학교에서 필요한 교육까지 줄어드는 것은 아니다”고 주장했다.전교조제주지부는 “대학 등 다른 분야의 재원을 마련하기 위해 초·중등교육을 위한 지방교육재정을 축소하면 안된다. 정부는 작은 학교와 원도심 학교가 지역 공공교육 기반으로 역할을 지속할 수 있도록 안정적인 지방교육재정을 보장해야 한다”
이상봉 제주시장 후보자 인사청문 절차 본격화
이상봉 제주시장 후보자에 대한 인사청문 절차가 본격화됐다.5일 제주특별자치도의회에 따르면 제주특별자치도는 지난 4일 이상봉 후보자에 대한 인사청문요청서를 발송했다.요청서가 접수됨에 따라 도의회는 20일 이내에 인사청문 보고서를 채택해 제주도에 송부해야 한다.즉, 24일까지는 모든 절차를 마쳐야 한다는 것이다.다만 도의회는 오는 6일 인사청문특별위원회를 구성해 동의안을 회부할 예정이다.동의안이 회부되면 위원회는 15일 이내에 인사청문회를 실시해야 한다. 즉, 청문회는 21일 이전 실시해야 하는 것이다.다만 18일부터 21일까지 전국단
한수원, 필리핀 민간 에너지기업과 원전 협력 확대
한수원이 필리핀 대표 민간 에너지기업과 원전 협력 체계를 구축하며 동남아 원전시장 진출 기반 확대에 나섰다.한국수력원자력은 최근 경주 본사에서 필리핀 대표 에너지기업인 아보이티즈 파워와 원전 사업 협력을 위한 양해각서를 체결했다.협약에 따라 양사는 ▲원자력 기술 관련 정보 교류 ▲신규 원전 예비타당성 조사 협력 ▲교육·세미나 및 실무협의체 운영 등 원전 사업 전반에서 협력을 추진하기로 했다.필리핀은 전력수요 증가와 에너지 안보 강화를 위
서귀포산업과학고등학교, 대한민국 학생창의력 챔피언대회 고등부 대상 수상
서귀포산업과학고등학교 ‘와락 놀람쪄잉’팀이 지식재산처 주최, 한국발명진흥회 주관으로 지난달 30일부터 이달 1일까지 대구 엑스코에서 열린 ‘2026 대한민국 학생창의력 챔피언대회’에서 고등부 대상을 받았다.‘와락 놀람쪄잉’팀은 창의적인 아이디어를 바탕으로 과제를 완성도 높게 구현하고 팀원 간 뛰어난 협업과 문제 해결 능력을 발휘해 심사위원들로부터 높은 평가를 받았다.이 대회에서 제주대학교교육대학부설초등학교 ‘펀펀한 부초미’팀과 성산중학교 ‘메타몽’팀도 각각 초등부와 중등부 은상
함양, 폭염 대비 정수장 근로자 안전관리 강화
함양군 상하수도사업소는 본격적인 여름철 폭염에 대비해 함양정수장과 서상정수장 등 관내 정수시설 근로자의 온열질환 예방과 안전관리를 강화한다고 밝혔다.정수장은 24시간 운영되는 시설로 여름철에도 취수·정수·송수 등 전 공정에 대한 현장 순찰과 시설 점검이 지속적으로 이뤄진다. 특히 야외 배수지와 관로 점검, 약품 투입, 기계·전기 설비 유지보수 작업은 고온 환경에 장시간 노출될 수 있어 근로자 안전관리가 무엇보다 중요하다.이에 사업소는 온열질환 예방 3대 수칙인 ‘물·그늘·휴식’을 철저히 준수하고, 폭염특보