오픈AI가 차세대 모델군으로 소개한 미공개 내부 모델 '아스트라'가 수학·이론컴퓨터과학 분야에서 최소 10년 이상 풀리지 않았던 문제 10개에 새로운 결과를 제시하고, 기계 검증이 가능한 증명도 함께 공개했다.2일 실리콘앵글 등 외신에 따르면, 오픈AI는 249쪽 분량의 원고와 모델이 생성한 추론 과정, '린 4' 기반 증명 인증서를 깃허브에 아파치 2.0 라이선스로 공개했다. 공개된 인증서 저장소의 'sorry' 개수는 0으로 표시됐다. 오픈AI는 이는 형식화된 증명에
인기기사
Generic placeholder image
해운대구, 해운대 옛 역사에 무더위 쉼터 '숲캉스 라운지' 조성
해운대구가 여름 휴가기간 관광객들이 무더위를 피해 잠시 쉬어갈 수 있는 실내형 관광 콘텐츠를 선보인다. 지난 27일 해운대구는 내달 4일부터 30일까지 해운대플랫폼(옛 해운대...
Generic placeholder image
'봉사한다'던 홍명보, 법카 1400만원 집 근처 해장국집·호텔서 긁었다
홍명보 전 남자축구 국가대표팀 감독이 법인카드로 자택 근처에서 약 2년간 1400여만 원을 쓴 사실이 확인됐다. 그럼에도 홍 전 감독은 협회 지침상 필요한 소명서 등을 제출하...
Generic placeholder image
[신호현 칼럼] 사회정서교육, 학교의 삶 속으로 들어가라
최근 사회정서교육이 세계적인 교육 의제로 떠오르고 있다.OECD는 사회정서역량이 학업 성취뿐 아니라 건강과 웰빙, 대인관계, 시민성, 미래의 삶과 밀접하
Generic placeholder image
슈나이더, ‘AMD 헬리오스’ 레퍼런스 디자인 공개 ··· AI 팩토리 구축 가속
슈나이더 일렉트릭은 AMD와 ‘AMD 헬리오스’ 랙스케일 솔루션 레퍼런스 디자인을 공동 개발하고 검증을 완료했다고 밝혔다.새롭게 공개된 레퍼런스 디자인은 AMD 헬리오스 랙스케일 솔루션의 대규모 연산 환경을 지원하기 위한 것으로, 컴퓨팅 성능과 인터커넥트 대역폭, 메모리 용량, 시스템 통합 기술의 발전을 바탕으로 고객은 전력 효율을 유지하면서도 더욱 크고 복잡한 AI 워크로드를 처리할 수 있다.AMD 헬리오스 레퍼런스 디자인은 전력, 냉각, IT 공간, 라이프사이클 소프트웨어 등 4개 기
Generic placeholder image
와룡면 마을복지추진단, 장수 어르신 위한 생신잔치 마련
안동시 와룡면 마을복지추진단은 7월 27일 태1리 태곡경로당에서 지역 장수 어르신 7명을 모시고 ‘오늘은 내가 귀빠진 날’ 생신잔치를 개최했다.‘오늘은 내가 귀빠진 날’은 홀몸 및 장수 어르신을 직접 찾아가 생신을 축하하고 이웃의 정을 나누는 마을복지 실행사업이다. 지난 5월 도곡리에서 첫 행사를 진행한 데 이어 이번에는 태1리 어르신들을 찾았다.이날 추진단은 생신상과 선물을 준비하고 축하 공연을 마련했다. 태1리 주민들도 음식을 보태고 행사 준비에 참여해 어르신들과 함께 식사를 나누며 마을잔치의 의미를 더했다.지난 5월 행사에서
최신기사
Generic placeholder image
구미차병원, 약제급여 적정성 평가 ‘1등급’ 획득
차의과학대학교 부속 구미차병원은 최근 건강보험심사평가원이 발표한 ‘2025년 약제급여 적정성 평가’에서 최우수 등급인 1등급을 획득했다. 약제급여 적정성 평가는
Generic placeholder image
제주도 발자국 화석산지, 지역사회가 함께 지킨다
매년 해양쓰레기와 괭생이모자반이 대량으로 밀려드는 서귀포 해안의 천연기념물 화석산지 일대를 지키기 위해 지역사회가 힘을 모았다.제주특별자치도 세계유산본부는 최근 서귀포시 대정읍 상모리와 안덕면 사계리 해안에 걸쳐있는 천연기념물 ‘제주 사람발자국과 동물발자국 화석산지’ 지정구역 일대에서 민관 합동 환경정비를 실시했다고 4일 밝혔다.이번 정비에는 대정읍새마을부녀회, 대정읍새마을지도자협의회, 안덕면바다지킴이 등 지역 단체와 관계 공무원 120여 명이 참여했다. 폭염과 안전사고를 고려해 오전 6시부터 작업을 시
Generic placeholder image
칠곡군, 청년도전지원사업 중기 1기 수료식 개최
칠곡군은 지난달 31일 왜관읍 매원리 소재 오가락에서 ‘청년도전지원사업 중기 1기 수료식’을 열고 15주간의 맞춤형 프로그램을 성실히 이수한 청년들의 새로운 출발
Generic placeholder image
문경시농업기술센터, 일본 선진 사과 재배기술 도입 나서
문경시농업기술센터가 일본의 선진 사과 재배기술 도입을 통해 지역 사과산업 경쟁력 강화에 나선다. 센터는 오는 8~10일 일본 사과재배 전문가 구로다 야스마사를 초
Generic placeholder image
[사설] 道 제주~칭다오 항로 새 계약 추진…결과 ‘주목’
제주특별자치도가 막대한 적자 발생과 정부의 중앙투자심사 패싱 등으로 논란이 되고 있는 제주~중국 칭다오 항로에 대한 새로운 계약 체결에 나섰다.위성곤 지사는 지난 3일 기자간담회에서 “칭다로 항로 계약을 새로 추진하고 있다”며 “현재 협상 중으로 어떤 결과가 나올지는 지켜봐야 한다”고 밝혔다.칭다오 항로를 일방적으로 단절시킬 경우 중국과의 교류 위축 및 외교적 문제 등 리스크가 크다는 점을 고려한 것으로 풀이된다.제주도와 중국선사인 산동원양해운그룹은 2024년 9월 제주~칭다오 항로의 개설 협정을 체결, 7500톤급 컨테이너 화물선