오픈AI가 차세대 모델군으로 소개한 미공개 내부 모델 '아스트라'가 수학·이론컴퓨터과학 분야에서 최소 10년 이상 풀리지 않았던 문제 10개에 새로운 결과를 제시하고, 기계 검증이 가능한 증명도 함께 공개했다.2일 실리콘앵글 등 외신에 따르면, 오픈AI는 249쪽 분량의 원고와 모델이 생성한 추론 과정, '린 4' 기반 증명 인증서를 깃허브에 아파치 2.0 라이선스로 공개했다. 공개된 인증서 저장소의 'sorry' 개수는 0으로 표시됐다. 오픈AI는 이는 형식화된 증명에
인기기사
Generic placeholder image
와룡면 마을복지추진단, 장수 어르신 위한 생신잔치 마련
안동시 와룡면 마을복지추진단은 7월 27일 태1리 태곡경로당에서 지역 장수 어르신 7명을 모시고 ‘오늘은 내가 귀빠진 날’ 생신잔치를 개최했다.‘오늘은 내가 귀빠진 날’은 홀몸 및 장수 어르신을 직접 찾아가 생신을 축하하고 이웃의 정을 나누는 마을복지 실행사업이다. 지난 5월 도곡리에서 첫 행사를 진행한 데 이어 이번에는 태1리 어르신들을 찾았다.이날 추진단은 생신상과 선물을 준비하고 축하 공연을 마련했다. 태1리 주민들도 음식을 보태고 행사 준비에 참여해 어르신들과 함께 식사를 나누며 마을잔치의 의미를 더했다.지난 5월 행사에서
Generic placeholder image
16년째 이어온 체육인재 육성... 강북구체육진흥협의회 장학금 전달
서울 강북구는 강북구체육진흥협의회가 지난 21일 미아동복합청사 대강당에서 '제16기 강북구체육진흥협의회 장학금 전달식'을 열고 지역 체육 인재 15명에게 총 2,250만원의 장학금을 전달했다고 밝혔다.강북구체육진흥협의회는 2011년부터 회원들의 회비를 재원으로 장학사업을 이어오며 체육 분야에서 성장 가능성이 높은 유·청소년을 꾸준히 지원하고 있다. 올해로 16년째를 맞은 이 사업을 통해 지금까지 총 199명의 학생에게 약 2억7천만원의 장학금을 지급했다.올해는 관내 학교 추천을 받은 학생 25
Generic placeholder image
대구광역시교육청교육역사관, 새 이름과 함께 새로운 도약 시작
대구광역시교육청교육역사관은 7월 28일 오후 2시 현판 제막식을 열고 새로운 출발을 알린다. 지난 7월 1일, 기존 ‘대구교육박물관’에서 ‘대구교육역사관’으로 명칭을 바꾸고, 그동안의 전시 중심 운영에서 벗어나 교육 역사와 체험 교육이 어우러진 복합 교육공간으로 탈바꿈했다. 제막식에는 강은희 대구시교육감과 이성오
Generic placeholder image
장흥, 물놀이 안전사고 예방 총력 대응
장흥군은 제19회 정남진 장흥 물축제를 비롯 하천·계곡 내 물놀이, 해수욕, 다슬기 채취, 해루질 등 수상 안전사고 예방을 위해 총력 대응하고 있다고 밝혔다.장흥군은 지난 7월 25일부터 시작된 물축제의 안전한 축제환경 조성을 위해 축제 시작 전인 23~24일 양일간, 행정안전부, 광주전남특별시, 경찰, 소방, 가스·전기 등 전문가로 구성된 유관기관 합동 점검을 실시했다.현장점검 결과 지적된 24건의 조치사항을 축제전 모두 완료 조치하여 현재까지 인명사고 없이 안전한 축제를 진행하고 있다.아울러 본격 휴가철
Generic placeholder image
대전 동구, 무지개도서관 ‘영어뮤지컬교실’ 운영
대전 동구가 초등 1~4학년 학생 15명을 대상으로 ‘Play·Sing 영어뮤지컬교실’을 운영한다. ‘Play‧Sing 영어뮤지컬교실’은 영어 학습과 뮤지컬 공연을 접목해 어린이들의 영어 표현력과 의사소통 능력을 기를 수 있도록 마련된 체험형 교육 프로그램이다. 수업은 9월~12월 매주 목요일 총 18회에 걸쳐 운영된다. 수업은 영어뮤지컬 전문 강사가 영화 ‘사운드 오브 뮤직’의 주요 장면과 노래를 활용한 영어 표현 학습, 역할극, 뮤지컬 공연 등 참여형으로 진행한다. 참가 신청은다
최신기사
Generic placeholder image
"메이드 인 코리아" 토스 행운퀴즈 문제+정답!...8월 4일!
토스 행운퀴즈 8월 4일 새로운 문제가 공개됐다.화요일인 8월 4일 오전 10시경 진행되고 있는 토스 행운퀴즈 '메이드 인 코리아'관련 문제는 "메이드 인 코리아
Generic placeholder image
경기도, '도쿄 IR·비즈니스 밋업' 스타트업 4곳 26억 투자·PoC 제안
경기도와 경기도경제과학진흥원은 지난 달 29일부터 31일까지 일본 도쿄에서 도내 스타트업의 일본 시장 진출을 지원하기 위한 투자설명회와 오픈이노베이션 상담회를 개최했다...
Generic placeholder image
트럼프 "이란, 이번이 마지막 기회"...'참수 작전'까지 거론
도널드 트럼프 미국 대통령이 이란을 향해 "이번이 마지막 기회"라며 협상 타결을 압박했다. 이란이 합의에 응하지 않으면 지도부 제거를 의미하는 이른바 '참수 작전
Generic placeholder image
백선희 의원 "저소득 직역연금 수급자도 기초연금 받을 수 있어야"
백선희 조국혁신당 국회의원은 소액의 직역연금을 받는 고령자도 소득·재산 수준에 따라 기초연금을 받을 수 있도록 하는 '기초연금법 일부개정법률안'을 대표발의했다.지난 3일 국회에 제출된 이 법안은 공무원연금·사학연금·군인연금 등 직역연금 수급 여부만으로 기초연금에서 일률 배제하는 현행 제도를 개선하겠다는 것이 입법 취지다.최근 기초연금 구조 개편이 예고된 가운데 정부 역시 그동안 소득·재산이 적어도 직역연금을 받는다는 이유로 배제됐던 저소득 퇴직자들을 수급 대상에 포함하고 내년부터 이를 적용하는 방안을 추진
Generic placeholder image
“’호라이즌 워커’ 축제 분위기 이어간다”
“현재 ‘호라이즌 워커’에서 여름 이벤트가 진행되고 있습니다. 이어 쉬지 않고 축제 분위기를 조성하며 2주년 이벤트를 실시할 계획입니다.”4일 서윤석 젠틀매니악