오픈AI가 88시간 만에 난제를 해결했다고 발표했으며, 스마트 머니는 AI가 올해 안에 또 하나의 성과를 이룰 것으로 예측한다

PolyBeats 모니터링에 따르면, 예측 시장 Polymarket에서 1명의 스마트 머니가 「올해 안에 AI가 또 다른 밀레니엄 대상 난제를 해결했다고 발표할 것인가?」에 $2.0k를 「예」에 투입했으며, 평균 매수 확률은 51.2%, 현재 「예」 확률은 64.5%이다.

Rumpelstiltskin이 $2.0k를 투입했으며, 이 시장과 가장 관련성이 높은 섹터는 인공지능이고, 섹터 순이익은 $23.7k이다. 해당 섹터에서 총 182건의 결산 완료 거래 중 승률은 107/182(59%)이며, 그중 매수가가 $0.8 미만이고 매도가가 $0.95 초과인 거래는 총 30건이다. 유사한 비용가 구간($0.451-$0.6) 내에서 그의 역사적 투입 금액 중앙값은 $240이다.

밀레니엄 대상 난제는 클레이 수학연구소가 2000년에 제정했으며, 각 문제의 상금은 $1m이다. 이 시장은 자격을 갖춘 AI 연구소가 올해 안에 리만 가설, P 대 NP, 양-밀스 존재성과 질량 간극, 호지 추측 또는 버치와 스위너턴-다이어 추측을 해결했다고 발표할 것을 요구한다. 부분적 성과와 연구 진전은 포함되지 않으며, 나비에-스토크스 방정식도 규칙에서 명확히 제외된다. 연구소가 해결 선언을 하면 된다.

해당 계정의 주요 수익은 Claude 5 출시 시점 약 $6.9k, Grok 5 출시 시점 약 $3.9k, Astra 구체적 출시일 약 $3.6k, 그리고 모델 리더보드 시장 약 $3.6k에서 발생했으며; 최대 손실은 2월 최고 AI 모델 약 $10.1k와 GPT-5.3 출시 시점 약 $4.1k에서 발생했다. 계정은 현재 AI 연구소 및 OpenAI의 올해 내 해결 발표 「예」를 매수하고 있으며, 동시에 Anthropic이 여러 기한 내에 해결을 발표하지 않을 것으로 예측하여 판단이 OpenAI에 더 집중되어 있다.

퀀타 매거진 8일 보도에 따르면, OpenAI는 약 1만 개의 자율 AI 에이전트를 사용하여 나비에-스토크스 방정식을 연구했고, 에이전트가 88시간 동안 실행된 후 특이점 증명을 제시했으며, 또 다른 모델 세트가 이후 17시간 동안 결과를 Lean 증명으로 형식화했다. 에이전트들은 합계 약 500만 건의 메시지를 교환했고, 컴퓨팅 비용은 수백만 달러에 달했다. 이 성과는 여전히 연구자들이 형식화된 명제와 원래 수학 문제가 완전히 일치하는지 확인해야 하며, 관련 연구의 기여 귀속에도 논란이 있다.