이번엔 진짜…오픈AI '아스트라' 10년 넘게 못 풀던 수학 난제 10개 풀어
오픈AI가 차세대 모델군으로 소개한 미공개 내부 모델 '아스트라'가 수학·이론컴퓨터과학 분야에서 최소 10년 이상 풀리지 않았던 문제 10개에 새로운 결과를 제시하고, 기계 검증이 가능한 증명도 함께 공개했다.
2일 실리콘앵글 등 외신에 따르면, 오픈AI는 249쪽 분량의 원고와 모델이 생성한 추론 과정, '린 4' 기반 증명 인증서를 깃허브에 아파치 2.0 라이선스로 공개했다.
공개된 인증서 저장소의 'sorry' 개수는 0으로 표시됐다.
오픈AI는 이는 형식화된 증명에...
2일 실리콘앵글 등 외신에 따르면, 오픈AI는 249쪽 분량의 원고와 모델이 생성한 추론 과정, '린 4' 기반 증명 인증서를 깃허브에 아파치 2.0 라이선스로 공개했다.
공개된 인증서 저장소의 'sorry' 개수는 0으로 표시됐다.
오픈AI는 이는 형식화된 증명에...
글로벌 게임업계 최대 기대작으로 꼽히는 락스타게임즈 '그랜드 테프트 오토6' 출시가 약 넉 달 앞으로 다가오면서 국내 게임사의 하반기 전략에도 긴장감이 번지고 있다. 콘솔·PC 시장 공략을 확대해온 국내 업체 입장에서는 신작 출시 일정과 마케팅 자원 배분을 다시 짜야 하는 대형 변수가 등장한 셈이다.◆13년 만의 귀환…흥행 규모부터 남다르다락스타게임즈는 GTA6를 오는 11월 19일 플레이스테이션5와 엑스박스 시리즈 X·S로 출시한다. 2013년 GTA5 출시 이후 13년 만의 정식 후속작이다
샘 알트먼 오픈AI CEO가 이번 주 워싱턴DC에서 정책 입안자와 규제 당국자들에게 신형 모델 '아스트라'를 시연했다고 디인포메이션이 소식통 3명을 인용해 31일 보도했다.보도에 따르면 오픈AI는 아스트라가 여러 에이전트를 장시간 함께 돌려 프로젝트나 고난도 수학 문제 같은 특히 어려운 과제를 풀어내는 능력을 갖췄다고 강조했다. 아스트라는 솔, 테라, 루나에 이어 오픈AI가 새로 선보이는 모델군이 된다.출시 시기는 아직 알려지지 않았다. GPT-6로 명명할지 GPT-5.7 같은 GPT-5 계열
키움증권이 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% 늘었
패션 의류 기업 TBH글로벌이 최대주주 우종완 등의 소유 주식 수가 3121주 증가했다고 30일 공시했다.이번 변동은 기타 관계자인 금강레저산업이 2026년 6월 25일 보통주식 3121주를 장내매수한 데 따른 것이다. 변경 전 주식 수는 220만3101주였으며, 매수 후 220만6222주로 늘었다. 비고란에는 매매보고서 누락에 따른 지연공시로 기재됐다.이번 변동으로 최대주주 등의 합산 보유 주식 수는 직전 보고서 제출일 기준 1055만6937주
한국거래소는 충북 지역 민영방송사 씨씨에스충북방송이 주권 매매거래정지 기간이 변경됐다고 30일 공시했다.대상 종목은 씨씨에스충북방송 보통주이며, 변경 사유는 감자 주권 변경상장이다. 변경 전 정지기간은 2025년 6월 23일부터 두 가지 조건, 즉 상장적격성 실질심사 관련 개선기간 종료 후 상장폐지 여부 결정일까지와 자본감소 관련 신주권 변경상장일 전일까지로 구성됐다. 변경 후 정지기간은 2025년 6월 23일부터 개선기간 종료 후 상장폐지
조선·건설 기업 HJ중공업이 안산장상 A-10BL 및 성남복정1 B-2BL 민간참여 공공주택 건설사업의 우선협상대상자로 선정됐다고 30일 공시했다.발주처는 한국토지주택공사이며, 전체 낙찰금액은 3463억5000만원이다. 이 중 당사 지분 15%에 해당하는 당사분 낙찰금액은 519억4575만원이다. 이는 최근 매출액 대비 2.60%에 해당한다.공사 규모는 안산장상 A-10BL이 공공분양 320호, 성남복정1 B-2BL이 공공분양 735호이다. 우선협상대상자 선정
영국 AI보안연구소가 4일 공개한 보안 사고 보고서에 따르면, 지난달 사이버 보안 평가 도중 일부 첨단 AI 모델 기반 에이전트들이 스스로
국가를 위해 헌신한 보훈대상자들이 보다 가까운 곳에서 복지 혜택을 누릴 수 있도록 찾아가는 보훈서비스가 현장 속으로 한 걸음 더 다가갔다.강원동부보훈지청은 보비스 선포일을 맞아 지난 4일 동해시와 삼척시보훈회관을 찾아 이동보훈복지사업 홍보 활동을 펼쳤다.이번 행사는 보훈회관을 이용하는 보훈대상자들에게 보비스 사업의 취지와 지원 내용을 알리고, 생활 속 불편사항을 직접 듣기 위해 마련됐다. 현장에서는 이동보훈복지사업 안내자료를 배부하는 한편, 보훈 관련 업무 상담과 민원 신청 접수도 함께 진
넷마블이 2026년 2분기 해외 매출 비중 78%를 달성하고 영업이익 801억 원을 기록하며 전분기 대비 뚜렷한 실적 반등에 성공했다. 기존 글로벌 라이브 게임의 대형 업데이트 효과와 함께 지난 6월 선보인 신작 MMORPG 'SOL: enchant'의 성과가 반영된 결과로, 하반기에는 글로벌 신작 3종을 연이어 투입해 성장 모멘텀을 더욱 강화한다는 전략이다.넷마블은 2026년 2분기 연결기준 매출 7492억 원, EBITDA 1120억 원, 영업이익 801억 원, 당기순이익 2039억 원을 기록했다
홍종오 기자 = 대구 영진전문대학교 국방군사계열은 지난 8월 3일부터 6일까지 일본 규슈 일원에서 ‘2026학년도 해외선진...
인기기사
[인터뷰] 임오경 의원 "경륜공원 스포츠센터 개관...문화·스포츠 콤플렉스 조성하겠다"
광명지역신문=장성윤 기자> 광명동 경륜공원 스포츠센터가 7월 31일 문을 열었다. 임오경 국회의원은 사업 초기부터 사업준비금 승인과 개발제한구역 관리계획 변경을 지원하며 사업 추진의 기반을 마련했다. 임 의원은 이번 개관을 시작으로 경륜장 일대를 시민 중심의 문화·스포츠 공간으로 발전시키겠다는 구상을 밝혔다. 다음은 임오경 의원과의 일문일답이다. Q. 경륜공원 스포츠센터가 드디어 문을 열었습니다. 소감부터 말씀해 주시죠.광명시민 여러분께 정말 반가운 소식을 전하게 되어 기쁩니다. 오랫동안 기다려온 경륜공원 스포츠센터가 마침내 문을
진주비봉로타리클럽, 진주장복에 250만원 상당 식료품 후원
국제로타리 3590지구 진주비봉로타리클럽은 지난 28일 진주시복지재단에서 운영하는 진주시장애인종합복지관을 방문하여 250만원 상당의 10분쿡 식료품 70박스를 후원했다.이번 후원은 ‘나눔의 실천 소소한 행복 나누기’ 사업의 일환으로 진행되었으며, 후원된 식료품은 복지관 내 매일 약 200명의 지역 장애인들이 이용하는 집단급식소에서 식자재로 활용될 예정이다.진주비봉로타리클럽은 그동안 장애인 지원을 비롯해 노인복지, 청소년 교육, 환경 보호 등 다양한 사회공헌사업을 꾸준히 펼쳐오며 지역사회에
세대·국경 넘어…‘투게더’로 잇는 영화여행
제11회 울산울주세계산악영화제가 전 연령이 함께 즐기는 ‘투게더’ 섹션 상영작을 공개했다. 울산울주세계산악영화제는 산과 자연, 인간을 다루며 독보적인 전문성을 확고히 다지는 동시에, 특정 장르나 주제에 머무르지 않고 누구나 찾아와 즐길 수 있는 포용적인 문화를 일궈 왔다. 이러한 취지에 걸맞게, ‘투게더’는 영화를 통해 모든 관객이 어우러지는 장이 되는 섹션이다. 특히 올해 ‘투게더’ 섹션은 세계 최초로 공개되는 월드 프리미어 작품의 비율이 높아 독창성과 희소성을 한층 더했다. 개미를 통해 생명의 역사를 돌아보는 ‘역사의 한 겹’,
"1주택 실수요자 종부세 체계 정교화…다주택자 양도세 중과 유예 검토해야"
정부의 부동산 세제개편안 발표를 앞두고 실수요자 보호와 시장 기능 회복을 중심으로 한 '조세 정상화'가 이번 개편의 핵심 방향이 되어야 한다는 제언이 나왔다.국회 재정경제기획위원회 소속 안도걸 의원은 30일 발표한 입장문에서 "이번 부동산 세제개편의 본질은 세수 증대나 징벌적 과세가 아니라 왜곡된 시장을 바로잡는 조세 정상화"라며 실수요자 보호와 주택 공급 확대, 임대차시장 안정이 균형 있게 반영돼야 한다고 밝혔다.안 의원은 정부가 총 5차례의 부동산 정책 토론회와 7천여 건의 국민 의견 수렴을 진행한
최신기사
이상봉 제주시장 후보자 인사청문 절차 본격화
이상봉 제주시장 후보자에 대한 인사청문 절차가 본격화됐다.5일 제주특별자치도의회에 따르면 제주특별자치도는 지난 4일 이상봉 후보자에 대한 인사청문요청서를 발송했다.요청서가 접수됨에 따라 도의회는 20일 이내에 인사청문 보고서를 채택해 제주도에 송부해야 한다.즉, 24일까지는 모든 절차를 마쳐야 한다는 것이다.다만 도의회는 오는 6일 인사청문특별위원회를 구성해 동의안을 회부할 예정이다.동의안이 회부되면 위원회는 15일 이내에 인사청문회를 실시해야 한다. 즉, 청문회는 21일 이전 실시해야 하는 것이다.다만 18일부터 21일까지 전국단
전교조 제주지부, 지방교육재정교부금 개편 논의 중단 촉구
전국교직원노동조합 제주지부는 5일 성명을 내고 “지방교육재정교부금 개편 논의를 즉각 중단하라”고 교육부에 촉구했다.전교조제주지부는 “정부는 학령인구 감소를 지방교육재정교부금 개편의 주요 근거로 제시하는데 학생 수가 줄었다고 학교에서 필요한 교육까지 줄어드는 것은 아니다”고 주장했다.전교조제주지부는 “대학 등 다른 분야의 재원을 마련하기 위해 초·중등교육을 위한 지방교육재정을 축소하면 안된다. 정부는 작은 학교와 원도심 학교가 지역 공공교육 기반으로 역할을 지속할 수 있도록 안정적인 지방교육재정을 보장해야 한다”
제주지역 교원단체 “교육감, 정무부교육감 입장 밝혀야”
제주교원단체총연합회은 5일 논평을 내고 고의숙 제주특별자치도교육감에게 정무부교육감 임명에 대한 명확한 입장을 밝히라고 촉구했다.제주교총은 “고 교육감은 교육의원이던 2024년 정무부교육감 직제 신설에 대해 ‘신중한 재검토’ 입장을 견지해오다 교육감 취임 후 ‘종합적으로 검하고 있다’고 밝혔다”며 “과거의 문제의식이 지금 어떻게 이어지고 있는지 교육감이 직접 설명해야 한다”고 밝혔다.제주교총은 “도민과 교육가족 앞에 충분한 설명이 있을 경우 입장 변화는 번복이 아니라 숙고의 결과로 받아들여질
함양, 폭염 대비 정수장 근로자 안전관리 강화
함양군 상하수도사업소는 본격적인 여름철 폭염에 대비해 함양정수장과 서상정수장 등 관내 정수시설 근로자의 온열질환 예방과 안전관리를 강화한다고 밝혔다.정수장은 24시간 운영되는 시설로 여름철에도 취수·정수·송수 등 전 공정에 대한 현장 순찰과 시설 점검이 지속적으로 이뤄진다. 특히 야외 배수지와 관로 점검, 약품 투입, 기계·전기 설비 유지보수 작업은 고온 환경에 장시간 노출될 수 있어 근로자 안전관리가 무엇보다 중요하다.이에 사업소는 온열질환 예방 3대 수칙인 ‘물·그늘·휴식’을 철저히 준수하고, 폭염특보
김해, 폭염기 대응 원예농가 ‘맞춤형 현장기술지원’
김해시는 연일 이어지는 폭염과 가뭄, 그리고 향후 발생할 수 있는 태풍 및 집중호우 등 기상재해에 선제적으로 대응하기 위해 ‘현장 중심의 기상재해 대응 총력전’에 나선다.시는 지난 1일부터 9월 30일까지 두 달간, 원예작물의 생육 비상 상황을 해결하기 위한 ‘원예농가 맞춤형 현장기술지원’을 실시한다고 밝혔다.이번 현장 기술지원은 관내 주요 재배 작물인 채소류, 화훼류, 과수류 총 3개 분야 15개 작목을 대상으로 전문가가 직접 방문하는 ‘맞춤형 현장기술지원’ 형태로 진행된