OpenAI, 컴퓨터 과학 '지수 시간 가설(ETH)' 해결 발표

OpenAI, 지수 시간 가설(ETH) 해결 알고리즘 발표

OpenAI가 20년 넘게 컴퓨터 과학의 난제로 꼽힌 지수 시간 가설(Exponential Time Hypothesis, ETH)을 해결했다고 밝혔다. OpenAI는 자사 모델이 k-SAT 문제의 해답 수를 하위 지수 시간(sub-exponential time) 내에 계산하는 결정론적 알고리즘을 발견했으며, 이를 Lean으로 공식 검증했다고 설명했다.

• FET-1.91%

OpenAI AI, 수학·컴퓨터공학·물리학 3대 과학적 돌파구 달성

OpenAI가 약 3분 전 AI 모델을 통해 수학, 컴퓨터공학, 물리학 분야에서 3가지 주요 과학적 성과를 달성했다고 밝혔다. AI는 Kakeya 추측과 Stein 제한 추측을 해결하고, Exponential Time Hypothesis를 뒤집었으며, 양-밀스 이론(Yang-Mills theory) 등의 존재 증명을 제안했다. 수학·컴퓨터공학 결과는 Lean 도구로 검증됐으며 물리학 결과는 전문가 검토 중이다.

OpenAI, AI 모델 통해 지수 시간 가설(ETH) 반증 및 3가지 과학적 발견 달성

OpenAI가 오늘 21시 54분(UTC) 내부 AI 모델을 통해 수학, 컴퓨터 과학, 물리학 분야에서 3가지 과학적 발견을 달성했다고 밝혔다. 특히 계산 복잡도의 전제로 사용된 지수 시간 가설(Exponential Time Hypothesis, ETH)이 틀렸음을 입증했으며, 해당 결과는 Lean으로 공식 검증됐다. Russell Impagliazzo, Ramamohan Paturi, Ryan Williams 등이 이를 검토할 예정이다.

• FET-1.91%

OpenAI, 프런티어 모델 수학 연구 결과 공개

OpenAI가 내부 프런티어 대형 모델로 도출한 수학 연구 결과들을 GitHub에 공개했다. Mars Finance에 따르면 이번 결과에는 컴퓨터로 직접 검증 가능한 Lean 언어의 형식화된 증명이 포함되었다. 단일 결과 도출에 소요된 연산량은 ChatGPT Pro의 딥 리즈닝(deep reasoning) 3시간 분량과 유사한 수준이다.

바이낸스 BTC 무기한 선물, 76,410달러에 1,233만달러 매수 주문

Liquid247.xyz에 따르면 바이낸스 무기한 BTC 시장에서 76,410달러에 약 1,233만달러 규모 매수 주문이 접수됐다. 시장 근접 매수 주문 총액은 약 7,387만달러, 매도 주문은 약 4,512만달러로 순매수는 약 2,874만달러다.

• BTC-0.52%

Coinglass: ETH $2,359 돌파 시 $7.76억 숏 청산, $2,136 하회 시 $3.81억 롱 청산

Coinglass 데이터에 따르면 ETH가 2,359달러를 돌파하면 주요 거래소 누적 숏 청산 강도가 7.76억 달러에 달한다. 반대로 2,136달러 하회 시 롱 청산 강도가 3.81억 달러에 달한다. BTC의 경우 80,269달러 돌파 시 숏 청산 14.68억 달러, 72,701달러 하회 시 롱 청산 8.31억 달러에 달한다.

• ETH-0.13%

트럼프, 중간선거 결과 수용 및 민주당과 협력 의사 밝혀

트럼프 미국 대통령이 중간선거 결과를 수용하고 민주당과 협력하겠다는 입장을 밝혔다.

Bitbase, 포인트 시스템 출시…첫 단계 'Origin' 시작

Bitbase가 포인트 시스템 'Bitbase Points'를 출시하고 첫 단계 'Origin'을 오늘 시작했다. 이번 단계는 26주간 진행되며 2027년 5월 4일 종료, 주당 100만 포인트가 지급된다. 거래, 자산 보유, 연속 활동, 추천으로 포인트가 적립된다.

폴리마켓, 2026 중간선거 민주당 양원 장악 확률 99.6%

