저스틴 선, 수학 난제·형식 검증에 최대 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달러를 돌파했고
과학기술정보통신부 우정사업본부가 전북 무주와 경북 칠곡에서 지역사랑카드를 선보인다.우정사업본부는 10일 전북 무주에 '우체국 무주사랑카드'를 출시하고 오는 21일에는 경북 칠곡에서 '우체국 칠곡사랑카드'를 출시한다고 밝혔다.지역 주민은 가까운 우체국 창구를 방문해 카드 발급부터 지역사랑상품권 충전까지 한 번에 안내받을 수 있다. 모바일 앱 이용이 익숙하지 않은 고령층도 신분증만 지참하면 현장에서 서비스를 이용할 수 있다. 카드는 우체국예금 누리집과 스마트뱅킹, 'chak' 앱을 통해서도 신청할 수 있다.
2027년 디지털자산 과세 시행을 앞두고 양도·대여 소득을 모두 기타소득으로 분류하는 현행 체계를 손질해야 한다는 주장이 나왔다. 매매와 채굴, 스테이킹 등 거래 유형별 경제적 실질에 맞춰 소득을 구분하고 국내외 거래소와 개인지갑의 거래정보를 연계할 수 있는 과세 인프라를 먼저 갖춰야 한다는 지적이다.• 디지털자산 과세 4개월 앞..."기타소득 일괄 분류 재설계해야"금융당국이 토큰증권을 조각투자에 한정하지 않고 주식과 채권, 펀드 등 기존 증권까지 확대한다. 2027년 2월 제도 시행과 함께 기
증권사들이 AI 분석과 커뮤니티, 영상 콘텐츠를 결합한 투자 플랫폼을 잇따라 선보인데 이어 네이버가 새로운 증권 페이지를 본격 가동한다. 네이버는 10일부터 약 20년간 운영해온 기존 증권 페이지를 종료하고 지난 7월30일 선보인 새 증권 페이지를 단독 운영한다. 기존 페이지와 새 페이지를 함께 제공하던 기간을 마무리하고 개편된 서비스로 이용 환경을 통합하는 것이다.네이버페이 증권은 시세와 뉴스, 종목 토론 등 투자정보를 제공하고 '간편주문'을 통해 제휴 증권사의 주문 화면으로 연결한다. 이용자가 네이버
비트코인이 8월 반등 이후 중기 이동평균선이 빠르게 수렴하면서 골든크로스 형성에 가까워졌다. 9일 블록체인 매체 유투데이에 따르면 이번 신호의 의미는 8만~8만2000달러 저항대를 실제로 돌파하느냐에 달려 있다.비트코인은 6월 저점인 5만8000달러 부근에서 반등한 뒤 현재 7만9250달러 안팎에서 거래되고 있다. 8월 돌파 이후 단기 이동평균선이 가파르게 오르면서 200일 이동평균선도 다시 회복했다. 200일 이동평균선은 현재 7만2830달러 부근에 있다.100일 이동평균선은 약 7만560달
AI 칩 면적이 커지면서 패키징 기반을 원형 웨이퍼에서 대면적 사각 기판으로 바꾸는 라인 투자가 국내외에서 시작됐다. 사각 패널을 쓰면 기존 웨이퍼 대비 5~6배 많은 칩을 한 번에 처리하고, 면적 활용률은 57%에서 87%로 올라간다. 이 공정을 구현하는 패널레벨패키징을 두고 대만과 국내 기업의 경쟁도 본격화되고 있다. 사각 패널로 기술 흐름이 옮겨가는 이유는 면적 때문이다. 칩은 사각형으로 잘리는데 웨이퍼는 원형이라, 300㎜ 원형 웨이퍼는 가장자리에서 잘려나가는 공간을 피할 수 없다. 패
충북 충주 앙성초등학교는 최근 방과 후 승마 수업을 위해 ‘어린이 전용 승마트랙’을 새롭게 조성하고 더욱 안전하고 체계적인 승마 조기교육 환경을 마련했다.이번에 새롭게 조성된 승마트랙은 총둘레 약 48m 규모의 타원형 구조로, 약 520만원의 사업비가 투입됐다.새로운 전용 트랙에서 수업을 시작한 학생들은 이전보다 한층 안전하고 적극적인 환경속에서 승마활동에 집중할 수 있게 됐다.학생들은 반복적인 승마 기초운동을 비롯해 평보, 속보, 구보, 방향 전환, 8자 승마, 마필
AI 기반 네트워크·보안 기업 위드네트웍스가 와이파이 7 액세스 포인트에 무선 보안 기능을 통합한 무선랜 솔루션 ‘에어릭스’를 출시하고 국내 시장 공략에 나선다.에어릭스의 핵심 기능은 특허 출원 중인 무선 보안 기술 ‘호크아이’다. 별도의 무선 보안 센서를 추가로 설치하는 대신 AP 자체를 보안 관측 지점으로 활용하는 것이 특징이다. AP가 무선 구간의 위협을 탐지하면 AP 컨트롤러에서 이벤트를 통합 관리하고, AI 분석을 통해 실제 공격 여부를 판단하는 방식이다.위드네트웍스는 이를 무
광명지역신문=서인숙 기자> GTX-C노선이 15일 착공했다. GTX-C노선은 경기 남부와 북부를 서울 도심 및 강남권과 연결하는 수도권 핵심 광역교통망으로 양주시 덕정역에서 출발해 서울 청량리역, 삼성역, 양재역 등을 거쳐 수원역과 안산 상록수역으로 이어지는 86.6㎞ 노선이다. 총사업비는 4조 9,272억 원이다.노선이 개통되면 덕정역에서 삼성역까지는 80분에서 30분으로, 수원역에서 청량리역까지 75분에서 30분으로 이동 시간이 크게 줄어드는 등 수도권 광역 교통을 획기적으로 개선할 것으로 기대된다. GTX
송미령 농림축산식품부 장관이 한국 포도를 자유무역협정 극복의 대표 사례로 평가하며 수출 1억 달러 달성 가능성을 강조했다. 그러나 포도 수출 증가만 보고 CPTPP 가입에 따른 농업 피해를 낙관해서는 안 된다. 수출액이라는 외형만으로 국내 포도 산업의 건전성과 경쟁력을 판단하는 것은 매우 위험하다.한·칠레 FTA 이후 포도 산업이 걸어온 길은 순탄한 성공과 거리가 멀다. 전국 포도 재배 농가는 2010년 3만4001호에서 2018년 1만9674호로 42.1% 감소했다. 개방 충격을 견디지 못한 1만40
인기기사
[기업 레이더] 한미약품, 코프로모션 속도 내더니…상품매출 2배 '껑충'
자체 개발 제품 중심의 영업 전략을 펼쳐온 한미약품이 코프로모션과 국내 판매·유통 품목 확대에 속도를 내고 있다.과거 전체 매출의 6~7% 수준에 머물렀던 상품매
SK바이오팜 도입 앞둔 '오파칼림' 美 임상 부분 보류…추가 독성자료 요구
SK바이오팜이 차세대 뇌전증 치료제로 낙점해 도입을 추진 중인 '오파칼림'이 미국에서 부분 임상 보류(Partial Clinic
KB금융, 차기 회장에 이재근 낙점...양종희 연임 대신 세대교체 선택
KB금융지주 차기 회장 후보로 이재근 KB금융 부문장이 낙점됐다. 현 회장인 양종희 회장의 연임은 좌절됐다.KB금융지주 회장후보추천위원회는 11일 오후 회의를 열고 이 부문장을 차기 회장 후보로 추천하기로 결정했다고 밝혔다. 양 회장의 연임 가능성이 높게 점쳐졌던 만큼 업계에서는 이번 결정이 이례적이란 반응이다.앞서 지난해 3월 함영주 하나금융지주 회장, 올해 3월 진옥동 신한금융지주 회장과 임종룡 우리금융지주 회장이 잇따라 연임에 성공한 터라, 이번 KB금융의 결과는 더욱 의외로
화신환경, 법무보호대상자에 추석 위문품 전달
한국법무보호복지공단 울산지부는 지난 11일 화신환경으로부터 추석 명절을 맞아 법무보호대상자를 위한 고급 햄 선물세트 30개, 약 300만원 상당을 전달받았다고 밝혔다.이번 후원은 추석을 앞두고 법무보호대상자들이 따뜻한 명절을 보내고 안정적인 사회복귀와 자립을 이어갈 수 있도록 격려하기 위해 마련됐다.화신환경은 정연태 대표를 비롯해 정승윤 본부장, 정승혁 팀장 등 가족이 함께 법무보호대상자의 안정적인 사회정착을 돕고 있다.특히 취업 기회 제공과 후원 활동 등에 지속적으로 참여하며 지역사회 나눔을 이어오고
KB금융 회장 후보에 이재근 부문장…양종희 회장 연임 불발
KB금융지주 차기 회장 최종 후보에 이재근 부문장이 올랐다. 양종희 현 회장의 연임은 불발됐다. KB금융 회추위는 11일 회추위를 열고 권광석 전 우리은행장, 양종희 회장, 이재근 부문장 3인 숏리스트 후보별 2시간 동안 심층 인터뷰를 한 뒤 최종 투표로 이 부문장을 선정했다고 밝혔다. 평가는 회장 자격 요건에서 정하고 있는 업무경험과 전문성, 리더십, 도덕성, 그룹 비전과 가치 공유, 장단기 건전 경영 노력 5개 항목 25개 세부기준을 검증하는 절차로 이뤄졌다.이 부문장은 관계법령 등에서 정한 임원 자
최신기사
진영장등초, '제26회 불조심어린이마당대회' 경남 우수상 수상!
진영장등초등학교는 제26회 불조심어린이마당 대회 경남 대회에서 진영장등초 4학년 2반이 2위로 우수상을 수상했다고 지난 15일 밝혔다.불조심어린이마당 행사는 소방청에서 주최하고 교육부가 후원하는 대회로 어린이가 화재ㆍ재난ㆍ생활안전에 관한 기초지식을 학습하고 평가해 안전의식 확산에 기여하고자 매년 전국의 초등학교 4~5학년 학급을 대상으로 개최된다.지난 9월 8일에 열린 대회에는 경남의 각 지역을 대표하는 학급들이 참여하여 안전 역량을 겨루었다.진영장등초등학교는 서동욱 교사가 지도한 4학년 2반이 뛰어난 안전 역량을 보
윤슬유치원, 추석 명절 맞아 상문동 경로당에 백미10kg 17포 기탁
윤슬유치원은 지난 16일 추석 명절을 맞아 거제시 상문동 경로당에 백미 10kg 17포를 기탁했다.문동동에 자리한 윤슬유치원은 평소에도 아동 교육은 물론이고 이웃사랑을 위한 다양한 나눔 활동을 꾸준히 이어오고 있으며, 이번 기탁은 다가오는 추석 명절을 맞아 경로당 어르신들이 건강하며 풍성한 명절을 보내시기를 바라는 마음에서 마련됐다.이승은 원장은 "작은 정성이지만 어르신들의 따뜻한 밥상에 보탬이 되기를 바란다"며, "앞으로도 아이들과 함께 지역사회와 소통하고 온정을 나누는 활동을 꾸준히 실천해 나가겠다"고 전했다.이에
대구경북경제자유구역청, 튀르키예 무역사절단 파견
대구경북경제자유구역청은 입주기업의 유럽 및 중동 진출 교두보를 마련하고 해외 판로 개척을 적극 지원하기 위해 9월 6일부터 9월 12일까지 7일간 튀르키예에 무역사절단을 파견해 수출상담회를 개최했다.이번 무역사절단에는 대구경북경제자유구역 입주기업 8개 사가 참여했으며, 현지 바이어를 대상으로 총 110건, 1,542만 달러 규모의 수출 상담을 진행했다. 또한 현지 바이어들과 총 9건의 업무협약을 체결하며 향후 수출 확대를 위한 협력 기반을 마련했다.김희석 대구경북경제자유구역청장 직무대행은
주낙영 경주시장, 동국대~현곡 상구간 도로 현장 점검
주낙영 경주시장이 추석 연휴를 앞두고 ‘동국대~현곡 상구간 도로개설공사’ 현장을 찾아 공사 진행 상황과 안전관리 실태를 점검했다.경주시는 추석 전 임시 개통을 앞둔 해당 도로의 공사 진행 상황과 안전관리 실태를 점검했다고 16일 밝혔다.‘동국대~현곡 상구간 도로개설공사’는 석장동 화랑마을 앞에서 현곡면 상구리 마을회관 인근까지 연결하는 사업이다.총사업비 108억원을 투입해 연장 1.35㎞, 폭 11m의 왕복 2차로 도로를 개설하는 사업으로, 추석 전 임시 개통을 거쳐 오는 10월 말 정식 준공할 예정이다.그간 해당 구간은 도로 폭이
한국-중앙아시아 5개국, AI·과학기술 협력 확대…다자 이니셔티브 채택
한국과 중앙아시아 5개국이 AI과 과학기술 분야 협력을 확대한다. 공공서비스 AI 혁신과 산업·공공부문 AI 전환을 비롯해 미래기후기술, 우주, 에너지 전환 등에서 공동연구와 인력교류를 추진한다.과학기술정보통신부는 제1차 한-중앙아시아 정상회의를 계기로 카자흐스탄·키르기스스탄·타지키스탄·투르크메니스탄·우즈베키스탄과 '한-중앙아시아 미래 AI·과학기술 파트너십 이니셔티브'를 공동 채택했다고 16일 밝혔다.이번 이니셔티브는 한국과 중앙아시아 간 처음으로 채택한 AI·과학기술 분야 다자 협력 문서다. 과기정통