이번엔 진짜…오픈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 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% 늘었
경제·금융당국이 삼성전자와 SK하이닉스 단일종목 레버리지 상장지수펀드에 개인별 투자한도를 설정한다. 시장이 급변할 경우 레버리지 배율을 조정하는 등 안정화 조치에 나설 수 있도록 법적 근거도 마련한다.구윤철 부총리 겸 재정경제부 장관은 29일 정부서울청사에서 긴급 시장상황점검회의를 열고 단일종목 레버리지 ETF 추가 대응방안을 논의했다.회의에는 신현송 한국은행 총재와 이억원 금융위원장, 이찬진 금융감독원장 등 금융당국 수장과 하준경 청와대 경제성장수석이 참석했다.당국은 단일종목 레버리지 ETF에
패션 의류 기업 TBH글로벌이 최대주주 우종완 등의 소유 주식 수가 3121주 증가했다고 30일 공시했다.이번 변동은 기타 관계자인 금강레저산업이 2026년 6월 25일 보통주식 3121주를 장내매수한 데 따른 것이다. 변경 전 주식 수는 220만3101주였으며, 매수 후 220만6222주로 늘었다. 비고란에는 매매보고서 누락에 따른 지연공시로 기재됐다.이번 변동으로 최대주주 등의 합산 보유 주식 수는 직전 보고서 제출일 기준 1055만6937주
샘 알트먼 오픈AI 최고경영자가 AI 시대의 간과된 위험으로 인간의 인지 능력 위축을 지목했다.30일 비즈니스인사이더에 따르면, 알트먼은 29일 공개된 팟캐스트 '인베스트 라이크 더 베스트'에서 AI가 사람 대신 너무 많은 사고를 맡으면 인간의 정신적 근력이 약해질 수 있다고 말했다.알트먼은 AI를 둘러싼 가장 중요한 미해결 과제를 묻는 질문에 '충분한 주목을 받지 못하는 문제 중 하나는 우리가 어떻게 인지 능력 위축을 피할 것이냐는 점'이라고 말했다. 이어 '이 도구를 쓰면서도 뇌를
요즘 글로벌 AI판에서 중량급 키워드 중 하나가 있으니, 바로 오픈 웨이트다.가중치를 외부에 공개한다는 의미인 오픈웨이트는 새로 나온 개념도 아니고, 예전부터도 나름 이슈로 통했지만 최근에는 AI 발전 방향을 논하는 현장에서 가장 뜨겁고 묵직한 주제로 급부상했다. AI 기술 발전을 선도해온 미국에서도 오픈웨이트는 주류 담론으로 떠오르는 모양새다. 마이크로소프트, 엔비디아 등 미국 빅테크 기업들도 오픈의 가치를 강조하는 상황이다.AI에서 가중치는 AI 모델 '지능'과
스마트폰 안에서 실행되는 애플리케이션이 불안을 다스리고, 외상 후 스트레스 장애 환자의 트라우 마를 재구성하며, 만성 불면의 수
광명지역신문=장성윤 기자> 경기도의회 국민의힘이 추미애 경기도지사의 정치적 발언을 강하게 비판하며 도정에 전념할 것을 촉구했다.국민의힘은 3일 입장문을 내고 "추미애 경기도지사의 정제되지 않은 언사와 중앙 정치를 향한 과도한 개입이 선을 넘고 있다"며 "도민의 삶을 최우선으로 챙겨야 할 광역지방자치단체장이 본업인 도정을 뒤로한 채 정치적 대립만 부추기고 있다"고 비판했다.이어 "도지사가 '깡패' 등 거친 표현을 사용하며 편 가르기식 정치에 나서는 모습은 경기도민에게 실망과 분노를 안길 뿐"이라며 "지자체장으로서의 품격은 물론 도정에
인기기사
동심도 흥도 터졌다! '봉화은어축제', 전 세대 ‘들썩’
제28회 봉화은어축제 다섯째 날인 29일, 어린이와 관광객, 지역기관이 직접 무대와 체험의 주인공으로 나서며 축제장 곳곳을 뜨거운 열기로 채웠다.낮에는 어린이들의 사랑을 받는 ‘고고다이노 곤충탐험대 싱어롱쇼’와 봉화군청·봉화군의회의 은어잡이 대결이 펼쳐졌고, 밤에는 관광객이 직접 노래 실력을 뽐내는 ‘창현 거리노래방’이 이어졌다. 관람 중심의 공연에서 벗어나 세대별 관광객이 직접 참여하고 즐기는 프로그램이 하루 종일 펼쳐지며 축제의 활력을 더했다.▲ 노래하고 춤추고 사진까지…고고다이노와 함께한 어린이들이날 오후 청소년수련관에서는 인
세대·국경 넘어…‘투게더’로 잇는 영화여행
제11회 울산울주세계산악영화제가 전 연령이 함께 즐기는 ‘투게더’ 섹션 상영작을 공개했다. 울산울주세계산악영화제는 산과 자연, 인간을 다루며 독보적인 전문성을 확고히 다지는 동시에, 특정 장르나 주제에 머무르지 않고 누구나 찾아와 즐길 수 있는 포용적인 문화를 일궈 왔다. 이러한 취지에 걸맞게, ‘투게더’는 영화를 통해 모든 관객이 어우러지는 장이 되는 섹션이다. 특히 올해 ‘투게더’ 섹션은 세계 최초로 공개되는 월드 프리미어 작품의 비율이 높아 독창성과 희소성을 한층 더했다. 개미를 통해 생명의 역사를 돌아보는 ‘역사의 한 겹’,
일본 만화 독주 깨졌다…산호 ‘연옥당’ 한국 최초 아이스너상 수상
만화가 산호 작가의 장편 그래픽노블 ‘장례식 케이크 전문점 연옥당’이 세계적인 만화상으로 꼽히는 미국 아이스너상을 수상했다.한국 만화 작품이 아이스너상 정상에 오른 것은 이번이 처음으로, 국내 창작 만화의 국제적 경쟁력을 입증한 의미 있는 성과로 평가된다.미국 코믹콘 인터내셔널은 현지시간 24일 미국 샌디에이고에서 열린 ‘제38회 윌 아이스너 코믹 산업상 시상식’에서 올해 수상작을 발표했다.산호 작가의 ‘장례식 케이크 전문점 연옥당’은 ‘최우수 아시아 만화 미국판 부문(Bes
릴리, 피부면역질환 타깃…아토피 '엡글리스' 급여 1년·원형탈모 '올루미언트' 신규 진입
한국릴리의 중등도-중증 아토피피부염 치료제 '엡글리스'가 건강보험 급여 적용 1주년을 맞은 가운데 성인 중증 원형탈모증 치료제 '올루미언트'도 급여권에 진입했다.
최신기사
전교조 제주지부, 지방교육재정교부금 개편 논의 중단 촉구
전국교직원노동조합 제주지부는 5일 성명을 내고 “지방교육재정교부금 개편 논의를 즉각 중단하라”고 교육부에 촉구했다.전교조제주지부는 “정부는 학령인구 감소를 지방교육재정교부금 개편의 주요 근거로 제시하는데 학생 수가 줄었다고 학교에서 필요한 교육까지 줄어드는 것은 아니다”고 주장했다.전교조제주지부는 “대학 등 다른 분야의 재원을 마련하기 위해 초·중등교육을 위한 지방교육재정을 축소하면 안된다. 정부는 작은 학교와 원도심 학교가 지역 공공교육 기반으로 역할을 지속할 수 있도록 안정적인 지방교육재정을 보장해야 한다”
김해, 폭염기 대응 원예농가 ‘맞춤형 현장기술지원’
김해시는 연일 이어지는 폭염과 가뭄, 그리고 향후 발생할 수 있는 태풍 및 집중호우 등 기상재해에 선제적으로 대응하기 위해 ‘현장 중심의 기상재해 대응 총력전’에 나선다.시는 지난 1일부터 9월 30일까지 두 달간, 원예작물의 생육 비상 상황을 해결하기 위한 ‘원예농가 맞춤형 현장기술지원’을 실시한다고 밝혔다.이번 현장 기술지원은 관내 주요 재배 작물인 채소류, 화훼류, 과수류 총 3개 분야 15개 작목을 대상으로 전문가가 직접 방문하는 ‘맞춤형 현장기술지원’ 형태로 진행된
제주디자인협회 창립 30주년 기념전 6일 개막
㈔제주디자인협회 창립 30주년 기념전이 6일부터 오는 15일까지 심헌갤러리에서 열린다.‘DESIGN EPISODE’를 타이틀로 내 건 이번 전시에는 회원 22명이 준비한 작품 22점이 선보인다. 그림, 사진, 도자, 목공예, 일러스트 등 다양한 분야 작품을 한자리에 감상할 수 있는 자리다.제주디자인협회는 1980년 11월 디자인 분야에서 활동하는 12명이 뜻을 모아 창립됐다.‘제주 디자인회’로 시작 1988년 제주대에 산업디자인학과가 설립된 이후 디자인을 전공하는 사람들이 늘면서 1995년 ‘제주디자인협의회’로 발전했
타운홀미팅 도민제안 124건 확정…후속 추진방안 점검
제주특별자치도가 민선 9기 출범 타운홀미팅에서 접수된 도민의 정책 수요를 분야별·유형별로 분석하고, 제안별 검토 결과와 향후 추진방안을 점검했다.제주도는 5일 오
제주지역 교원단체 “교육감, 정무부교육감 입장 밝혀야”
제주교원단체총연합회은 5일 논평을 내고 고의숙 제주특별자치도교육감에게 정무부교육감 임명에 대한 명확한 입장을 밝히라고 촉구했다.제주교총은 “고 교육감은 교육의원이던 2024년 정무부교육감 직제 신설에 대해 ‘신중한 재검토’ 입장을 견지해오다 교육감 취임 후 ‘종합적으로 검하고 있다’고 밝혔다”며 “과거의 문제의식이 지금 어떻게 이어지고 있는지 교육감이 직접 설명해야 한다”고 밝혔다.제주교총은 “도민과 교육가족 앞에 충분한 설명이 있을 경우 입장 변화는 번복이 아니라 숙고의 결과로 받아들여질