저스틴 선, 수학 난제·형식 검증에 최대 100만달러 건다
저스틴 선이 수학 난제와 기계 형식 검증 성과에 상금을 주는 분산형 학술상 '저스틴 선 상'을 제정했다.
16일 블록체인 매체 크립토폴리탄에 따르면 첫 수상자 명단도 함께 공개됐으며, 최고상 100만달러는 3차원 나비에-스토크스 방정식의 존재성과 매끄러움 문제에 대한 해법과 형식 증명을 인정받은 오픈AI 연구팀이 받았다.
첫 수상에서는 66개 수학 문제의 해법과 형식 증명이 인정됐다.
오픈AI는 해당 증명이 자사 내부 모델로 생성됐고, 린 형식화와 검증은 GPT-6 아스...
16일 블록체인 매체 크립토폴리탄에 따르면 첫 수상자 명단도 함께 공개됐으며, 최고상 100만달러는 3차원 나비에-스토크스 방정식의 존재성과 매끄러움 문제에 대한 해법과 형식 증명을 인정받은 오픈AI 연구팀이 받았다.
첫 수상에서는 66개 수학 문제의 해법과 형식 증명이 인정됐다.
오픈AI는 해당 증명이 자사 내부 모델로 생성됐고, 린 형식화와 검증은 GPT-6 아스...
이더리움이 6월 저점 대비 55% 넘게 반등하면서 강한 3분기 흐름을 이어가고 있다. 13일 블록체인 매체 유투데이에 따르면 이더리움은 현재 2492달러 안팎에서 거래되고 있으며, 6월 약 1600달러까지 떨어진 뒤 주요 이동평균선을 모두 회복했다.일봉 차트의 기술적 구조도 달라졌다. 이더리움은 그동안 주요 이동평균선 아래에 머물렀지만, 최근에는 이를 모두 웃돌고 있다. 상승세가 가장 강했던 시점은 8월이었다. 이더리움은 몇 주간 1850~1950달러 부근에서 횡보한 뒤 2000달러를 돌파했고
2027년 디지털자산 과세 시행을 앞두고 양도·대여 소득을 모두 기타소득으로 분류하는 현행 체계를 손질해야 한다는 주장이 나왔다. 매매와 채굴, 스테이킹 등 거래 유형별 경제적 실질에 맞춰 소득을 구분하고 국내외 거래소와 개인지갑의 거래정보를 연계할 수 있는 과세 인프라를 먼저 갖춰야 한다는 지적이다.• 디지털자산 과세 4개월 앞..."기타소득 일괄 분류 재설계해야"금융당국이 토큰증권을 조각투자에 한정하지 않고 주식과 채권, 펀드 등 기존 증권까지 확대한다. 2027년 2월 제도 시행과 함께 기
AI 영업·마케팅 스타트업 클레이가 신규 투자를 유치하며 기업가치를 두 배 이상 끌어올렸다고 뉴욕타임스가 9일 보도했다.보도에 따르면 클레이는 1억1500만달러 규모 투자를 유치하며 기업가치를 71억달러로 인정받았다고 발표할 예정이다. 지난해 8월 투자 라운드에서 평가받은 몸값보다 두 배 이상 증가한 수치다.이번 라운드는 대형 자산운용사 웰링턴매니지먼트가 주도했다. 웰링턴은 몇 년 안에 상장 가능성이 있는 스타트업에 주로 투자해왔다. 세쿼이아캐피털, a16z 페레니얼, DST글로벌,
증권사들이 AI 분석과 커뮤니티, 영상 콘텐츠를 결합한 투자 플랫폼을 잇따라 선보인데 이어 네이버가 새로운 증권 페이지를 본격 가동한다. 네이버는 10일부터 약 20년간 운영해온 기존 증권 페이지를 종료하고 지난 7월30일 선보인 새 증권 페이지를 단독 운영한다. 기존 페이지와 새 페이지를 함께 제공하던 기간을 마무리하고 개편된 서비스로 이용 환경을 통합하는 것이다.네이버페이 증권은 시세와 뉴스, 종목 토론 등 투자정보를 제공하고 '간편주문'을 통해 제휴 증권사의 주문 화면으로 연결한다. 이용자가 네이버
과학기술정보통신부 우정사업본부가 전북 무주와 경북 칠곡에서 지역사랑카드를 선보인다.우정사업본부는 10일 전북 무주에 '우체국 무주사랑카드'를 출시하고 오는 21일에는 경북 칠곡에서 '우체국 칠곡사랑카드'를 출시한다고 밝혔다.지역 주민은 가까운 우체국 창구를 방문해 카드 발급부터 지역사랑상품권 충전까지 한 번에 안내받을 수 있다. 모바일 앱 이용이 익숙하지 않은 고령층도 신분증만 지참하면 현장에서 서비스를 이용할 수 있다. 카드는 우체국예금 누리집과 스마트뱅킹, 'chak' 앱을 통해서도 신청할 수 있다.
광통신 설비 기업 엠젠솔루션이 운영자금 조달을 위한 제3자배정 방식의 유상증자를 결정했다고 10일 공시했다.이사회 결의일은 2026년 9월 9일이며 독립이사 2명이 참석하고 감사도 참석한 가운데 결의가 이뤄졌다. 증자 방식은 제3자배정증자로, 자금조달 목적은 운영자금이며 조달 규모는 20억원이다. 세부 사용 내역은 회사 경영에 필요한 운영자금 등으로 명시됐으며 2026년 중 전액 집행할 예정이다.신주 종류는 보통주식이며 발행 주식 수는 161만304주다. 주당 발행가액은 1242원으로,
서울시 금천패션제조지원센터가 지난 9월 9일부터 10일까지 이틀간 동대문디자인플라자 디자인랩 1층 DDP 쇼룸에서 열린 ‘2026 SEOUL TEX & TECH’에 참가해 성공적으로 행사를 마쳤다.디토앤디토와 서울경제진흥원이 주관한 이번 행사는 제조기업의 샘플 제품을 매개로 한 1:1 바이어 상담회와 함께 AI를 활용한 상품기획 및 K-패션 브랜드의 새로운 글로벌 성장 전략을 주제로 한 세미나가 함께 진행돼 참관객들의 이목을 끌었다.센터는 서울의류협회와 협력해 금천 패션 제조기
인기기사
‘여성과 호텔’ 시의원 파문…광명시의회 징계 착수, 경실련·국민의힘 '맹공'
광명지역신문=장성윤 기자> 회기 중 여성과 숙박업소에 간 사실이 드러나 물의를 빚고 있는 A시의원에 대해 광명시의회가 징계 절차에 착수했다. 광명시의회는 11일 오전 원포인트 본회의를 열고 ‘A의원 징계요구의 건’을 윤리특별위원회에 회부했다. 윤리특위 위원이던 A의원의 위원직 사임도 가결했다.A의원은 지난 10일 낮 서울 금천구 소재 한 호텔에서 여성과 함께 나오는 모습이 담긴 영상이 찍혀 논란의 중심에 섰고, 본지와의 전화 인
[기업 레이더] 한미약품, 코프로모션 속도 내더니…상품매출 2배 '껑충'
자체 개발 제품 중심의 영업 전략을 펼쳐온 한미약품이 코프로모션과 국내 판매·유통 품목 확대에 속도를 내고 있다.과거 전체 매출의 6~7% 수준에 머물렀던 상품매
회기 중 여성과 호텔...유부남 광명시의원, "꿍꿍이 있어서 갔다"
광명지역신문=장성윤 기자> 유부남인 현역 광명시의원이 회기 중 여성과 함께 호텔에 출입한 사실이 알려지면서 논란이 일고 있다. 더욱이 해당 의원은 본지와의 통화에서 “남자로서 꿍꿍이가 있어서 객실에 갔다”고 직접 밝혀 파문은 더욱 거세질 전망이다.해당 시의원은 논란이 불거지자, 10일 밤 소속 정당인 더불어민주당을 탈당했으며, 광명시의회는 징계 절차를 검토하고 있다.이번 논란은 A의원이 10일 오후 서울 금천구 소재 한 호텔에서 여성과 함께 나오는 영상이 찍히면서 불거졌다. 이 영상에는 여성이 먼저 호텔 밖으로 나온 뒤 A의원이 뒤
김승원발 정국 요동···"유출게이트" 대 "정치공작"
김승원 법무부 장관 후보자를 둘러싼 신약 임상시험 승인 청탁 의혹이 열흘 넘게 정국을 뒤흔들고 있다. 녹취록 공개를 이어가는 무소속 한동훈 의원과, 이를 "왜곡·
울산광역시노인복지관, ‘제21회 한사랑은빛가요제’ 성료
울산광역시노인복지관은 9일 울산광역시노동자종합복지회관 1층 공연장에서 울산지역 어르신들을 위한 ‘제21회 한사랑은빛가요제’ 본선 무대를 개최했다.올해로 21회를 맞은 한사랑은빛가요제는 울산지역 어르신들이 노래를 통해 자신의 끼와 재능을 펼치고, 함께 어우러지며 활기찬 노년문화를 만들어가는 실버 가요제로 마련됐다.올해 본선에는 예선을 거쳐 선발된 8명의 어르신이 무대에 올라 각자의 개성과 실력을 선보이며 열띤 경연을 펼쳤다.이날 행사에는 울산지역 주요 내빈과 관람객 등 350여명이 참석해 참가자들의 무대를 함께 즐겼다.
최신기사
이케아, 대구 첫 상륙… 도시형 최대 규모
글로벌 홈퍼니싱 기업 ‘이케아’가 대구에 상륙한다.16일 이케아 코리아에 따르면 대구 지역 첫 오프라인 매장인 ‘이케아 신세계백화점 대구점’이 17일
저스틴 선, 수학 난제·형식 검증에 최대 100만달러 건다
저스틴 선이 수학 난제와 기계 형식 검증 성과에 상금을 주는 분산형 학술상 '저스틴 선 상'을 제정했다. 16일 블록체인 매체 크립토폴리탄에 따르면 첫 수상자 명단도 함께 공개됐으며, 최고상 100만달러는 3차원 나비에-스토크스 방정식의 존재성과 매끄러움 문제에 대한 해법과 형식 증명을 인정받은 오픈AI 연구팀이 받았다.첫 수상에서는 66개 수학 문제의 해법과 형식 증명이 인정됐다. 오픈AI는 해당 증명이 자사 내부 모델로 생성됐고, 린 형식화와 검증은 GPT-6 아스
부산시, 추석 앞두고 부산새벽시장 방문… 물가·민생 현장 점검
부산시가 추석 명절을 앞두고 부산새벽시장을 찾아 농산물 가격과 소비 동향을 확인하고 상인들의 영업 여건 등 민생 현장을 점검했다.부산시에 따르면 전재수 시장은 16일 오전 7시30분 사상구 부산새벽시장을 방문해 시장 곳곳을 둘러보고 명절을 앞둔 전통시장의 물가와 소비 상황을 살폈다.이번 방문은 추석 대목을 앞둔 전통시장 현장의 경기 상황을 확인하고 상인들이 체감하는 영업상의 어려움과 시장 이용객의 불편 사항 등을 직접 듣기 위해 마련됐다.전 시장은 시장을 순회하며 상인들을 격려하고 농산물을 비롯한 주요 판매
한국-중앙아시아 5개국, AI·과학기술 협력 확대…다자 이니셔티브 채택
한국과 중앙아시아 5개국이 AI과 과학기술 분야 협력을 확대한다. 공공서비스 AI 혁신과 산업·공공부문 AI 전환을 비롯해 미래기후기술, 우주, 에너지 전환 등에서 공동연구와 인력교류를 추진한다.과학기술정보통신부는 제1차 한-중앙아시아 정상회의를 계기로 카자흐스탄·키르기스스탄·타지키스탄·투르크메니스탄·우즈베키스탄과 '한-중앙아시아 미래 AI·과학기술 파트너십 이니셔티브'를 공동 채택했다고 16일 밝혔다.이번 이니셔티브는 한국과 중앙아시아 간 처음으로 채택한 AI·과학기술 분야 다자 협력 문서다. 과기정통
인텔·SK하이닉스, 미국 생산 협의설에 동반 상승
인텔과 SK하이닉스 주가가 16일 동반 상승했다. SK하이닉스가 미국에서 처음으로 메모리 반도체를 생산하는 방안을 인텔과 논의하고 있다는 소식이 나오면서다. 16 일 블록체인 매체 크립토폴리탄에 따르면 인텔은 개장 전 5.2% 올랐고, SK하이닉스는 서울 증시에서 4.1% 상승 마감했다. 나스닥 상장 주식도 장 시작 전 약 3% 올랐다.논의의 핵심은 SK하이닉스의 미국 생산 거점 신설 여부다. 방안으로는 인텔 오하이오 공장 일부를 활용하는 안과 인텔, SK하이닉스, 대