저스틴 선, 수학 난제·형식 검증에 최대 100만달러 건다
저스틴 선이 수학 난제와 기계 형식 검증 성과에 상금을 주는 분산형 학술상 '저스틴 선 상'을 제정했다.
16일 블록체인 매체 크립토폴리탄에 따르면 첫 수상자 명단도 함께 공개됐으며, 최고상 100만달러는 3차원 나비에-스토크스 방정식의 존재성과 매끄러움 문제에 대한 해법과 형식 증명을 인정받은 오픈AI 연구팀이 받았다.
첫 수상에서는 66개 수학 문제의 해법과 형식 증명이 인정됐다.
오픈AI는 해당 증명이 자사 내부 모델로 생성됐고, 린 형식화와 검증은 GPT-6 아스...
16일 블록체인 매체 크립토폴리탄에 따르면 첫 수상자 명단도 함께 공개됐으며, 최고상 100만달러는 3차원 나비에-스토크스 방정식의 존재성과 매끄러움 문제에 대한 해법과 형식 증명을 인정받은 오픈AI 연구팀이 받았다.
첫 수상에서는 66개 수학 문제의 해법과 형식 증명이 인정됐다.
오픈AI는 해당 증명이 자사 내부 모델로 생성됐고, 린 형식화와 검증은 GPT-6 아스...
광통신 설비 기업 엠젠솔루션이 운영자금 조달을 위한 제3자배정 방식의 유상증자를 결정했다고 10일 공시했다.이사회 결의일은 2026년 9월 9일이며 독립이사 2명이 참석하고 감사도 참석한 가운데 결의가 이뤄졌다. 증자 방식은 제3자배정증자로, 자금조달 목적은 운영자금이며 조달 규모는 20억원이다. 세부 사용 내역은 회사 경영에 필요한 운영자금 등으로 명시됐으며 2026년 중 전액 집행할 예정이다.신주 종류는 보통주식이며 발행 주식 수는 161만304주다. 주당 발행가액은 1242원으로,
한국거래소는 영화·드라마 제작사 캔버스엔이 불성실공시법인으로 지정 예고됐다고 11일 공시했다.불성실공시 유형은 공시변경이다. 구체적으로 유상증자 납입기일 6개월 이상 변경 1건, 전환사채 납입기일 6개월 이상 변경 2건이 해당한다. 유상증자 관련 원공시일은 2026년 1월 22일이며 공시일은 2026년 8월 12일이다. 6회차 전환사채 관련 원공시일은 2026년 1월 22일, 공시일은 2026년 8월 19일이며, 8회차 전환사채 관련 원공시일도 2026년 1월 22일, 공시
2027년 디지털자산 과세 시행을 앞두고 양도·대여 소득을 모두 기타소득으로 분류하는 현행 체계를 손질해야 한다는 주장이 나왔다. 매매와 채굴, 스테이킹 등 거래 유형별 경제적 실질에 맞춰 소득을 구분하고 국내외 거래소와 개인지갑의 거래정보를 연계할 수 있는 과세 인프라를 먼저 갖춰야 한다는 지적이다.• 디지털자산 과세 4개월 앞..."기타소득 일괄 분류 재설계해야"금융당국이 토큰증권을 조각투자에 한정하지 않고 주식과 채권, 펀드 등 기존 증권까지 확대한다. 2027년 2월 제도 시행과 함께 기
이더리움이 6월 저점 대비 55% 넘게 반등하면서 강한 3분기 흐름을 이어가고 있다. 13일 블록체인 매체 유투데이에 따르면 이더리움은 현재 2492달러 안팎에서 거래되고 있으며, 6월 약 1600달러까지 떨어진 뒤 주요 이동평균선을 모두 회복했다.일봉 차트의 기술적 구조도 달라졌다. 이더리움은 그동안 주요 이동평균선 아래에 머물렀지만, 최근에는 이를 모두 웃돌고 있다. 상승세가 가장 강했던 시점은 8월이었다. 이더리움은 몇 주간 1850~1950달러 부근에서 횡보한 뒤 2000달러를 돌파했고
동합금계열 비철전문 제조 업체 국일신동의 최대주주 손인국 측은 주식등 보유 비율이 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주 증가했
AI 칩 면적이 커지면서 패키징 기반을 원형 웨이퍼에서 대면적 사각 기판으로 바꾸는 라인 투자가 국내외에서 시작됐다. 사각 패널을 쓰면 기존 웨이퍼 대비 5~6배 많은 칩을 한 번에 처리하고, 면적 활용률은 57%에서 87%로 올라간다. 이 공정을 구현하는 패널레벨패키징을 두고 대만과 국내 기업의 경쟁도 본격화되고 있다. 사각 패널로 기술 흐름이 옮겨가는 이유는 면적 때문이다. 칩은 사각형으로 잘리는데 웨이퍼는 원형이라, 300㎜ 원형 웨이퍼는 가장자리에서 잘려나가는 공간을 피할 수 없다. 패
울주군시설관리공단 온산도서관은 지난 13일 9월 독서의 달을 맞아 마련한 독서문화행사 ‘벌룬쇼 : 엉뚱한 풍선 매직’을 지역 주민들의 호응 속에 마무리했다.이번 공연은 도서관을 찾는 주민들에게 색다른 문화체험 기회를 제공하고 독서문화에 대한 관심을 높이기 위해 마련됐다.행사에서는 다양한 풍선을 활용한 퍼포먼스와 이야기가 어우러진 공연이 펼쳐져 어린이부터 성인까지 온 가족이 함께 즐길 수 있는 시간을 선사했다.관람객들은 풍선으로 만들어지는 다양한 모양과 퍼포먼스를 지켜보며 공연에 함께 참여했다.온산도서관은 이번 행사를 통해 도서관이
용인특례시의회 신현녀 의원은 16일 의회 대회의실에서‘용인시 교통약자 이동편의 증진 및 대중교통 이용환경 개선을 위한 간담회’를 개최했다.이날 간담회에는 용인시 교통정책과·대중교통과 관계 공무원, 경남여객 관계자, 시민 등이 참석해 장애인 등 교통약자가 대중교통을 이용하면서 겪는 불편사항을 공유하고 개선방안을 논의했다.특히 대중교통 종사자를 대상으로 한 장애인 인식개선 교육 강화와 저상버스 확대, 휠체어 이용자의 원활한 승하차를 위한 편의시설 개선 등이 중점적으로 논의
강호동 농협중앙회장이 국제 농업협동조합 분야를 대표하는 국제협동조합농업기구 회장에 선출됐다.16일 농협중앙회에 따르면 강 회장은 지난 14일 파나마 수도 파나마시티에서 열린 ICAO 총회에서 신임 회장으로 당선됐다.ICAO는 국제협동조합연맹 산하 농업 분야 조직으로, 세계 각국의 농업협동조합 간 협력과 교류를 위한 역할을 수행하고 있다. 1951년 설립됐으며 현재 35개국에서 45개 농업협동조합 기관이 회원으로 참여하고 있다.ICA는 전 세계 약 10억명의 협동조합인을 대표하
마샬이 글로벌 브랜드 플랫폼 'MADE OF LOUD'의 철학을 바탕으로, 라이브 음악과 이를 만들어가는 커뮤니티를 지원하기 위한 글로벌 캠페인 'KEEP LIVE MUSIC ALIVE'를 한국에서도 이어간다.MADE OF LOUD는 마샬이 올해 선보인 첫 장기 글로벌 브랜드 태그라인으로, 오랜 시간 라이브 음악과 아티스트, 공연장, 음악 커뮤니티와 함께 성장해온 마샬의 브랜드 정체성을 담고 있다. 마샬은 이를 통해 라이브 음악을 만들어가는 사람들과 함께 음악 문화
인기기사
[기업 레이더] 한미약품, 코프로모션 속도 내더니…상품매출 2배 '껑충'
자체 개발 제품 중심의 영업 전략을 펼쳐온 한미약품이 코프로모션과 국내 판매·유통 품목 확대에 속도를 내고 있다.과거 전체 매출의 6~7% 수준에 머물렀던 상품매
돼지고기 소비, 추석명절 준비수요 활발
추석 명절을 앞두고, 돼지고기 소비가 살아나고 있다. 하지만, 명절 이후에는 소비가 급격히 감소할 것이라는 우려가 나온다. 한국육류유통수출협회는 지난 9일 안양에 있는 협회 회의실에서 ‘9월 돼지고기 시장 동향분석 회의’를 열고, 시장 흐름 등을 살폈다. 이날 축산물 가공·유통 업체들은 돼지고기 구이류의 경우, 외식·
회기 중 여성과 호텔...유부남 광명시의원, "꿍꿍이 있어서 갔다"
광명지역신문=장성윤 기자> 유부남인 현역 광명시의원이 회기 중 여성과 함께 호텔에 출입한 사실이 알려지면서 논란이 일고 있다. 더욱이 해당 의원은 본지와의 통화에서 “남자로서 꿍꿍이가 있어서 객실에 갔다”고 직접 밝혀 파문은 더욱 거세질 전망이다.해당 시의원은 논란이 불거지자, 10일 밤 소속 정당인 더불어민주당을 탈당했으며, 광명시의회는 징계 절차를 검토하고 있다.이번 논란은 A의원이 10일 오후 서울 금천구 소재 한 호텔에서 여성과 함께 나오는 영상이 찍히면서 불거졌다. 이 영상에는 여성이 먼저 호텔 밖으로 나온 뒤 A의원이 뒤
[크립토핫이슈] 내년 디지털자산 과세 어떻게…비트코인 8만달러 공방
2027년 디지털자산 과세 시행을 앞두고 양도·대여 소득을 모두 기타소득으로 분류하는 현행 체계를 손질해야 한다는 주장이 나왔다. 매매와 채굴, 스테이킹 등 거래 유형별 경제적 실질에 맞춰 소득을 구분하고 국내외 거래소와 개인지갑의 거래정보를 연계할 수 있는 과세 인프라를 먼저 갖춰야 한다는 지적이다.• 디지털자산 과세 4개월 앞..."기타소득 일괄 분류 재설계해야"금융당국이 토큰증권을 조각투자에 한정하지 않고 주식과 채권, 펀드 등 기존 증권까지 확대한다. 2027년 2월 제도 시행과 함께 기
경상북도" 반도체 인재가 기업을 만나고, 기업이 미래를 만난다!
경상북도는 9월 8일 구미컨벤션센터에서 도내 반도체 기업과 대학·특성화고, 유관기관 관계자 등 250여 명이 참석한 가운데 ‘2026 경상북도 반도체 인재 플랫폼-매칭 포럼’을 개최했다. 포럼은 경북의 우수 반도체 인재와 지역기업을 연결해 함께 성장·도약하는 지속가능한 지역 반도체 선순환 생태계 조성을 목표로 마련됐다. 행사는
최신기사
청문회장에서조차 국민을 불안하게 한 것들
어제 국회 법제사법위원회에서 열린 김승원 법무부 장관 후보자 인사청문회를 지켜본 국민이라면 한 가지 질문을 하지 않을 수 없었을 것이다. “도대체 우리는 지금 무엇을 보고 있는가.” 법무부 장관을 검증하는 자리다. 법무부는 대한민국의 법과 질서를 책임지는 국가기관이다. 그 수장을 검증하는 청문회라면 그 어느 자리보다 사실과 증거
평은면 지역사회보장협의체, 추석맞이 햅쌀 나눔
영주시 평은면지역사회보장협의체는 16일 추석 명절을 맞아 관내 어려운 이웃들이 따뜻하고 풍성한 명절을 보낼 수 있도록 ‘추석맞이 햅쌀 나눔’ 행사를 추진했다.이번 나눔은 명절을 앞두고 소외되기 쉬운 이웃을 살피고 따뜻한 이웃의 정을 전하기 위해 마련됐으며, 협의체는 햅쌀 5kg 100포를 준비해 관내 기초생활수급자와 차상위계층, 복지사각지대 등 취약계층 100가구에 전달했다.이날 협의체 위원들은 대상 가구를 직접 방문해 햅쌀을 전달하고 추석 명절 인사를 나누는 한편, 생활에 어려움은
주낙영 경주시장, 동국대~현곡 상구간 도로 현장 점검
주낙영 경주시장이 추석 연휴를 앞두고 ‘동국대~현곡 상구간 도로개설공사’ 현장을 찾아 공사 진행 상황과 안전관리 실태를 점검했다.경주시는 추석 전 임시 개통을 앞둔 해당 도로의 공사 진행 상황과 안전관리 실태를 점검했다고 16일 밝혔다.‘동국대~현곡 상구간 도로개설공사’는 석장동 화랑마을 앞에서 현곡면 상구리 마을회관 인근까지 연결하는 사업이다.총사업비 108억원을 투입해 연장 1.35㎞, 폭 11m의 왕복 2차로 도로를 개설하는 사업으로, 추석 전 임시 개통을 거쳐 오는 10월 말 정식 준공할 예정이다.그간 해당 구간은 도로 폭이
저스틴 선, 수학 난제·형식 검증에 최대 100만달러 건다
저스틴 선이 수학 난제와 기계 형식 검증 성과에 상금을 주는 분산형 학술상 '저스틴 선 상'을 제정했다. 16일 블록체인 매체 크립토폴리탄에 따르면 첫 수상자 명단도 함께 공개됐으며, 최고상 100만달러는 3차원 나비에-스토크스 방정식의 존재성과 매끄러움 문제에 대한 해법과 형식 증명을 인정받은 오픈AI 연구팀이 받았다.첫 수상에서는 66개 수학 문제의 해법과 형식 증명이 인정됐다. 오픈AI는 해당 증명이 자사 내부 모델로 생성됐고, 린 형식화와 검증은 GPT-6 아스
미 상원 클래리티법 제동…손실 상태 비트코인 2만3200개 거래소 유입
미 상원이 클래리티법을 다음 단계로 넘기지 못한 뒤 손실 상태의 비트코인 2만3200개가 거래소로 이동했다. 16일 블록체인 매체 유투데이에 따르면 규모는 약 17억9000만달러다.최근 하루 동안 비트코인 매도는 단기 보유자를 중심으로 급증했다. 크립토퀀트 집계에서는 손실 구간에서 거래소로 들어간 물량이 2만3200BTC로 나타났다.직접적인 계기는 미국 상원의 절차 표결 실패였다. 상원은 암호화폐 클래리티법안을 49대 50으로 부결해 법안 진전에 필요한 60표를 채우지 못했다.