오픈AI가 차세대 모델군으로 소개한 미공개 내부 모델 '아스트라'가 수학·이론컴퓨터과학 분야에서 최소 10년 이상 풀리지 않았던 문제 10개에 새로운 결과를 제시하고, 기계 검증이 가능한 증명도 함께 공개했다.2일 실리콘앵글 등 외신에 따르면, 오픈AI는 249쪽 분량의 원고와 모델이 생성한 추론 과정, '린 4' 기반 증명 인증서를 깃허브에 아파치 2.0 라이선스로 공개했다. 공개된 인증서 저장소의 'sorry' 개수는 0으로 표시됐다. 오픈AI는 이는 형식화된 증명에
인기기사
군산시, ‘시내버스 노선 전면개편 시민설명회’ 개최
군산시가 ‘시내버스 노선체계 전면개편’에 대한 시민 의견수렴을 위해 9월 3일부터 9월 18일까지 읍면동 시민설명회를 개최한다.이번 시민설명회는 6일간 27개 읍·면·동 행정복지센터를 순회하며 열리며, 효율적인 진행을 위해 A·B 2개 조로 나뉘어 각각 60분간 운영된다.시는 시내버스 노선개편 방향과 권역별 개편노선을 상세하게 설명할 계획이다. 주요 개편 방향은 ▲기존 노선의 굴곡 및 중복도 개선 ▲주요 이동축 중심의 간선-지선체계 도입 ▲읍·면, 산업단지 등 교통 취약지 대
이더리움 2400달러 지지 주목…"이더리움 흐름이 당분간 암호화폐 시장 방향 좌우"
이더리움이 향후 몇 주간 암호화폐 시장 전반의 흐름을 가늠할 선행 지표가 될 수 있다는 분석이 나왔다. 30일 블록체인 매체 유투데이에 따르면 XRP의 2024~2025년 700% 이상 상승을 예측해 주목받은 암호화폐 트레이더 돈알트는 현재 이더리움 일간 차트를 시장에서 가장 깔끔한 흐름으로 평가했다.돈알트는 이더리움이 핵심 저항선을 강하게 돌파한 뒤 곧바로 횡보 구간에 들어선 점에 주목했다. 그는 이더리움의 움직임이 나머지 시장 흐름을 보여줄 가능성이 크다고 봤다.이더리움은 최근 보름 동안
집중호우 몰아친 울산…침수·파손 등 19건 피해 신고 접수
30일 오후 울산 지역을 휩쓴 기습적인 폭우로 인해 동구와 중구 일대에서 침수 및 도로 파손 등 각종 사고 신고가 연이어 접수됐다.울산소방본부에 따르면 이날 오후 3시 27분부터 약 1시간 동안 동구 방어동·일산동·화정동과 중구 우정동을 중심으로 총 19건의 호우 피해 및 위험 신고가 확인됐다.접수된 현황은 상가·주택·지하 주차장의 침수 위험을 비롯해 도로 파열, 맨홀 덮개 열림 등이었으며, 다행히 인명 피해는 발생하지 않았다.소방당국은 장비 19대와 인력 77명을 현장에 투입해 5곳에서 총 19.6t의 배수 작업을 돕고 14건의
李대통령 "내년 1분기 한은 금리 3.5% 예상…집값 폭락 대비"
이재명 대통령이 한국은행의 기준금리가 내년에 추가 인상될 가능성을 거론하면서 집값 상승을 기대하지 말라고 경고했다. 이 대통령은 30일 엑스에 투자은행 모건...
신현솔 하남소방서 의용소방대원, 새내기 '시민 소방관'의 따뜻한 도전
“처음에는 제가 의용소방대에서 잘 어울릴 수 있을까 걱정했어요. 그런데 직접 활동해보니 지역사회를 위해 할 수 있는 일이 생각보다 정말 많더라고요.”하남소방서 의용소방대 최연소 대원인 신현솔씨는 대원이 된 지 채 1년도 안 된 새내기다.
최신기사
아고스, 자회사 휴먼아고스 흡수합병 완료…합병기일 9월 1일
통신장비 제조 회사 아고스가 100% 자회사인 휴먼아고스를 합병비율 1:0 무증자 소규모 흡수합병 방식으로 흡수합병하고 2026년 9월 1일을 합병기일로 합병이 종료됐다고 1일 공시했다.합병결정 이사회결의일은 2026년 3월 31일이며, 합병계약일은 2026년 4월 7일이다. 주주확정기준일은 2026년 4월 17일로, 합병 반대의사 통지 접수기간은 2026년 4월 20일부터 2026년 5월 4일까지였다. 합병승인 이사회결의일은 2026년 5월 6일이며, 합병 등기 예정일은 2026년 9월
‘추석 대목’ 되찾으려면…전통시장, ‘찾고 싶은 시장’으로 바뀌어야
추석대목을 앞두고 수원지역 전통시장 상인들의 한숨이 깊어지고 있다. 가격 경쟁력 약화와 소비 패턴 변화, 주차난이 겹치며 ‘추석 대목’ 기대감이 사라지는 분위기다. 상인들은 한시적 지원보다 주차와 편의시설 등 소비자가 시장을 찾을 수 있는 환경 개선이 필요하다고 입을 모았다.
시카고상품거래소, BNB·XRP·SOL 담은 신규 지수 공개…BTC·ETH 제외
시카고상품거래소 그룹이 비트코인과 이더리움을 제외한 주요 암호화폐를 추종하는 신규 지수 2종을 선보였다.지난달 31일 블록체인 매체 더 디파이언트에 따르면 CME는 이날 다중 자산 암호화폐 벤치마크 지수 2종을 정식 출시했다.신규 지수는 'CME CF 신흥 암호화폐 지수'와 'CME CF 암호화폐 시장 지수'다. 신흥 암호화폐 지수는 비트코인과 이더리움을 제외한 BNB, XRP, S
사이버한국외국어대학교, 9월 5일 ‘AI 시대 언어 학습과 교육’ 콜로퀴엄 개최
사이버한국외국어대학교 영어학부와 TESOL 대학원, 일반대학원 AI&ENGLISH학과가 오는 9월 5일 대학 사이버관 소강당에서 급변하는 교육 환경 속 효과적인 언어 학습과 최신 AI 기술의 접목을 다루는 공동 콜로퀴엄을 개최한다.이번 콜로퀴엄은 올바른 영어 습득법부터 AI 시대를 아우르는 교수-학습 패러다임까지 폭넓은 인사이트를 공유하기 위해 마련했으며, 영어 교육과 관련된 전문가 3명을 초청해 세 번의 세션으로 나누어 진행한다.첫 번째 세션은 오잉북클럽 대표이자
'인셉션'처럼 지도가 접힌다…신개념 내비게이션 등장
영화 '인셉션'처럼 도시가 위로 접혀 올라가는 듯한 독특한 자동차 내비게이션 화면이 등장했다. 가까운 도로는 3D 시점으로, 멀리 있는 목적지는 위에서 내려다보는 지도처럼 한 화면에 표시해 운전자가 시점을 바꾸지 않고도 전체 경로를 파악할 수 있도록 한 것이 특징이다.지난달 31일 일본 매체 기가진에 따르면 소프트웨어 업체 오비파이는 3D 지도와 2D 부감 지도의 장점을 결합한 곡면 공간 내비게이션 시각화 기술을 공개했다. 회사는 "자동차 내비게이션이 지