- OpenAI는 2026년 12월 31일까지 밀레니엄 난제의 또 다른 해답을 발표할까요?14¢14%
- OpenAI는 2027년 12월 31일까지 밀레니엄 난제의 또 다른 해답을 발표할까요?56¢56%
OpenAI’s September 8 announcement of an AI-generated solution to the Navier-Stokes Millennium Prize Problem—produced via an internal frontier model and roughly 10,000 agents in 88 hours—has sharply raised trader expectations for further announcements. The company followed with an October 6 release of 722 manuscripts covering hundreds of open problems, including claimed progress toward other Millennium Prize challenges such as aspects of the Riemann hypothesis and Hodge conjecture, though several papers faced withdrawals or revisions after mathematician review. Competitive pressure from labs like Anthropic, combined with OpenAI’s emphasis on Lean formalizations and compute-intensive agent swarms, underscores accelerating capabilities in mathematical reasoning. Key near-term catalysts include ongoing independent verifications, potential additional model releases, and any follow-up company statements on unresolved problems before year-end deadlines.
규칙
OpenAI 또는 OpenAI의 공식 대리인이 시장 생성 시점부터 지정된 날짜인 오후 11:59 ET까지의 기간에 OpenAI가 자격을 충족하는 밀레니엄 난제 중 하나를 해결했다고 발표하면, 이 시장은 "예"로 판정됩니다. 그렇지 않으면 이 마켓은 "아니오"로 판정됩니다. 적격 문제는 리만 가설, P 대 NP 문제, 양-밀스 존재성과 질량 간극 문제, 호지 추측, 버치-스위너턴다이어 추측입니다(https://www.claymath.org/millennium-problems/). 나비에-스토크스 존재성과 매끄러움 문제에 관한 발표는 적격으로 인정되지 않습니다. 적격 발표는 해당 문제가 해결되었음을 명시해야 합니다. 부분적인 결과나 해결을 향한 진전을 발표하는 것은 적격으로 인정되지 않습니다. 발표에서는 해당 해결을 OpenAI, 소속 연구자 또는 모델의 성과로 제시해야 하며, 단독으로 수행했거나 외부 연구자와 공동으로 수행했어도 됩니다. OpenAI의 모델, 컴퓨팅 자원 또는 연구 크레딧을 사용한 연구자를 포함해 외부 연구자에게만 공로를 돌리거나 축하하는 발표는 자격을 충족하지 않습니다. Clay Math Institute 또는 다른 기관의 추가 확인은 필요하지 않습니다. 이 시장 판정의 주요 출처는 OpenAI 및/또는 공식 대리인의 공식 정보입니다. 다만 신뢰할 수 있는 보도의 일치된 견해도 이용할 수 있습니다.
기계 번역입니다. 분쟁 시 원문이 우선합니다.