- 2026년 12월 31일까지 리만 가설에 관한 추가적인 실질적 진전이 있을까요?10¢10%
OpenAI’s October 6, 2026 release of 719 AI-generated math papers, including a claimed proof of the quasi-Riemann hypothesis establishing a zero-free region for the zeta function and Dirichlet L-functions with real part greater than 7/8, has driven recent trader attention. Mathematicians including James Maynard have called the result landmark for analytic number theory, as it extends prior bounds and rules out certain Siegel zeros while generalizing across related functions. Verification remains ongoing, with machine-checkable Lean formalizations released but limited independent human review completed so far. Earlier AI-assisted work, such as Anthropic’s Claude improving lower bounds on the proportion of critical-line zeros to over 67 percent in August 2026, illustrates growing large language model contributions to number theory, though full resolution of the Riemann hypothesis itself stays open.
규칙
지정된 날짜의 오후 11:59 ET까지 적격한 수학적 결과가 리만 제타 함수의 자명하지 않은 영점 중 최소 70%가 임계선 위에 있음을 무조건적으로 입증하거나, 리만 가설의 완전한 증명 또는 반증을 포함해 더 강한 결과를 입증하면 이 시장은 "예"으로 판정됩니다. 그렇지 않으면 이 마켓은 "아니오"로 판정됩니다. 이 시장에서 "무조건적으로"란 적격한 결과가 리만 가설이나 명시된 기준을 충족하는 데 필요한 다른 미증명 추측을 가정하는 데 의존해서는 안 된다는 뜻입니다. 70% 이상의 무조건적인 하한을 입증하는 결과는 모두 적격합니다. 더 높은 비율을 입증하거나, 관련 영점 중 임계선 위에 있는 비율이 100%임을 증명하거나, 그 밖의 방식으로 리만 가설을 완전히 증명 또는 반증하는 결과도 적격합니다. 추가적인 개별 영점이 임계선 위에 있음을 계산으로 확인하는 것만으로는, 확인한 영점의 수와 관계없이 적격하지 않습니다. 조건부 결과, 발견적 논증, 충분한 검증이 없는 증명 주장, 70% 기준을 충족하지 못하는 부분적 결과 또는 70% 미만에 머무르는 개선은 적격하지 않습니다. 적격한 결과는 시장 마감 시한까지 동료 심사를 마치거나 학술지에 정식으로 게재될 필요가 없습니다. 공개된 논문, 프리프린트, 기술 보고서 또는 그 밖에 대중이 이용할 수 있는 수학 저작물은 첨부된 증명으로 결과가 충분히 뒷받침되고, 해석적 정수론 분야 또는 더 넓은 수학계의 공인된 전문가들로부터 신뢰할 만한 독립적 검증이나 인정을 받은 경우 적격합니다. 예를 들어, 2026년 8월 10일에 발표된 Anthropic의 결과는 리만 제타 함수 영점 중 임계선 위에 있는 비율에 대해 약 67.25%의 개선된 무조건적 하한을 입증했으며, 요구되는 70% 기준을 충족한다면 이러한 기준에 따라 적격한 결과가 됩니다. 이 마켓의 판정 근거는 신뢰할 수 있는 보도들의 합의입니다.
기계 번역입니다. 분쟁 시 원문이 우선합니다.