저스틴 선, 수학 난제·형식 검증에 최대 100만달러 건다
저스틴 선이 수학 난제와 기계 형식 검증 성과에 상금을 주는 분산형 학술상 '저스틴 선 상'을 제정했다.
16일 블록체인 매체 크립토폴리탄에 따르면 첫 수상자 명단도 함께 공개됐으며, 최고상 100만달러는 3차원 나비에-스토크스 방정식의 존재성과 매끄러움 문제에 대한 해법과 형식 증명을 인정받은 오픈AI 연구팀이 받았다.
첫 수상에서는 66개 수학 문제의 해법과 형식 증명이 인정됐다.
오픈AI는 해당 증명이 자사 내부 모델로 생성됐고, 린 형식화와 검증은 GPT-6 아스...
16일 블록체인 매체 크립토폴리탄에 따르면 첫 수상자 명단도 함께 공개됐으며, 최고상 100만달러는 3차원 나비에-스토크스 방정식의 존재성과 매끄러움 문제에 대한 해법과 형식 증명을 인정받은 오픈AI 연구팀이 받았다.
첫 수상에서는 66개 수학 문제의 해법과 형식 증명이 인정됐다.
오픈AI는 해당 증명이 자사 내부 모델로 생성됐고, 린 형식화와 검증은 GPT-6 아스...
AI 영업·마케팅 스타트업 클레이가 신규 투자를 유치하며 기업가치를 두 배 이상 끌어올렸다고 뉴욕타임스가 9일 보도했다.보도에 따르면 클레이는 1억1500만달러 규모 투자를 유치하며 기업가치를 71억달러로 인정받았다고 발표할 예정이다. 지난해 8월 투자 라운드에서 평가받은 몸값보다 두 배 이상 증가한 수치다.이번 라운드는 대형 자산운용사 웰링턴매니지먼트가 주도했다. 웰링턴은 몇 년 안에 상장 가능성이 있는 스타트업에 주로 투자해왔다. 세쿼이아캐피털, a16z 페레니얼, DST글로벌,
광통신 설비 기업 엠젠솔루션이 운영자금 조달을 위한 제3자배정 방식의 유상증자를 결정했다고 10일 공시했다.이사회 결의일은 2026년 9월 9일이며 독립이사 2명이 참석하고 감사도 참석한 가운데 결의가 이뤄졌다. 증자 방식은 제3자배정증자로, 자금조달 목적은 운영자금이며 조달 규모는 20억원이다. 세부 사용 내역은 회사 경영에 필요한 운영자금 등으로 명시됐으며 2026년 중 전액 집행할 예정이다.신주 종류는 보통주식이며 발행 주식 수는 161만304주다. 주당 발행가액은 1242원으로,
동합금계열 비철전문 제조 업체 국일신동의 최대주주 손인국 측은 주식등 보유 비율이 44.32%로 증가했다고 11일 공시했다.변동 사유는 최대주주의 1% 이상 장내매수로 기재됐다.손인국과 특별관계자 2인의 2026년 9월 11일 기준 보유 주식등의 수는 491만5104주다. 직전 보고일인 2019년 2월 1일 대비 20만1504주 증가했다. 보유비율은 44.32%로 1.82%포인트 증가했다. 주권 주식수는 491만5104주다. 직전 보고일인 2019년 2월 1일 대비 20만1504주 증가했
이더리움이 6월 저점 대비 55% 넘게 반등하면서 강한 3분기 흐름을 이어가고 있다. 13일 블록체인 매체 유투데이에 따르면 이더리움은 현재 2492달러 안팎에서 거래되고 있으며, 6월 약 1600달러까지 떨어진 뒤 주요 이동평균선을 모두 회복했다.일봉 차트의 기술적 구조도 달라졌다. 이더리움은 그동안 주요 이동평균선 아래에 머물렀지만, 최근에는 이를 모두 웃돌고 있다. 상승세가 가장 강했던 시점은 8월이었다. 이더리움은 몇 주간 1850~1950달러 부근에서 횡보한 뒤 2000달러를 돌파했고
증권사들이 AI 분석과 커뮤니티, 영상 콘텐츠를 결합한 투자 플랫폼을 잇따라 선보인데 이어 네이버가 새로운 증권 페이지를 본격 가동한다. 네이버는 10일부터 약 20년간 운영해온 기존 증권 페이지를 종료하고 지난 7월30일 선보인 새 증권 페이지를 단독 운영한다. 기존 페이지와 새 페이지를 함께 제공하던 기간을 마무리하고 개편된 서비스로 이용 환경을 통합하는 것이다.네이버페이 증권은 시세와 뉴스, 종목 토론 등 투자정보를 제공하고 '간편주문'을 통해 제휴 증권사의 주문 화면으로 연결한다. 이용자가 네이버
과학기술정보통신부 우정사업본부가 전북 무주와 경북 칠곡에서 지역사랑카드를 선보인다.우정사업본부는 10일 전북 무주에 '우체국 무주사랑카드'를 출시하고 오는 21일에는 경북 칠곡에서 '우체국 칠곡사랑카드'를 출시한다고 밝혔다.지역 주민은 가까운 우체국 창구를 방문해 카드 발급부터 지역사랑상품권 충전까지 한 번에 안내받을 수 있다. 모바일 앱 이용이 익숙하지 않은 고령층도 신분증만 지참하면 현장에서 서비스를 이용할 수 있다. 카드는 우체국예금 누리집과 스마트뱅킹, 'chak' 앱을 통해서도 신청할 수 있다.
미 상원이 클래리티법을 다음 단계로 넘기지 못한 뒤 손실 상태의 비트코인 2만3200개가 거래소로 이동했다. 16일 블록체인 매체 유투데이에 따르면 규모는 약 17억9000만달러다.최근 하루 동안 비트코인 매도는 단기 보유자를 중심으로 급증했다. 크립토퀀트 집계에서는 손실 구간에서 거래소로 들어간 물량이 2만3200BTC로 나타났다.직접적인 계기는 미국 상원의 절차 표결 실패였다. 상원은 암호화폐 클래리티법안을 49대 50으로 부결해 법안 진전에 필요한 60표를 채우지 못했다.
윤슬유치원은 지난 16일 추석 명절을 맞아 거제시 상문동 경로당에 백미 10kg 17포를 기탁했다.문동동에 자리한 윤슬유치원은 평소에도 아동 교육은 물론이고 이웃사랑을 위한 다양한 나눔 활동을 꾸준히 이어오고 있으며, 이번 기탁은 다가오는 추석 명절을 맞아 경로당 어르신들이 건강하며 풍성한 명절을 보내시기를 바라는 마음에서 마련됐다.이승은 원장은 "작은 정성이지만 어르신들의 따뜻한 밥상에 보탬이 되기를 바란다"며, "앞으로도 아이들과 함께 지역사회와 소통하고 온정을 나누는 활동을 꾸준히 실천해 나가겠다"고 전했다.이에
최근 아파트 수요자들의 눈높이가 높아지면서 단지의 외관과 조경, 커뮤니티 시설이 주거 가치를 결정하는 핵심 요소로 떠오르고 있다. 집 안의 평면뿐만 아니라 단지 전체의 디자인과 부대시설이 입주민의 일상에 미치는 영향력이 커졌기 때문이다.이러한 가운데, 포스코이앤씨가 경기도 여주시에 선보이는 '더샵 여주역더퍼스트'는 이 같은 흐름을 반영해 차별화된 단지 배치와 고품격 외관, 매머드급 커뮤니티를 선보이며 지역 내 주거 기준을 새롭게 정립하고 있다.경기도 여주시 홍문동 일원에 들어서는 '더샵 여주역더퍼스트'는 지하 2층~지상 최고 29층
9월은 참 묘한 계절이다. 달력은 가을을 가리키지만 한낮에는 아직 여름의 따뜻한 햇살이 남아 있다. 아침저녁으로 바람은 선선해지고, 길가의 나뭇잎도 조금씩 색을 바꾸기 시작한다. 사람들의 옷차림과 식탁의 음식, 그리고 손에 들고 있는 커피의 맛도 조금씩 달라진다. 그래서 9월의 커피는 완전한 가을의 커피라기보다 여름과 가을이 만나는 계절의 커피라고 생각한다. 뜨거운 여름에는 시원한 커피가 가장 반갑다. 얼음이 부딪히는 소리, 차갑고 깔끔한 산미, 레몬이나 시트러스, 베리처럼 상쾌한 향이 더운 날씨와 잘 어울린다. 하지만 9월이 되면
날로 지능화되는 보험범죄에 효과적으로 대응하기 위해 국회와 정부, 연구기관, 보험업계가 손을 잡았다.손해보험협회는 16일 서울 여의도 국회의원회관에서 ‘국회 보험범죄 방지 연구 포럼’ 발족식과 세미나를 개최했다고 밝혔다.이날 행사에는 포럼 공동대표인 소병훈 더불어민주당 의원과 정점식 국민의힘 의원을 비롯해 국회 주요 상임위원회 소속 의원들이 참석했다. 정부 및 유관기관에서는 권대영 금융위원회 부위원장과 금융감독원, 경찰청 관계자가 참석했으며, 이병래 손해보험협회장, 정웅석 한국형사·법무정책연구원장을 비롯한 보험업계 주요 인사들이 함
제주 장애인체육이 안방에서 새로운 역사를 썼다.제46회 전국장애인체육대회에 출전한 제주특별자치도 선수단이 금메달 68개, 은메달 41개, 동메달 55개 등 모두 164개의 메달을 획득하며 종합 9위에 올랐다. 제주특별자치도장애인체육회 설립 이후 전국장애인체전에서 거둔 역대 최고 성적이다.제주선수단은 대회를 앞두고 세운 메달 150개 목표를 14개 초과 달성한 것은 물론, 종합순위에서도 사상 처음 한 자릿수 진입에 성공했다. 사상 처음 제주에서 열린 전국장애인체전에서 선수들은 대회 첫날부터 폐회식까지 이어진 메달 레이스를 통해 제주
강원특별자치도가 급변하는 글로벌 통상환경에 대응해 수출기업 지원을 강화하는 한편 인구감소와 지역소멸 등 지역의 구조적 문제를 짚고 강원도의 미래 전환 방향을 모색한다.강원특별자치도는 16일, 춘천바이오산업진흥원에서 재정경제부 수출플러스지원단 및 수출 유관기관과 ‘지역 수출진흥 협력회의’를 열고 도내 수출기업 지원을 위한 기관별 협업과제와 향후 협력 방향을 논의했다.이날 회의에는 강원도와 재정경제부 수출플러스지원단을 비롯해 대한무역투자진흥공사 강원지원본부, 한국수출입은행 강원본부, 강원의료기기산업협회, 강원모빌리티산업협회
인기기사
[리뷰] 지민은 봉골레 RM은 고추장… BTS ‘아리’ 원픽의 끝은? (2편)
1편에서 팔도와 hy가 BTS와 함께 기획한 글로벌 식음료 브랜드 ‘아리’의 후추라볶이컵과 트러플불고기컵, 듀얼 바이오
‘여성과 호텔’ 시의원 파문…광명시의회 징계 착수, 경실련·국민의힘 '맹공'
광명지역신문=장성윤 기자> 회기 중 여성과 숙박업소에 간 사실이 드러나 물의를 빚고 있는 A시의원에 대해 광명시의회가 징계 절차에 착수했다. 광명시의회는 11일 오전 원포인트 본회의를 열고 ‘A의원 징계요구의 건’을 윤리특별위원회에 회부했다. 윤리특위 위원이던 A의원의 위원직 사임도 가결했다.A의원은 지난 10일 낮 서울 금천구 소재 한 호텔에서 여성과 함께 나오는 모습이 담긴 영상이 찍혀 논란의 중심에 섰고, 본지와의 전화 인
화신환경, 법무보호대상자에 추석 위문품 전달
한국법무보호복지공단 울산지부는 지난 11일 화신환경으로부터 추석 명절을 맞아 법무보호대상자를 위한 고급 햄 선물세트 30개, 약 300만원 상당을 전달받았다고 밝혔다.이번 후원은 추석을 앞두고 법무보호대상자들이 따뜻한 명절을 보내고 안정적인 사회복귀와 자립을 이어갈 수 있도록 격려하기 위해 마련됐다.화신환경은 정연태 대표를 비롯해 정승윤 본부장, 정승혁 팀장 등 가족이 함께 법무보호대상자의 안정적인 사회정착을 돕고 있다.특히 취업 기회 제공과 후원 활동 등에 지속적으로 참여하며 지역사회 나눔을 이어오고
[크립토핫이슈] 내년 디지털자산 과세 어떻게…비트코인 8만달러 공방
2027년 디지털자산 과세 시행을 앞두고 양도·대여 소득을 모두 기타소득으로 분류하는 현행 체계를 손질해야 한다는 주장이 나왔다. 매매와 채굴, 스테이킹 등 거래 유형별 경제적 실질에 맞춰 소득을 구분하고 국내외 거래소와 개인지갑의 거래정보를 연계할 수 있는 과세 인프라를 먼저 갖춰야 한다는 지적이다.• 디지털자산 과세 4개월 앞..."기타소득 일괄 분류 재설계해야"금융당국이 토큰증권을 조각투자에 한정하지 않고 주식과 채권, 펀드 등 기존 증권까지 확대한다. 2027년 2월 제도 시행과 함께 기
돼지고기 소비, 추석명절 준비수요 활발
추석 명절을 앞두고, 돼지고기 소비가 살아나고 있다. 하지만, 명절 이후에는 소비가 급격히 감소할 것이라는 우려가 나온다. 한국육류유통수출협회는 지난 9일 안양에 있는 협회 회의실에서 ‘9월 돼지고기 시장 동향분석 회의’를 열고, 시장 흐름 등을 살폈다. 이날 축산물 가공·유통 업체들은 돼지고기 구이류의 경우, 외식·
최신기사
철강업계 “태양광 시장 잡고 국산 강재 경쟁력 강화”
한국철강협회는 16일 서울 송파구 협회 대회의실에서 포스코·현대제철 등 국내 태양광 관련 철강 소재사·제작사·가공사 16개 사가 참석하는 ‘태양광위원회’ 창립총회
상망동지역사회보장협의체, 이웃과 함께하는 따뜻한 추석 나눔
영주시 상망동지역사회보장협의체는 16일 1인 장년가구의 고독사 예방과 취약계층이 따뜻한 추석을 보낼 수 있도록 다양한 나눔 활동을 실천했다.이날 오전에는 보름골경로당을 방문해 1인 장년가구 고독사 예방을 위한 도자기 인형 색칠하기 프로그램을 운영해 이웃과 자연스러운 대화를 나누고 교류할 수 있는 기회를 마련했다.프로그램이 끝난 후에는 찾아가는 봉사의 날로 경로당 어르신들게 짜장면을 제공하여 함께 식사를 나누며 따뜻한 정을 나누고 안부를 확인하는 시간을 가졌다.특히 도자기 인형 색칠하기는 서미애 위원의 재
대구시, 18~19일 ‘추석맞이 우수 농·특산물 직거래 장터’
대구시가 추석 명절을 맞아 시민들의 장바구니 부담을 덜고, 농가 판로를 넓혀주기 위한 대규모 직거래장터를 마련했다. 16일 대구시에 따르면 18~19일 이틀간 동
미 상원 클래리티법 제동…손실 상태 비트코인 2만3200개 거래소 유입
미 상원이 클래리티법을 다음 단계로 넘기지 못한 뒤 손실 상태의 비트코인 2만3200개가 거래소로 이동했다. 16일 블록체인 매체 유투데이에 따르면 규모는 약 17억9000만달러다.최근 하루 동안 비트코인 매도는 단기 보유자를 중심으로 급증했다. 크립토퀀트 집계에서는 손실 구간에서 거래소로 들어간 물량이 2만3200BTC로 나타났다.직접적인 계기는 미국 상원의 절차 표결 실패였다. 상원은 암호화폐 클래리티법안을 49대 50으로 부결해 법안 진전에 필요한 60표를 채우지 못했다.
인텔·SK하이닉스, 미국 생산 협의설에 동반 상승
인텔과 SK하이닉스 주가가 16일 동반 상승했다. SK하이닉스가 미국에서 처음으로 메모리 반도체를 생산하는 방안을 인텔과 논의하고 있다는 소식이 나오면서다. 16 일 블록체인 매체 크립토폴리탄에 따르면 인텔은 개장 전 5.2% 올랐고, SK하이닉스는 서울 증시에서 4.1% 상승 마감했다. 나스닥 상장 주식도 장 시작 전 약 3% 올랐다.논의의 핵심은 SK하이닉스의 미국 생산 거점 신설 여부다. 방안으로는 인텔 오하이오 공장 일부를 활용하는 안과 인텔, SK하이닉스, 대