이번엔 진짜…오픈AI '아스트라' 10년 넘게 못 풀던 수학 난제 10개 풀어
오픈AI가 차세대 모델군으로 소개한 미공개 내부 모델 '아스트라'가 수학·이론컴퓨터과학 분야에서 최소 10년 이상 풀리지 않았던 문제 10개에 새로운 결과를 제시하고, 기계 검증이 가능한 증명도 함께 공개했다.
2일 실리콘앵글 등 외신에 따르면, 오픈AI는 249쪽 분량의 원고와 모델이 생성한 추론 과정, '린 4' 기반 증명 인증서를 깃허브에 아파치 2.0 라이선스로 공개했다.
공개된 인증서 저장소의 'sorry' 개수는 0으로 표시됐다.
오픈AI는 이는 형식화된 증명에...
2일 실리콘앵글 등 외신에 따르면, 오픈AI는 249쪽 분량의 원고와 모델이 생성한 추론 과정, '린 4' 기반 증명 인증서를 깃허브에 아파치 2.0 라이선스로 공개했다.
공개된 인증서 저장소의 'sorry' 개수는 0으로 표시됐다.
오픈AI는 이는 형식화된 증명에...
패션 의류 기업 TBH글로벌이 최대주주 우종완 등의 소유 주식 수가 3121주 증가했다고 30일 공시했다.이번 변동은 기타 관계자인 금강레저산업이 2026년 6월 25일 보통주식 3121주를 장내매수한 데 따른 것이다. 변경 전 주식 수는 220만3101주였으며, 매수 후 220만6222주로 늘었다. 비고란에는 매매보고서 누락에 따른 지연공시로 기재됐다.이번 변동으로 최대주주 등의 합산 보유 주식 수는 직전 보고서 제출일 기준 1055만6937주
샘 알트먼 오픈AI 최고경영자가 AI 시대의 간과된 위험으로 인간의 인지 능력 위축을 지목했다.30일 비즈니스인사이더에 따르면, 알트먼은 29일 공개된 팟캐스트 '인베스트 라이크 더 베스트'에서 AI가 사람 대신 너무 많은 사고를 맡으면 인간의 정신적 근력이 약해질 수 있다고 말했다.알트먼은 AI를 둘러싼 가장 중요한 미해결 과제를 묻는 질문에 '충분한 주목을 받지 못하는 문제 중 하나는 우리가 어떻게 인지 능력 위축을 피할 것이냐는 점'이라고 말했다. 이어 '이 도구를 쓰면서도 뇌를
샘 알트먼 오픈AI CEO가 이번 주 워싱턴DC에서 정책 입안자와 규제 당국자들에게 신형 모델 '아스트라'를 시연했다고 디인포메이션이 소식통 3명을 인용해 31일 보도했다.보도에 따르면 오픈AI는 아스트라가 여러 에이전트를 장시간 함께 돌려 프로젝트나 고난도 수학 문제 같은 특히 어려운 과제를 풀어내는 능력을 갖췄다고 강조했다. 아스트라는 솔, 테라, 루나에 이어 오픈AI가 새로 선보이는 모델군이 된다.출시 시기는 아직 알려지지 않았다. GPT-6로 명명할지 GPT-5.7 같은 GPT-5 계열
조선·건설 기업 HJ중공업이 안산장상 A-10BL 및 성남복정1 B-2BL 민간참여 공공주택 건설사업의 우선협상대상자로 선정됐다고 30일 공시했다.발주처는 한국토지주택공사이며, 전체 낙찰금액은 3463억5000만원이다. 이 중 당사 지분 15%에 해당하는 당사분 낙찰금액은 519억4575만원이다. 이는 최근 매출액 대비 2.60%에 해당한다.공사 규모는 안산장상 A-10BL이 공공분양 320호, 성남복정1 B-2BL이 공공분양 735호이다. 우선협상대상자 선정
글로벌 게임업계 최대 기대작으로 꼽히는 락스타게임즈 '그랜드 테프트 오토6' 출시가 약 넉 달 앞으로 다가오면서 국내 게임사의 하반기 전략에도 긴장감이 번지고 있다. 콘솔·PC 시장 공략을 확대해온 국내 업체 입장에서는 신작 출시 일정과 마케팅 자원 배분을 다시 짜야 하는 대형 변수가 등장한 셈이다.◆13년 만의 귀환…흥행 규모부터 남다르다락스타게임즈는 GTA6를 오는 11월 19일 플레이스테이션5와 엑스박스 시리즈 X·S로 출시한다. 2013년 GTA5 출시 이후 13년 만의 정식 후속작이다
한국거래소는 충북 지역 민영방송사 씨씨에스충북방송이 주권 매매거래정지 기간이 변경됐다고 30일 공시했다.대상 종목은 씨씨에스충북방송 보통주이며, 변경 사유는 감자 주권 변경상장이다. 변경 전 정지기간은 2025년 6월 23일부터 두 가지 조건, 즉 상장적격성 실질심사 관련 개선기간 종료 후 상장폐지 여부 결정일까지와 자본감소 관련 신주권 변경상장일 전일까지로 구성됐다. 변경 후 정지기간은 2025년 6월 23일부터 개선기간 종료 후 상장폐지
인천광역시는 관내 중소기업의 연구개발과 제품 고도화를 지원하기 위해 추진 중인 ‘인천 연구장비 공동활용 지원사업’의 참여기관과 지원기준을 확대·개선하고, 오는 8월 7일부터 변경된 기준으로 사업을 추진한다고 밝혔다.이 사업은 인천 소재 중소기업이 시제품 개발, 제품 고도화, 시험·인증 등에 필요한 연구장비를 이용할 경우 기업당 최대 300만 원까지 장비 사용료를 지원하는 사업이다.시는 기존 참여기관인 인천테크노파크, 한국생산기술연구원, 극지연구소에 한국건설생활환경시험연구원, 인하대학교를 추가하며 참여기관을 3곳
기업과 정부가 AI 인프라를 직접 소유하고 통제할 수 있도록 지원하는 소버린 AI 기업 코히어가 아태지역 사업 확대에 속도를 낸다.이를 위해 코히어는 한국과 일본에 현지 법인을 설립하고 싱가포르 공공부문과의 협력을 강화하는 한편 올해 말까지 아태 지역 기술·영업 인력을 현재의 두 배로 확대해 시장 주도에 박차를 가할 계획이다.이번 투자는 아태지역에서 보안과 데이터 통제권을 중시하는 소버린 AI 수요가 빠르게 증가하는 데 따른 것이다. IDC는 아태지역 기업의 80%가 핵심 업무에 AI를 도입할 때 AI 주
이중섭은 20세기 한국 근현대미술을 대표하는 화가다.그는 한국적인 미를 탁월하게 표현했다는 평가를 받고 있는데 어릴 때부터 소를 그리는 것을 좋아했다고 한다. 그의 대표작으로 ‘흰 소’와 ‘황소’ 등이 손꼽히는 이유이기도 하다.▲1916년 평안남도 평원군 조운면 송천리에서 태어난 이중섭은 1930년 평안북도 정주의 오산고등보통학교에 진학, 미술교사였던 서양화가 임용련으로부터 교육을 받으며 본격적으로 미술 세계에 입문하게 된다.이중섭은 그 후 1936년 일본 유학길에 올라 도쿄 데이코쿠 미술학교(現 무사시노 미술대
tags :#이중섭과
예산군이 민선9기 핵심 현안사업의 속도감 있는 추진과 국도비 확보를 위해 충청남도와 정책 공조를 강화하며 지역 미래 성장 기반 마련에 나섰다.최재구 예산군수는 지난 4일 박수현 충남도지사를, 5일에는 충청남도 행정부지사를 연이어 면담하고 지역 핵심 현안사업의 추진 상황을 설명하며 사업의 원활한 추진을 위한 도 차원의 행정적·재정적 지원을 요청했다.이날 군은 △충남혁신도시 완성을 위한 충남복합혁신센터 건립 △내포신도시 확장과 정주여건 개선을 위한 내포신도시 스포츠타운 조성 △미래 신성장 기반 구축을 위한 내포
제주녹색당은 제주시가 추진 중인 도심 고도 제한 완화 계획에 대해 5일 성명을 내고 "민생은 뒷전이고 토건 자본만 배불리는 규제 완화"라며 중단을 촉구했다.녹색당은 "제주시가 무분별한 외곽 확산을 막고 원도심을 복합적으로 개발한다는 명목으로 30년간 유지해 온 고도 제한을 대폭 완화하려 한다"고 비판했다.이어 "이번 계획이 시행되면 제주에서 가장 높은 드림타워와 맞먹는 초고층 건물이 도심 곳곳에 들어설 수 있게 된다"며 "한라산을 중심으로 형성된 제주 고유의 스카이라인과 도시 경관이 훼손될 우려가 있는데, 한 번 훼손된 경관은 되돌
커스텀 키보드 시장에서는 색상과 각인에 계절감이나 음료, 과일 등을 반영한 테마형 키캡 세트가 꾸준히 출시되고 있다. 배열과 소재 등 기본 사양은 유지하면서 색 구성만 달리해 사용자가 취향에 따라 외관을 바꾸는 방식이 자리 잡았다.커스텀 키보드와 혁신적인 입력기기인 몬스타덱을 통해 시장을 선도하고 있으며, 몬스타기어 브랜드로 게이밍 기어, 커스텀 수랭 쿨러, AI 딥러닝 등 하이엔드 PC 제조에 특화된 기업 몬스타주식회사가 여름 테마 키캡과 키보드를 모은 모음전을 선보였다.이번 모음전에는 여름
광명시가 시민이 함께 배우고 나누는 평생학습 문화를 확산한다.시는 광명시 평생학습동아리연합회 주관으로 '2026 배움과 나눔의 장'을 운영한다고 5일 밝혔다.이번 행사는 '2026년 광명시 학습동아리 지원 공모사업'의 하나로 학습동아리의 활동 성과를 공연·체험·전시로 선보이고 시민들의 일상 속 평생학습 참여를 확대하기 위해 마련했다.지난 4일 열린 첫 행사에서는 우쿨렐레·오카리나·기타 동아리의 악기 연주와 수어 동아리 공연이 펼쳐져 시민들에게 즐거움을 선사했다. 또한 토탈공예와 가죽공예 동아리 작품 전시와
인기기사
[기자수첩] 폐기물 방치는 무죄, 화재경보기 차단은 유죄…갈린 것은 '인과관계'였다
같은 아파트 화재를 다룬 두 판결이 정반대 결론을 냈다. 한쪽은 관리업체에 책임이 없다 했고, 다른 쪽은 관리업체에 9,850만원을 물렸다. 언뜻 모순처럼 보이지만, 두 판결을 나란히 놓으면 법원이 관리 책임을 어디에서 끊는지가 선명하게 드러난다. 열쇠는 '인과관계'다.먼저 무죄가 된 사건을 보자. 서울 영등포구의 한 아파트 지하창고에서 원인 불명의 화재가 났다. 공제조합은 5억8,000여만원을 지급한 뒤 관리업체에 구상금을 청구했다. 근거는 세 가지였다. 가연성 쓰레기를 방치했고, 출입문이 열려 있었고, 스프링클러가 없었다는 것이
"1주택 실수요자 종부세 체계 정교화…다주택자 양도세 중과 유예 검토해야"
정부의 부동산 세제개편안 발표를 앞두고 실수요자 보호와 시장 기능 회복을 중심으로 한 '조세 정상화'가 이번 개편의 핵심 방향이 되어야 한다는 제언이 나왔다.국회 재정경제기획위원회 소속 안도걸 의원은 30일 발표한 입장문에서 "이번 부동산 세제개편의 본질은 세수 증대나 징벌적 과세가 아니라 왜곡된 시장을 바로잡는 조세 정상화"라며 실수요자 보호와 주택 공급 확대, 임대차시장 안정이 균형 있게 반영돼야 한다고 밝혔다.안 의원은 정부가 총 5차례의 부동산 정책 토론회와 7천여 건의 국민 의견 수렴을 진행한
금천구, 주민 재능으로 이웃 돌본다... ‘이웃 안녕 자원봉사 프로그램’ 운영
금천구는 ‘2026년 이웃 안녕 자원봉사 프로그램’에 참여하는 주민들이 음악과 공예, 보드게임 등 다양한 재능을 활용해 이웃과 소통하고 지역사회에 활력을 더하고 있다고 밝혔다.‘이웃 안녕 자원봉사 프로그램’은 자원봉사 활동 영역을 다양화하고 주민이 주도하는 생활 속 자원봉사 문화를 확산하기 위한 사업이다. 올해는 공모를 통해 27개 단체가 선정돼 문화공연, 환경보호, 재능기부, 돌봄 등 다양한 활동을 펼치고 있다.경로당과 복지관에서는 음악과 공예를 활용한 봉사가 어르신들의 일상에 활력을 더하고
오픈AI, 워싱턴서 신형 모델 '아스트라' 시연..."다수 에이전트 장시간 함께 작동"
샘 알트먼 오픈AI CEO가 이번 주 워싱턴DC에서 정책 입안자와 규제 당국자들에게 신형 모델 '아스트라'를 시연했다고 디인포메이션이 소식통 3명을 인용해 31일 보도했다.보도에 따르면 오픈AI는 아스트라가 여러 에이전트를 장시간 함께 돌려 프로젝트나 고난도 수학 문제 같은 특히 어려운 과제를 풀어내는 능력을 갖췄다고 강조했다. 아스트라는 솔, 테라, 루나에 이어 오픈AI가 새로 선보이는 모델군이 된다.출시 시기는 아직 알려지지 않았다. GPT-6로 명명할지 GPT-5.7 같은 GPT-5 계열
IBK기업은행, 이이남 작가 초대전 ‘금강내산’ 개최
IBK기업은행은 창립 65주년을 맞아 오늘부터 10월 7일까지 서울 을지로 기업은행 본점 로비에서 미디어 아트 거장 이이남 작가의 초대전 ‘금강내산’을 개최한다고 밝혔다.이이남 작가는 고전 회화를 디지털 기술로 재해석해 선보이는 대한민국 대표 미디어 아티스트이다. 한국적 미학을 현대적으로 구현하며 세계적으로 주목받고 있다.전시작품 ‘금강내산’은 조선시대 화가 겸재 정선의 ‘금강전도’를 현대적으로 재해석한 작품으로 디지털 기술을 정적인 산수에 접목해 생동감을 불어넣었다. 작품 속 산봉우리
최신기사
추경호, 폭염 긴급대책회의 하루 만에 릴레이 현장점검
체감온도가 40도에 육박하는 기록적인 폭염이 이어지는 가운데, 추경호 대구시장이 폭염 취약계층 보호와 시민 안전을 위해 긴급대책회의를 직접 주재한 데 이어 하루 만에 폭염 대응 현장을 잇달아 점검하며 현장 중심 대응을 이어갔다.대구시는 지난 2일 폭염 중앙재난안전대책본부 비상단계가 2단계로 격상된 이후 대응체계를 한층 강화하고 있다. 추경호 시장은 3일 구청장·군수 긴급대책회의를 주재하며 “폭염은 단순한 계절 현상이 아니라 시민의 생명과 직결된 재난”이라며 “폭염으로 단 한 명의 인명피해도 발생하지 않도록 현장
포항시, ‘산단형 햇빛소득 태양광 사업’ 추진 업무협약 체결
포항시가 산업단지 유휴부지를 활용해 전국 최초로 시민과 산업단지 근로자가 직접 투자하고 발전 수익을 공유하는 ‘산단형 햇빛소득 태양광 사업’을 추진한다.시는 4일 시청 대회의실에서 박용선 포항시장을 비롯해 김철수 포항시의회 의장, 심상원 한국산업단지공단 경북지역본부장, 이건봉 현대제철 포항공장장, 곽원병 영남에너지서비스 대표, 염창열 SK이노베이션 부사장, 윤태환 루트에너지 대표 등 관계자 30여 명이 참석한 가운데 ‘경북 포항 스마트그린산단 햇빛소득형 태양광 발전사업’ 업무협약을 체결했다.이번 사업은 경북 포
민형배 시장, 국무회의서 군 공항 이전 추진상황 보고
민형배 전남광주통합특별시장은 4일 국무회의에서 광주 군 공항 이전의 주요 쟁점과 추진 상황을 설명하고, 남은 과제를 해결하기 위한 후속 협의를 이어가겠다고 밝혔다.민형배 시장은 이날 군 공항 이전 추진 상황을 묻는 이재명 대통령의 질문에 “무안군이 요구한 3대 선결조건 가운데 광주 민간공항 선이전과 1조 원 규모 지원 등 두 가지는 정리됐고, 마지막으로 국가산업단지 조성 문제가 남아 있다”고 답했다.민형배 시장은 국가산단 규모와 관련한 일부 쟁점이 특별시의 지원으로 정리됐다면서 “무안군과 다시 협의하겠지만, 큰
부산시, ‘2026부산세계도서관정보대회’ 10일 개막
부산시는 오는 8월 10일부터 8월 13일까지 벡스코에서 '2026부산세계도서관정보대회'를 개최한다고 밝혔다.국제도서관협회연맹이 주최하고 ‘2026 부산 WLIC 국가위원회’가 주관하는 이번 대회는 세계 최대 규모의 도서관·정보 분야 국제 학술회의로 도서관·정보 분야 전문가, 연구자, 관련 기업 관계자들이 참석할 예정이다.120여 개국에서 3천3백여 명이 참가할 것으로 예상되며, 이 가
시흥시-서울대, 청소년 ‘SEED 캠프’ 본격 운영
시흥시는 지난 3일 서울대학교 관악캠퍼스에서 ‘대학 전공 탐색 멘토링 캠프’를 열고 ‘시흥시-서울대학교 청소년 SEED 캠프’의 운영을 시작했다.이번 캠프는 서울대학교의 우수한 교육 자원과 인프라를 활용해 시흥시 청소년들에게 다양한 진로 탐색과 교육 체험 기회를 제공하는 지역공헌사업으로, 오는 14일까지 서울대학교 관악캠퍼스와 시흥캠퍼스 등에서 운영된다.첫날 프로그램에는 관내 50여 명 고등학생이 참여해 서울대학교 교수진의 진로 특강을 듣고 캠퍼스를 둘러본 뒤 대학생 멘토와 함께 전공ㆍ진로 멘토링에 참여하며 자