오픈AI가 차세대 모델군으로 소개한 미공개 내부 모델 '아스트라'가 수학·이론컴퓨터과학 분야에서 최소 10년 이상 풀리지 않았던 문제 10개에 새로운 결과를 제시하고, 기계 검증이 가능한 증명도 함께 공개했다.2일 실리콘앵글 등 외신에 따르면, 오픈AI는 249쪽 분량의 원고와 모델이 생성한 추론 과정, '린 4' 기반 증명 인증서를 깃허브에 아파치 2.0 라이선스로 공개했다. 공개된 인증서 저장소의 'sorry' 개수는 0으로 표시됐다. 오픈AI는 이는 형식화된 증명에
인기기사
세대·국경 넘어…‘투게더’로 잇는 영화여행
제11회 울산울주세계산악영화제가 전 연령이 함께 즐기는 ‘투게더’ 섹션 상영작을 공개했다. 울산울주세계산악영화제는 산과 자연, 인간을 다루며 독보적인 전문성을 확고히 다지는 동시에, 특정 장르나 주제에 머무르지 않고 누구나 찾아와 즐길 수 있는 포용적인 문화를 일궈 왔다. 이러한 취지에 걸맞게, ‘투게더’는 영화를 통해 모든 관객이 어우러지는 장이 되는 섹션이다. 특히 올해 ‘투게더’ 섹션은 세계 최초로 공개되는 월드 프리미어 작품의 비율이 높아 독창성과 희소성을 한층 더했다. 개미를 통해 생명의 역사를 돌아보는 ‘역사의 한 겹’,
[기자수첩] 폐기물 방치는 무죄, 화재경보기 차단은 유죄…갈린 것은 '인과관계'였다
같은 아파트 화재를 다룬 두 판결이 정반대 결론을 냈다. 한쪽은 관리업체에 책임이 없다 했고, 다른 쪽은 관리업체에 9,850만원을 물렸다. 언뜻 모순처럼 보이지만, 두 판결을 나란히 놓으면 법원이 관리 책임을 어디에서 끊는지가 선명하게 드러난다. 열쇠는 '인과관계'다.먼저 무죄가 된 사건을 보자. 서울 영등포구의 한 아파트 지하창고에서 원인 불명의 화재가 났다. 공제조합은 5억8,000여만원을 지급한 뒤 관리업체에 구상금을 청구했다. 근거는 세 가지였다. 가연성 쓰레기를 방치했고, 출입문이 열려 있었고, 스프링클러가 없었다는 것이
IBK기업은행, 이이남 작가 초대전 ‘금강내산’ 개최
IBK기업은행은 창립 65주년을 맞아 오늘부터 10월 7일까지 서울 을지로 기업은행 본점 로비에서 미디어 아트 거장 이이남 작가의 초대전 ‘금강내산’을 개최한다고 밝혔다.이이남 작가는 고전 회화를 디지털 기술로 재해석해 선보이는 대한민국 대표 미디어 아티스트이다. 한국적 미학을 현대적으로 구현하며 세계적으로 주목받고 있다.전시작품 ‘금강내산’은 조선시대 화가 겸재 정선의 ‘금강전도’를 현대적으로 재해석한 작품으로 디지털 기술을 정적인 산수에 접목해 생동감을 불어넣었다. 작품 속 산봉우리
(해외환경뉴스) 기후 변화로 양서류는 식단을 바꿔야 하지만, 적응력 한계..
본 기사는 ENN이 전하는 최신 환경뉴스입니다. 앞으로 본지는 ENN은 물론 전세계 환경전문 언론에서 전하는 세계 환경문제도 함께 전달, 보도할 예정입니다. (편
릴리, 피부면역질환 타깃…아토피 '엡글리스' 급여 1년·원형탈모 '올루미언트' 신규 진입
한국릴리의 중등도-중증 아토피피부염 치료제 '엡글리스'가 건강보험 급여 적용 1주년을 맞은 가운데 성인 중증 원형탈모증 치료제 '올루미언트'도 급여권에 진입했다.
최신기사
경북도, 맞춤형 스마트 건강관리 실증 서비스 첫발
경상북도는 보건복지부가 주관하는 ‘2026년도 스마트 사회서비스 시범사업’ 공모에 최종 선정돼 국비 2억 원을 확보했다. 이번 사업은 급속한 고령화와 돌봄 인력 부족에 대응하기 위해 경북의 기존 복지자원과 인공지능 기반 웰니스 기술을 연계한 스마트 건강관리 사회서비스 모델을 구축하는 사업이다. 8월부터 5개월간 시범 운영한다. 이번 시범사업에는 경상북도와 상주시, 상주시종합사회복지관, 경북테크노파크, 인공지능 기반 기술기업인 ㈜모션어드바이저가 컨소시엄으로 참여한다. 상주시종합사회복지관을 이용하는
코히어, 국내 소버린·엔터프라이즈 AI 시장 공략 박차
기업과 정부가 AI 인프라를 직접 소유하고 통제할 수 있도록 지원하는 소버린 AI 기업 코히어가 아태지역 사업 확대에 속도를 낸다.이를 위해 코히어는 한국과 일본에 현지 법인을 설립하고 싱가포르 공공부문과의 협력을 강화하는 한편 올해 말까지 아태 지역 기술·영업 인력을 현재의 두 배로 확대해 시장 주도에 박차를 가할 계획이다.이번 투자는 아태지역에서 보안과 데이터 통제권을 중시하는 소버린 AI 수요가 빠르게 증가하는 데 따른 것이다. IDC는 아태지역 기업의 80%가 핵심 업무에 AI를 도입할 때 AI 주
부산시, ‘2026부산세계도서관정보대회’ 10일 개막
부산시는 오는 8월 10일부터 8월 13일까지 벡스코에서 '2026부산세계도서관정보대회'를 개최한다고 밝혔다.국제도서관협회연맹이 주최하고 ‘2026 부산 WLIC 국가위원회’가 주관하는 이번 대회는 세계 최대 규모의 도서관·정보 분야 국제 학술회의로 도서관·정보 분야 전문가, 연구자, 관련 기업 관계자들이 참석할 예정이다.120여 개국에서 3천3백여 명이 참가할 것으로 예상되며, 이 가
인천시, 기업‘연구장비 공동활용 지원사업’ 문턱 낮춘다
인천광역시는 관내 중소기업의 연구개발과 제품 고도화를 지원하기 위해 추진 중인 ‘인천 연구장비 공동활용 지원사업’의 참여기관과 지원기준을 확대·개선하고, 오는 8월 7일부터 변경된 기준으로 사업을 추진한다고 밝혔다.이 사업은 인천 소재 중소기업이 시제품 개발, 제품 고도화, 시험·인증 등에 필요한 연구장비를 이용할 경우 기업당 최대 300만 원까지 장비 사용료를 지원하는 사업이다.시는 기존 참여기관인 인천테크노파크, 한국생산기술연구원, 극지연구소에 한국건설생활환경시험연구원, 인하대학교를 추가하며 참여기관을 3곳
“제주 정치인들, 제주제2공항, 환경단체와 반대단체 목소리에만 편승”
제주 제2공항건설추진위원회는 5일 오전 제주도청 정문 앞에서 집회를 열고 제주 제2공항의 조속한 건설을 강력히 촉구했다.위원회는 “‘제주 제2공항건설 추진위원회는