오픈AI가 차세대 모델군으로 소개한 미공개 내부 모델 '아스트라'가 수학·이론컴퓨터과학 분야에서 최소 10년 이상 풀리지 않았던 문제 10개에 새로운 결과를 제시하고, 기계 검증이 가능한 증명도 함께 공개했다.2일 실리콘앵글 등 외신에 따르면, 오픈AI는 249쪽 분량의 원고와 모델이 생성한 추론 과정, '린 4' 기반 증명 인증서를 깃허브에 아파치 2.0 라이선스로 공개했다. 공개된 인증서 저장소의 'sorry' 개수는 0으로 표시됐다. 오픈AI는 이는 형식화된 증명에
아이슬란드 국민들이 10년 넘게 중단된 유럽연합 가입 협상을 다시 시작하지 않는 쪽을 선택했다. 안보와 경제 안정을 내세운 찬성론보다 어업권과 국가 자율성을 지켜야 한다는 여론이 근소하게 앞섰다.30일 아이슬란드 공영방송 RÚV와 로이터 등에 따르면 국민투표 최종 결과 반대가 52.8%, 찬성이 47.2%로 집계됐다. 투표율은 82.5%에 달했다. 이번 투표는 EU 가입 여부를 확정하는 것이 아니라 중단된 가입 협상을 재개할지를 결정하는 절차였다.표심은 수도와 지방에서 뚜렷하게 갈렸다. 레이캬비크의 두 선거구에서는
제주에서 실종 104일 만에 숨진 채 발견된 30대 여성 사건과 관련해 경찰이 ‘사인 불명’으로 판단하고 있다.홍석기 국가수사본부장은 31일 경찰청에서 열린 기자간담회에서 “시신 부패로 인해 사인 불명으로 확인됐다”며 “모든 가능성을 열어두고 수사하고 있다”고 밝혔다.경찰은 실종 신고 후 숨진 채 발견된 30대 여성의 사망 원인을 둘러싼 의혹이 이어지자 최근 시신이 발견된 야자수 농장에서 신체 조건과 자세 등을 고려해 재연 실험을 가진 바 있다.홍 본부장은 제주에서 발생한 실종 허위 종결 사건을 둘러싼 부실 수사 논란에 대해서도 관
이더리움이 향후 몇 주간 암호화폐 시장 전반의 흐름을 가늠할 선행 지표가 될 수 있다는 분석이 나왔다. 30일 블록체인 매체 유투데이에 따르면 XRP의 2024~2025년 700% 이상 상승을 예측해 주목받은 암호화폐 트레이더 돈알트는 현재 이더리움 일간 차트를 시장에서 가장 깔끔한 흐름으로 평가했다.돈알트는 이더리움이 핵심 저항선을 강하게 돌파한 뒤 곧바로 횡보 구간에 들어선 점에 주목했다. 그는 이더리움의 움직임이 나머지 시장 흐름을 보여줄 가능성이 크다고 봤다.이더리움은 최근 보름 동안
글로벌 제과 업체 오리온의 주주 실체스터 인터내셔널 인베스터즈 측은 주식등 보유 비율이 6.06%로 증가했다고 1일 공시했다. 변동방법은 장내매매이며 변동사유는 단순 취득으로 기재됐다.실체스터 인터내셔널 인베스터즈의 2026년 8월 20일 기준 보유 주식등의 수는 239만6644주다. 직전 보고일인 2026년 6월 11일 대비 40만9012주 증가했다. 보유비율은 6.06%로, 1.03%포인트 증가했다. 주권 주식수는 239만6644주다. 직전 보고일인 2026년 6월 11일 대비 40만
농협목우촌이 추석 선물세트 사전 예약을 받고 있다. 9월 7일까지 목우촌몰에서 선물세트를 사전 예약하면 수제햄은 33%까지, 캔세트는 최대 51% 할인된 가격에 구매할 수 있다. 농협목우촌은 지난 8월 28일 다가오는 추석을 맞아 목우촌몰에서 선물세트 사전 예약을 진행한다고 밝혔다. 선물세트는 한우·한돈, 수제햄, 캔