feature-top

이번엔 진짜…오픈AI '아스트라' 10년 넘게 못 풀던 수학 난제 10개 풀어

오픈AI가 차세대 모델군으로 소개한 미공개 내부 모델 '아스트라'가 수학·이론컴퓨터과학 분야에서 최소 10년 이상 풀리지 않았던 문제 10개에 새로운 결과를 제시하고, 기계 검증이 가능한 증명도 함께 공개했다.2일 실리콘앵글 등 외신에 따르면, 오픈AI는 249쪽 분량의 원고와 모델이 생성한 추론 과정, '린 4' 기반 증명 인증서를 깃허브에 아파치 2.0 라이선스로 공개했다. 공개된 인증서 저장소의 'sorry' 개수는 0으로 표시됐다. 오픈AI는 이는 형식화된 증명에...
국내시장복귀계좌의 해외주식 양도소득세 공제율이 이달 말부터 80%에서 50%로 낮아지는 가운데 효과마저 기대보다 제한적이었다는 평가가 나온다.금융감독원은 최근 투자자들에게 RIA를 통한 해외주식 매도 시 주문 체결일이 아닌 '매도 결제 완료일'을 기준으로 양도소득 공제율이 결정된다고 안내했다.해외주식은 시장에 따라 T+1일부터 T+3일까지 결제 시차가 발생하는 만큼 거래 증권사를 통해 결제 완료일을 반드시 확인해야 한다고 강조했다.현재 해외주식 양도소득 공제율은 7월 말까지 80%가 적용되지만
딥커머스의 최대주주 정소영 측은 주식등 보유 비율이 14.42%로 증가했다고 29일 공시했다.변동 방법은 장내 매수이며 변동 사유로는 단순 취득이 제시됐다.정소영과 특별관계자 5인의 2026년 7월 29일 기준 보유 주식등의 수는 268만5691주다. 직전 보고일인 2026년 7월 23일 대비 2만1291주 증가했다. 보유비율은 14.42%로 0.11%포인트 증가했다. 주권 주식수는 250만3826주로 직전 보고일 대비 2만1291주 증가했으며 지분율은 13.58%로 0.12%포인트 증가
네이버페이가 오프라인 통합 단말기 'Npay 커넥트'를 이용하는 영세·중소 가맹점의 현장결제 수수료를 지원한다.네이버페이는 오는 8월3일부터 12월31일까지 국세청 기준 영세·중소 등급의 Npay 커넥트 가맹점에서 발생한 Npay 머니·포인트 현장결제 수수료를 환급한다고 29일 밝혔다.대상 가맹점은 별도의 신청 절차 없이 지원받을 수 있다. QR과 삼성페이, 안면인식 결제 서비스 '페이스사인' 등을 통한 Npay 머니·포인트 결제 수수료가 환급 대상이다.환급액은 월 단위로 산정해 다음달 15일 BC카드
제지 기업 한국제지의 최대주주인 해성산업이 주식병합으로 보유 주식이 1억2884만8816주 감소했다고 29일 공시했다.해성산업은 2026년 7월 28일 주식병합을 통해 보통주식 1억6106만1019주에서 3221만2203주로 변경됐다. 증감 주식수는 마이너스 1억2884만8816주로, 이번 변동으로 해성산업의 한국제지 지분율은 84.70%로 기록됐다. 직전 보고서 제출일인 2024년 10월 16일 기준 보유 주식수는 1억6106만1019주, 지분율은 84.69%였다.한국제지의 2025년 12
미네소타주의 예측시장 전면 금지법이 시행을 앞두고 연방법원의 가처분 결정으로 제동이 걸렸다.28일 아스테크니카 등 외신에 따르면, 미네소타 연방지방법원은 8월 1일 시행 예정이던 해당 법의 집행을 본안 판결이 나올 때까지 중단하도록 결정했다.쟁점은 예측시장 계약이 도박인지, 아니면 연방 상품선물거래위원회가 전속 관할하는 파생상품인 스와프인지 여부다. 미네소타 주의회는 예측시장을 사실상 도박으로 보고 지난 5월 관련 금지법을 통과시켰다. 이후 트럼프 행정부와 예측시장 플랫폼 칼시,
방산 AI 데이터센터 시장에 이종 기업 간 기술 결합 모델이 등장했다. 장기기억 AI 및 반도체 통합 솔루션 기업 디노티시아는 STX엔진과 방위산업 특화 인공지능 데이터센터 사업에서 전략적 투자 및 사업 협력을 추진한다고 29일 밝혔다. STX엔진이 투자자로 참여하고 발전기 등 전력 인프라 설비를 공급하는 한편, 양사가 방산 AI 솔루션을 공동 개발·사업화하는 구조다.디노티시아는 방산 특화 AIDC의 기획·개발을 맡고, 벡터 데이터 처리장치인 VDPU와 AI 데이터 인프라 솔루션 '씨홀
양주시는 오는 8일과 29일 양주관아지에서 시민과 관광객이 함께 즐길 수 있는 ‘양주관아에서 즐기는 여름 물놀이’행사를 개최한다고 4일 밝혔다. 이번 행사는 양주관아지 활성화 사업의 일환으로, 여름철 시민과 관광객에게 도심 속 피서 공간을 제공하고 국가유산을 친숙하게 체험할 수 있도록 마련됐다. 행사는 오전 11시부터 오후 4시 30분까지 운영되며, 어린
백선희 조국혁신당 국회의원은 소액의 직역연금을 받는 고령자도 소득·재산 수준에 따라 기초연금을 받을 수 있도록 하는 '기초연금법 일부개정법률안'을 대표발의했다.지난 3일 국회에 제출된 이 법안은 공무원연금·사학연금·군인연금 등 직역연금 수급 여부만으로 기초연금에서 일률 배제하는 현행 제도를 개선하겠다는 것이 입법 취지다.최근 기초연금 구조 개편이 예고된 가운데 정부 역시 그동안 소득·재산이 적어도 직역연금을 받는다는 이유로 배제됐던 저소득 퇴직자들을 수급 대상에 포함하고 내년부터 이를 적용하는 방안을 추진
“현재 ‘호라이즌 워커’에서 여름 이벤트가 진행되고 있습니다. 이어 쉬지 않고 축제 분위기를 조성하며 2주년 이벤트를 실시할 계획입니다.”4일 서윤석 젠틀매니악
서귀포시는 오는 18일부터 21일까지 3박 4일간 '2026 을지연습'​을 실시한다.이번 연습은 공무원 비상소집을 시작으로 전시종합상황실을 운영하고, 사건 메시지에 따른 도상연습을 실시해 국가비상사태 발생 시 지방정부 기능 유지와 위기 대응체계를 점검할 계획이다.2일 차에는 국가중요시설을 대상으로 관계기관 합동 대테러 실제훈련을 실시한다. 해안도시 특성을 반영한 육·해상 복합상황을 설정해 서귀포시를 비롯한 서귀포경찰서, 해군, 해병대, 서귀포소방서 등 관계기관 100여 명이 참여하며, 통합방위 작전 수행능력과 기관 간 협조체계를 점
평화경제 거점도시 강원 고성군이 문화예술, 미래교육, 생활안전 분야를 아우르는 다양한 사업을 펼치며 군민과 관광객이 함께 체감하는 지역 발전 행보를 이어가고 있다.아이들의 마음을 어루만지는 공연예술부터 군민의 디지털 역량을 키우는 AI 교육, 여름철 안전사고 예방 활동까지 일상 가까이에서 변화를 만들어가는 정책들이 주목받고 있다.비닐봉지가 생명력 있는 존재로…오브제극 ‘둥둥주의보’ 무대 오른다. 고성군은 오는 8월 7일과 8일 고성군문화복지센터에서 색다른 오브제극 '둥둥주의보'를 선보인다.이번 공연은 지역 공연장과 예술단체의 협력을
서귀포시는 오는 8월 18일부터 21일까지 '2026 을지연습'​을 실시한다고 4일 밝혔다.이번 연습은 공무원 비상소집을 시작으로 전시종합상황실을 운영하고, 사건
도널드 트럼프 미국 대통령이 이란을 향해 "이번이 마지막 기회"라며 협상 타결을 압박했다. 이란이 합의에 응하지 않으면 지도부 제거를 의미하는 이른바 '참수 작전
초대형 산업 데이터 AI 스타트업 서치독은 다우데이터와 함께 국내 주요 건설기업 30곳 및 정부기관 등을 초청해 AI 세미나를 개최했다고 밝혔다.‘건설산업의 문서, 도면, BIM 문제, AI로 풀다’를 주제로 열린 이번 세미나는 설계·조달·시공 산업이 직면한 문서·도면 관리의 복잡성과 AI 기술을 활용한 해결 방안을 공유하기 위해 마련됐다. 국내 대형 건설사 실무자와 의사결정권자들이 한자리에 모여 AI 기반 문서 검색·분석 기술의 현장 적용 사례와 향후 확장 가능성이 논의됐다.백준선 서치독 대표는
새 학기와 하반기 새로운 업무 환경을 준비하는 8월은 개인 데스크톱 모니터를 교체하거나 서브 모니터 및 게이밍 기어를 새로 도입하는 수요가 몰리는 시기다. 특히 디스플레이 시장에서는 단순 제품 스펙을 넘어 실사용자의 데스크 레이아웃에 맞춘 세팅 후기가 구매를 결정짓는 핵심 지표로 자리 잡고 있다.글로벌 디스플레이 브랜드 벤큐코리아는 8월 한 달간 벤큐 모니터 및 마우스 구매 고객을 대상으로 포토후기 이벤트를 진행한다고 밝혔다. 폭넓은 디스플레이 라인업을 기반으로 유저들의 셋업 노하우를 공유하는
국내 밤꿀 수매가격이 사상 처음으로 1+등급 기준 드럼당 450만원을 돌파하며 역대 최고치를 기록했다. 지난해 최고가였던 430만원보다 20만원 오른 수준으로, 국산 밤꿀의 희소성과 우수한 품질이 가격에 반영된 결과로 풀이된다. 등급별 수매가격은 1+등급 450만원, 1등급 440만원, 2등급 430만원으로 최종 확정됐다. 이번 가
인기기사
Generic placeholder image
'봉사한다'던 홍명보, 법카 1400만원 집 근처 해장국집·호텔서 긁었다
홍명보 전 남자축구 국가대표팀 감독이 법인카드로 자택 근처에서 약 2년간 1400여만 원을 쓴 사실이 확인됐다. 그럼에도 홍 전 감독은 협회 지침상 필요한 소명서 등을 제출하...
Generic placeholder image
제5회 청룡시리즈어워즈, 31일 파라다이스시티에서 열려
6일전
주요 온라인 동영상 서비스 플랫폼에서 공개된 국내 드라마와 예능을 대상으로 하는 시상식인 ‘제5회 청룡시리즈어워즈’가 인천 파라다이스시티에서 열린다.인천시는 ‘제5회 청룡시리즈어워즈’가 31일 오후 8시 30분 영종도 파라다이스시티에서 개최된다고 29일 밝혔다.레드카펫 행사는 이날 오후 7시부터 진행된다.청룡시리즈어워즈는 넷플릭스, 디즈니+, 웨이브, U+모바일tv, 지니TV, 쿠팡플레이, 티빙 등 OTT 플랫폼에서 방영한 국내 드라마와 예능을 대상으로 하는 시상식으
Generic placeholder image
16년째 이어온 체육인재 육성... 강북구체육진흥협의회 장학금 전달
서울 강북구는 강북구체육진흥협의회가 지난 21일 미아동복합청사 대강당에서 '제16기 강북구체육진흥협의회 장학금 전달식'을 열고 지역 체육 인재 15명에게 총 2,250만원의 장학금을 전달했다고 밝혔다.강북구체육진흥협의회는 2011년부터 회원들의 회비를 재원으로 장학사업을 이어오며 체육 분야에서 성장 가능성이 높은 유·청소년을 꾸준히 지원하고 있다. 올해로 16년째를 맞은 이 사업을 통해 지금까지 총 199명의 학생에게 약 2억7천만원의 장학금을 지급했다.올해는 관내 학교 추천을 받은 학생 25
Generic placeholder image
와룡면 마을복지추진단, 장수 어르신 위한 생신잔치 마련
안동시 와룡면 마을복지추진단은 7월 27일 태1리 태곡경로당에서 지역 장수 어르신 7명을 모시고 ‘오늘은 내가 귀빠진 날’ 생신잔치를 개최했다.‘오늘은 내가 귀빠진 날’은 홀몸 및 장수 어르신을 직접 찾아가 생신을 축하하고 이웃의 정을 나누는 마을복지 실행사업이다. 지난 5월 도곡리에서 첫 행사를 진행한 데 이어 이번에는 태1리 어르신들을 찾았다.이날 추진단은 생신상과 선물을 준비하고 축하 공연을 마련했다. 태1리 주민들도 음식을 보태고 행사 준비에 참여해 어르신들과 함께 식사를 나누며 마을잔치의 의미를 더했다.지난 5월 행사에서
Generic placeholder image
AI 땜에 신입 안 뽑던 대기업들이 다시 채용을 늘리고 있다...왜?
경제적인 불확실성과 AI가 보다 많은 업무를 커버할 수 있다는 것을 이유로 가급적 채용을 꺼려온 미국 기업들이 달라졌다. 전통 대기업들은 물론 빅테크 기업들까지 채용 확대에 나서는 모습이다.월스트리트저널에 따르면 대형 철도 회사인 CSX, 구글 모회사인 알파벳이 최근 투자자들을 상대로 성장 목표를 맞추고 신기술 분야에서 기회를 잡기 위해 채용을 확대하겠다는 계획을 내놨다.일부 기업 경영진들은 AI 도입에 따른 비용과 기술적인 한계로 인해 직원을 늘릴 필요가 생겼다고 하고 있고, 해고를 했다가 재
최신기사
Generic placeholder image
집값·코스피 여론 악화 대응 ‥ 대통령 귀국 즉시 긴급 대책회의
이재명 대통령이 3일 해외 순방 귀국하자마자 헬기 편 청와대로 직행, 밤 10시 넘게
Generic placeholder image
서귀포시, 2026 을지연습 실시..."안보 대응역량 강화"
서귀포시는 오는 18일부터 21일까지 3박 4일간 '2026 을지연습'​을 실시한다.이번 연습은 공무원 비상소집을 시작으로 전시종합상황실을 운영하고, 사건 메시지에 따른 도상연습을 실시해 국가비상사태 발생 시 지방정부 기능 유지와 위기 대응체계를 점검할 계획이다.2일 차에는 국가중요시설을 대상으로 관계기관 합동 대테러 실제훈련을 실시한다. 해안도시 특성을 반영한 육·해상 복합상황을 설정해 서귀포시를 비롯한 서귀포경찰서, 해군, 해병대, 서귀포소방서 등 관계기관 100여 명이 참여하며, 통합방위 작전 수행능력과 기관 간 협조체계를 점
Generic placeholder image
2026 을지연습 실시..서귀포시 안보 대응역량 강화
서귀포시는 오는 8월 18일부터 21일까지 '2026 을지연습'​을 실시한다고 4일 밝혔다.이번 연습은 공무원 비상소집을 시작으로 전시종합상황실을 운영하고, 사건
Generic placeholder image
백선희 의원 "저소득 직역연금 수급자도 기초연금 받을 수 있어야"
백선희 조국혁신당 국회의원은 소액의 직역연금을 받는 고령자도 소득·재산 수준에 따라 기초연금을 받을 수 있도록 하는 '기초연금법 일부개정법률안'을 대표발의했다.지난 3일 국회에 제출된 이 법안은 공무원연금·사학연금·군인연금 등 직역연금 수급 여부만으로 기초연금에서 일률 배제하는 현행 제도를 개선하겠다는 것이 입법 취지다.최근 기초연금 구조 개편이 예고된 가운데 정부 역시 그동안 소득·재산이 적어도 직역연금을 받는다는 이유로 배제됐던 저소득 퇴직자들을 수급 대상에 포함하고 내년부터 이를 적용하는 방안을 추진
Generic placeholder image
“’호라이즌 워커’ 축제 분위기 이어간다”
“현재 ‘호라이즌 워커’에서 여름 이벤트가 진행되고 있습니다. 이어 쉬지 않고 축제 분위기를 조성하며 2주년 이벤트를 실시할 계획입니다.”4일 서윤석 젠틀매니악