폴리마켓 데이터에 따르면 2026 중간선거에서 민주당이 상·하원 모두 장악할 확률이 99.6%로 집계됐다. 해당 옵션 거래량은 약 1823만 달러이다. 트럼프는 중간선거 결과를 수용하겠다고 밝혔다.

DDHQ, 스트라이브 공동창업자 비벡 라마스와미 오하이오 주지사 선거 패배 예측

DDHQ는 민주당 에이미 액턴이 스트라이브 공동창업자이자 공화당 후보 비벡 라마스와미를 꺾고 오하이오 주지사 선거에서 승리할 것으로 예측했다. 오하이오 주지사는 이전까지 공화당이 보유하고 있었다.

이란 혁명수비대, 호르무즈 해협에서 유조선 4척 기뢰 충돌로 화재

이란 혁명수비대(IRGC)는 호르무즈 해협 남쪽 "금지 구역"으로 지정된 항로를 통과하려던 유조선 4척이 기뢰에 부딪혀 파손됐다고 밝혔다. 유조선 4척은 여전히 화재 중이며, 다른 선박 2척이 나포됐다.

민주당, 38년 만에 텍사스 상원의석 획득…나스닥100 선물 2.18% 하락

민주당 후보 James Talarico가 텍사스 미 상원의석에서 공화당 Ken Paxton을 11%p 차로 앞서며 DDHQ에 의해 승리가 선언됐다. CNBC에 따르면 Talarico 상원 승리와 Hinojosa 주지사 승리 조합이 AI 관련 거래에 부정적일 수 있으며, 웰스파고는 미국 AI 데이터센터 용량의 약 27%가 텍사스에 집중돼 있다고 추정했다. 이날 다우 선물은 1.24%, 나스닥100 선물은 2.18% 하락했다.

바이런 도널즈, 플로리다 주지사 당선

PBS NewsHour Politics 보도에 따르면 공화당 바이런 도널즈가 화요일 데이비드 조리를 누르고 플로리다 주지사에 당선됐다. 도널즈는 플로리다 첫 흑인 주지사가 되며, 트럼프 지지에 감사를 표했다. 론 드산티스 현 주지사를 승계한다.

Amy Acton, Ohio 주지사 선거 승리 예상

Decision Desk HQ(DDHQ)에 따르면 민주당 Amy Acton이 오하이오 주지사 선거에서 승리할 것으로 예상된다. 해당 자리는 이전까지 공화당이 보유했다.

CLANKER, 24시간 만에 39.02% 상승... 시총 $16.5M 돌파

GMGN 시장 데이터에 따르면 CLANKER의 시가총액이 잠시 1,650만 달러를 초과했다. 현재 시총은 1,535만 달러로, 24시간 대비 39.02% 상승했다. Foresight News에 따르면 Mask Network가 Clanker 재시작을 추진 중이며, Base Security Council 멤버 Toady Hawk가 Clanker CEO로 임명됐다.

트럼프, 중간선거 결과 첫 반응... 유권자에게 "내가 출마한 것처럼 행동하라" 메시지

NewsNation 백악관 특파원에 따르면, 도널드 트럼프 미국 대통령이 중간선거 결과에 처음으로 반응하며 유권자에게 자신이 투표용지에 있는 것처럼 행동하라고 말했다. 그는 앞서 자신은 출마하지 않지만 출마했다면 압승했을 것이라고 밝혔다.

한국·일본 증시 4% 급락, 니케이225 5월20일 이후 최저

비트겟 시장 데이터에 따르면 한국 서울종합지수는 개장 후 3% 이상 상승했다가 장중 4% 하락했다. 니케이225 지수는 4.45% 하락해 5월 20일 이후 최저 수준으로 떨어졌다.

한국 KOSPI 지수, 장중 4% 급락

게이트 데이터에 따르면 한국 KOSPI 지수가 약 2분 전 장중 4% 급락했다. 현재 5,422.53포인트에 거래되고 있다.

트럼프, 출마하지 않았다…출마했다면 압승 주장

트럼프 미국 대통령은 자신이 출마하지 않았으며, 출마했다면 압승했을 것이라고 말했다. Jin10과 Jinshi가 전했다.