feature-top

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

오픈AI가 차세대 모델군으로 소개한 미공개 내부 모델 '아스트라'가 수학·이론컴퓨터과학 분야에서 최소 10년 이상 풀리지 않았던 문제 10개에 새로운 결과를 제시하고, 기계 검증이 가능한 증명도 함께 공개했다.2일 실리콘앵글 등 외신에 따르면, 오픈AI는 249쪽 분량의 원고와 모델이 생성한 추론 과정, '린 4' 기반 증명 인증서를 깃허브에 아파치 2.0 라이선스로 공개했다. 공개된 인증서 저장소의 'sorry' 개수는 0으로 표시됐다. 오픈AI는 이는 형식화된 증명에...
제지 기업 한국제지의 최대주주인 해성산업이 주식병합으로 보유 주식이 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 데이터 인프라 솔루션 '씨홀
디스플레이 부품 제조사 아나패스의 김지혜 이사가 소유한 아나패스 주식 수량이 2000주 증가했다고 29일 공시했다.소유상황에 따르면 직전 기준일인 2026년 2월 10일 주식 수는 8000주, 지분율은 0.07%였다. 이번 기준일인 2026년 7월 29일 주식 수는 1만주, 지분율은 0.08%다. 이번에 보고된 주식 수는 직전 대비 2000주 증가했고, 지분율은 0.01%포인트 상승했다.세부변동내역을 보면 2026년 7월 24일부터 2026년 7월 30일까지 보통주가 2000주 증가했고,
크래프톤이 음성 인공지능 파운데이션 모델 'A.X K2 라온-스피치'를 글로벌 AI 플랫폼 허깅페이스에 공개했다고 29일 밝혔다.이번 모델은 과학기술정보통신부 주관 '독자 AI 파운데이션 모델' 프로젝트에서 SK텔레콤 정예팀으로 참여 중인 크래프톤의 2차수 연구 성과다. SK텔레콤의 소형 언어 모델에 크래프톤이 자체 개발한 음성 인코더, 코덱을 결합해 음성을 직접 이해하고 생성하도록 구축했다.핵심은 음성 간 직접 변환 체계다. 기존 AI가 음성을 텍스트로 변환해 이해한 뒤 다시 음성
딥커머스의 최대주주 정소영 측은 주식등 보유 비율이 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%포인트 증가
19시간전
더존하우징이 여름철 현장 안전 확보와 시공 품질 향상을 위해 ‘7월 현장소장 정기교육’을 진행했다.이번 교육은 폭염과 장마가 잦은 하절기 현장 관리
20시간전
종합 지급결제 전문기업 케이에스넷이 솔라나 재단과 디지털자산 결제 및 인공지능 기반 결제 기술 검증을 위한 협력에 나선다
장마철에도 비다운 비가 내리지 않는 ‘마른장마’와 기록적인 폭염이 이어지면서 영남지역 농업용수 확보에 비상이 걸렸다. 경남과 경북의 저수율이 평년 수준을 크게 밑돌고 일부 지역에서는 농업용수 가뭄 단계가 ‘주의’와 ‘경계’로 높아지는 등 농작물 피해 우려가 커지고 있다.농림축산식품부와 한국농어촌공사 등에 따르면 최근 전국 농업용 저수지의 평균 저수율이 평년 수준을 밑도는 가운데 영남지역의 저수율 하락세가 두드러지고 있다.경남지역 평균 저수율은 42.6%, 경북은 53.7% 수준으로 떨어졌다. 경남 창녕
국제로타리 3590지구 진주비봉로타리클럽은 지난 28일 진주시복지재단에서 운영하는 진주시장애인종합복지관을 방문하여 250만원 상당의 10분쿡 식료품 70박스를 후원했다.이번 후원은 ‘나눔의 실천 소소한 행복 나누기’ 사업의 일환으로 진행되었으며, 후원된 식료품은 복지관 내 매일 약 200명의 지역 장애인들이 이용하는 집단급식소에서 식자재로 활용될 예정이다.진주비봉로타리클럽은 그동안 장애인 지원을 비롯해 노인복지, 청소년 교육, 환경 보호 등 다양한 사회공헌사업을 꾸준히 펼쳐오며 지역사회에
인기기사
Generic placeholder image
대구광역시교육청교육역사관, 새 이름과 함께 새로운 도약 시작
대구광역시교육청교육역사관은 7월 28일 오후 2시 현판 제막식을 열고 새로운 출발을 알린다. 지난 7월 1일, 기존 ‘대구교육박물관’에서 ‘대구교육역사관’으로 명칭을 바꾸고, 그동안의 전시 중심 운영에서 벗어나 교육 역사와 체험 교육이 어우러진 복합 교육공간으로 탈바꿈했다. 제막식에는 강은희 대구시교육감과 이성오
Generic placeholder image
세대·국경 넘어…‘투게더’로 잇는 영화여행
제11회 울산울주세계산악영화제가 전 연령이 함께 즐기는 ‘투게더’ 섹션 상영작을 공개했다. 울산울주세계산악영화제는 산과 자연, 인간을 다루며 독보적인 전문성을 확고히 다지는 동시에, 특정 장르나 주제에 머무르지 않고 누구나 찾아와 즐길 수 있는 포용적인 문화를 일궈 왔다. 이러한 취지에 걸맞게, ‘투게더’는 영화를 통해 모든 관객이 어우러지는 장이 되는 섹션이다. 특히 올해 ‘투게더’ 섹션은 세계 최초로 공개되는 월드 프리미어 작품의 비율이 높아 독창성과 희소성을 한층 더했다. 개미를 통해 생명의 역사를 돌아보는 ‘역사의 한 겹’,
Generic placeholder image
와룡면 마을복지추진단, 장수 어르신 위한 생신잔치 마련
안동시 와룡면 마을복지추진단은 7월 27일 태1리 태곡경로당에서 지역 장수 어르신 7명을 모시고 ‘오늘은 내가 귀빠진 날’ 생신잔치를 개최했다.‘오늘은 내가 귀빠진 날’은 홀몸 및 장수 어르신을 직접 찾아가 생신을 축하하고 이웃의 정을 나누는 마을복지 실행사업이다. 지난 5월 도곡리에서 첫 행사를 진행한 데 이어 이번에는 태1리 어르신들을 찾았다.이날 추진단은 생신상과 선물을 준비하고 축하 공연을 마련했다. 태1리 주민들도 음식을 보태고 행사 준비에 참여해 어르신들과 함께 식사를 나누며 마을잔치의 의미를 더했다.지난 5월 행사에서
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
전주시 "다가구주택 '방쪼개기'도 안전기준 충족하면 사용 승인 가능"
전북 전주시가 오는 12월 17일 시행되는 ‘특정건축물 정리에 관한 특별조치법’에 맞춰 조례 개정과 행정 지원 체계 구축 등 사전 준비에 나서기로 했다. 시는 그동안 법률의 ...
Generic placeholder image
장지천 현장 답사 추진…하남시의회, 미사호수공원 워터스크린 검증
기존 분수시설의 문제점 보완과 수질 개선에서 출발한 미사호수공원 친수공간 사업의 타당성을 재검토하는 자리가 마련됐다.하남시의회 도시건설위원회는 지난 3일 소회의실에서 ‘미사호수공원 워터스크린 사업 타당성 검토 민관합동 TF 설명회’를 열었다.
Generic placeholder image
'현대차 9조원' 담으려 선제적 지원 나선 이것?…새만금청 '종합보세구역' 대폭 확대
현대차 9조원을 담아내기 위해 새만금 지역 내 종합보세구역도 대규모 확대 운영된다. 4일 새만금개발청과 관세청에 따르면 이날 새만금 국가산단 3·...
Generic placeholder image
송영길, 15년 전 부도 위기 인천 막아낸 비결은
더불어민주당 당 대표에 나선 기호 1번 송영길 후보가 15년 전 부도 위기 인천을 해결한 사연이 전당대회에서 회자되고 있다. 이재명 당시 성남시장의 재정 위기 극복 사연과 이어졌고, 재정 위기를 넘긴 인천은 이를 발판삼아 바이오·반도체 등으로 경제 생태계 탈바꿈의 기틀을 마련했다.
Generic placeholder image
예천군,"한여름 밤 시원한 맥주 한잔 어때" 범우리 비어페스티벌 개막
한여름 무더위를 식혀줄 도심 속 맥주축제가 예천 신도시에서 열린다. 예천문화관광재단은 오는 7일 오후 7시부터 9시까지 호명읍 신도시 주차타워 앞 광장에서 '2026 예...