← all shorts

Math

The Riemann Hypothesis - The Million Dollar Mystery

#097 · 5 min read

A dollar bill with the text "11E MILLIOO" and "THE NEAR DOLLER" surrounded by mathematical equations and swirling smoke.

In 1859 a shy German mathematician published an eight-page paper on prime numbers that contained one throwaway sentence. One hundred and sixty-seven years later, that sentence is worth a million dollars to anyone who can prove it, and the answer is not close.

In November 1859, Bernhard Riemann was elected a corresponding member of the Berlin Academy of Sciences. As was customary, he submitted a short paper. It was eight pages long, titled *Ueber die Anzahl der Primzahlen unter einer gegebenen Grösse* — "On the number of primes less than a given magnitude" — and almost nobody read it at the time. Riemann was thirty-three, tubercular, and uninterested in self-promotion. He never published another paper on the subject. Seven years later he was dead.

Buried in the middle of those eight pages is a single sentence in which Riemann remarks that a certain claim is "very probable," admits he cannot prove it, and moves on. That claim is now the most famous open problem in mathematics.

kmyc89's modify the Riemann hypothesis formula
kmyc89's modify the Riemann hypothesis formula kmyc89 · BY-SA 2.0

The problem is about prime numbers — 2, 3, 5, 7, 11, 13, and so on, the atoms of arithmetic. They look random. There is no formula that spits out the next one. But there is a pattern in the aggregate: as you walk up the number line, primes thin out at a predictable rate. A teenage Carl Friedrich Gauss noticed in the 1790s that the number of primes below some large value $x$ is roughly $x/\ln x$. He could not prove it. The statement, eventually proved in 1896, became the Prime Number Theorem.

Riemann's eight-page paper went further. He took a function that the Swiss mathematician Euler had played with a century earlier — the sum $1 + 1/2^s + 1/3^s + 1/4^s + \dots$ — and extended it from the real numbers into the complex plane. This is the Riemann zeta function. He then wrote down an exact formula for the count of primes below $x$, with an error term that depended on the *zeros* of the zeta function: the places where the function equals zero.

A nineteenth-century Goettingen study shows Bernhard Riemann's working world through physi
A nineteenth-century Goettingen study shows Bernhard Riemann's working world through physi Illustration · AI-generated (FLUX.1-dev)

The critical line

Most of the zeros are boring. The zeta function vanishes at every negative even integer ($-2, -4, -6, \dots$); these are called trivial. The interesting zeros — the non-trivial ones — sit somewhere in a vertical strip of the complex plane. Riemann conjectured that every one of them lies on a single vertical line, the one where the real part equals one half. That is the Riemann Hypothesis. One sentence. No proof.

'Honk If You Believe the Riemann Hypothesis'
'Honk If You Believe the Riemann Hypothesis' chris.rycroft · BY 2.0

The consequences, if it is true, are exact. The primes are distributed as smoothly as it is possible to be. The error term in the Prime Number Theorem becomes sharp. Hundreds of theorems across number theory, currently published with the words "assuming RH," become unconditional in a single afternoon.

Progress has been agonising. In 1914 G. H. Hardy proved that infinitely many of the zeros lie on the critical line. He did not prove they all do. Later work, by Atle Selberg in the 1940s and Norman Levinson in the 1970s, showed that at least a positive fraction — by current estimates more than forty per cent — sit on the line. Computers have checked the first ten trillion zeros directly. Every one is on the line, to within the precision of the calculation. None of this is a proof. A single rogue zero, hiding billions of digits out, would suffice to demolish the conjecture.

A mathematician's dream of waking after a thousand years is staged as a quiet archive room
A mathematician's dream of waking after a thousand years is staged as a quiet archive room Illustration · AI-generated (FLUX.1-dev)

Why anyone cares

In 1900 David Hilbert gave a famous lecture in Paris listing twenty-three problems he wanted the new century to solve. The Riemann Hypothesis was number eight. He is supposed to have said that if he were revived after a thousand-year sleep, his first question would be whether it had been proved.

Riemann's Hypothesis. This is why it is true
Riemann's Hypothesis. This is why it is true 52Dante21 · BY-SA 4.0

In 2000 the Clay Mathematics Institute picked seven open problems and put a million dollars on each. The Riemann Hypothesis is the only one of the seven that also appears on Hilbert's list. The others have mostly stayed unsolved too; one, the Poincaré conjecture, was settled by Grigori Perelman, who declined the money.

A supercomputer room tests the hypothesis through physical scale: rows of machines
A supercomputer room tests the hypothesis through physical scale: rows of machines Illustration · AI-generated (FLUX.1-dev)

The strangest development came not from number theory at all. In 1972, the young number theorist Hugh Montgomery was visiting the Institute for Advanced Study in Princeton. Over tea he described to the physicist Freeman Dyson a statistical pattern he had found in the spacing of zeta zeros. Dyson recognised it immediately: it was the same pattern that governs the energy levels of heavy atomic nuclei, the eigenvalues of a random Hermitian matrix. Number theory and quantum physics, two fields that had no business talking to each other, were apparently describing the same object.

What we still don't know

We do not know whether the hypothesis is true. The numerical evidence is overwhelming, but mathematics has been embarrassed by overwhelming numerical evidence before; Littlewood proved in 1914 that another plausible-looking conjecture about primes fails, the first counterexample lying somewhere beyond $10^{300}$.

Riemann Hypothesis
Riemann Hypothesis No machine-readable author provided. Conscious assumed (base · CC BY-SA 3.0

We do not know what kind of mathematical object the zeta zeros really are. The Hilbert–Pólya conjecture suggests they are the spectrum of some self-adjoint operator — some quantum-mechanical system whose energy levels happen to encode the primes. Nobody has found the operator.

A gallery of mathematical attempts is shown as a workshop of unfinished bridges made from
A gallery of mathematical attempts is shown as a workshop of unfinished bridges made from Illustration · AI-generated (FLUX.1-dev)

We do not know whether a proof is even achievable with current tools. Some mathematicians suspect the problem is genuinely beyond present-day techniques and will require an idea nobody has had yet. Others suspect it is independent of standard set-theoretic axioms, provable neither true nor false from what we already accept.

What we do know is that the zeros keep marching up the critical line, in their strange unevenly-spaced rhythm, and that somewhere out past the trillions a counterexample may or may not be waiting. The line itself does not care.

1859年,一位害羞的德国数学家发表了一篇关于质数的八页纸论文,其中包含了一个顺便提及的句子。一百六十七年后,对于任何能够证明它的人来说,这个句子价值一百万美元,但答案依然遥遥无期。

1859年11月,Bernhard Riemann 被选为柏林科学院通讯院士。按照惯例,他提交了一篇短论文。论文只有八页长,题目是《论小于给定大小的质数个数》,在当时几乎没有人读过它。黎曼时年三十三岁,患有肺结核,对自我宣传毫无兴趣。他再也没有发表过关于该主题的其他论文。七年后,他去世了。

埋藏在这八页纸中间的是一个单句,黎曼在其中提到某个声称“非常有可能”,承认自己无法证明它,然后继续讨论其他内容。这一声称现在是数学界最著名的未解难题。

kmyc89's modify the Riemann hypothesis formula
kmyc89's modify the Riemann hypothesis formula kmyc89 · BY-SA 2.0

这个问题是关于质数——2、3、5、7、11、13等等,即算术的原子。它们看起来是随机的。没有公式可以吐出下一个质数。但在总体上存在一种模式:当你沿着数轴向上走时,质数以可预测的速度变得稀疏。1790年代,十几岁的 Carl Friedrich Gauss 注意到,低于某个大值 $x$ 的质数个数大约是 $x/\ln x$。他无法证明它。这一声明最终于1896年得到证明,成为 Prime Number Theorem (素数定理)。

黎曼的八页论文走得更远。他把瑞士数学家欧拉在一个世纪前玩过的一个函数——求和 $1 + 1/2^s + 1/3^s + 1/4^s + \dots$——从实数扩展到了复平面。这就是 Riemann zeta function (黎曼Zeta函数)。然后他写下了低于 $x$ 的质数个数的精确公式,其误差项取决于Zeta函数的“零点”:即函数等于零的地方。

A nineteenth-century Goettingen study shows Bernhard Riemann's working world through physi
A nineteenth-century Goettingen study shows Bernhard Riemann's working world through physi Illustration · AI-generated (FLUX.1-dev)

临界线

大多数零点都是无趣的。Zeta函数在每个负偶数整数( $-2, -4, -6, \dots$ )处均消失;这些被称为平凡零点。有趣的零点——非平凡零点——坐落在复平面的一个垂直带内。黎曼猜想,它们中的每一个都位于一条垂直线上,即实部等于二分之一的那条线。这就是黎曼假设。一句话,没有证明。

'Honk If You Believe the Riemann Hypothesis'
'Honk If You Believe the Riemann Hypothesis' chris.rycroft · BY 2.0

如果它是正确的,其后果是确切的。质数的分布尽可能地平滑。素数定理中的误差项变得尖锐。整个数论中数以百计目前带有“假设RH”字样的定理,将在一个下午的时间内全部变成无条件定理。

进展一直是痛苦的。1914年, G. H. Hardy 证明了有无穷多个零点位于临界线上。他并没有证明它们全部都在这条线上。随后的工作,由20世纪40年代的 Atle Selberg 和70年代的诺曼·莱文森完成,表明至少有一定比例(目前估计超过40%)的零点位于这条线上。计算机已经直接验证了前十万亿个零点。计算精度范围内,每一个都在临界线上。这都不是证明。一个躲在数十亿位之外的单个反叛零点,就足以摧毁这个猜想。

A mathematician's dream of waking after a thousand years is staged as a quiet archive room
A mathematician's dream of waking after a thousand years is staged as a quiet archive room Illustration · AI-generated (FLUX.1-dev)

为什么有人关心

1900年,David Hilbert 在巴黎发表了一场著名的演讲,列出了他希望新世纪解决的二十三个问题。黎曼假设是第八个。据说他曾说过,如果他在沉睡一千年后醒来,他的第一个问题会是黎曼假设是否已被证明。

Riemann's Hypothesis. This is why it is true
Riemann's Hypothesis. This is why it is true 52Dante21 · BY-SA 4.0

2000年,Clay Mathematics Institute (克雷数学研究所)挑选了七个未解难题,并为每个难题悬赏一百万美元。黎曼假设是这七个难题中唯一一个也出现在希尔伯特名单上的问题。其他问题大多也未解决;其中之一的庞加莱猜想被格里戈里·佩雷尔曼解决,但他拒绝了奖金。

A supercomputer room tests the hypothesis through physical scale: rows of machines
A supercomputer room tests the hypothesis through physical scale: rows of machines Illustration · AI-generated (FLUX.1-dev)

最奇特的发展根本不是来自数论。1972年,年轻的数论学家休·蒙哥马利访问普林斯顿高等研究院。喝茶时,他向物理学家 Freeman Dyson 描述了他在Zeta零点间距中发现的一种统计规律。戴森立即认出了它:这正是控制重原子核能量水平的相同规律,即随机厄米矩阵的特征值。数论和量子物理学,这两个原本没有任何交集的领域,显然在描述同一个对象。

我们仍未知道的事

我们不知道该假设是否正确。数值证据是压倒性的,但数学界以前也曾被压倒性的数值证据所尴尬过;利特尔伍德在1914年证明了另一个关于质数、看起来很合理的猜想是失败的,其第一个反例位于 $10^{300}$ 之外的某个地方。

Riemann Hypothesis
Riemann Hypothesis No machine-readable author provided. Conscious assumed (base · CC BY-SA 3.0

我们不知道Zeta零点到底是什么样的数学对象。Hilbert–Pólya conjecture (希尔伯特-波利亚猜想)表明,它们是某个自伴算子的谱——即某个能量级别恰好编码质数的量子力学系统。还没有人找到这个算子。

A gallery of mathematical attempts is shown as a workshop of unfinished bridges made from
A gallery of mathematical attempts is shown as a workshop of unfinished bridges made from Illustration · AI-generated (FLUX.1-dev)

我们不知道使用目前的工具是否能够实现证明。一些数学家怀疑,这个问题确实超出了当今的技术水平,需要一个至今尚未有人想到的点子。其他人则怀疑它独立于标准的集合论公理,基于我们已经接受的公理,既无法证明其为真,也无法证明其为假。

我们所知道的是,零点继续以它们奇特的、不均匀分布的节奏在临界线上行进,在数万亿个零点之外,一个反例可能在等待,也可能不在。临界线本身并不在乎。

En 1859, un tímido matemático alemán publicó un artículo de ocho páginas sobre los números primos que contenía una frase de pasada. Ciento sesenta y siete años después, esa frase vale un millón de dólares para quien pueda demostrarla, y la respuesta no está cerca.

En noviembre de 1859, Bernhard Riemann fue elegido miembro correspondiente de la Academia de Ciencias de Berlín. Como era costumbre, presentó un breve artículo. Tenía ocho páginas, se titulaba *Ueber die Anzahl der Primzahlen unter einer gegebenen Grösse* —"Sobre el número de primos menores que una magnitud dada"— y casi nadie lo leyó en su momento. Riemann tenía treinta y tres años, padecía tuberculosis y no le interesaba la autopromoción. Nunca publicó otro artículo sobre el tema. Siete años después estaba muerto.

Escondida en medio de esas ocho páginas hay una sola frase en la que Riemann comenta que cierta afirmación es "muy probable", admite que no puede probarla y sigue adelante. Esa afirmación es ahora el problema abierto más famoso de las matemáticas.

kmyc89's modify the Riemann hypothesis formula
kmyc89's modify the Riemann hypothesis formula kmyc89 · BY-SA 2.0

El problema trata sobre los números primos: 2, 3, 5, 7, 11, 13, etc., los átomos de la aritmética. Parecen aleatorios. No existe ninguna fórmula que escupa el siguiente. Pero hay un patrón en el conjunto: a medida que avanzas en la recta numérica, los primos se vuelven más escasos a un ritmo predecible. Un adolescente Carl Friedrich Gauss se dio cuenta en la década de 1790 de que el número de primos por debajo de un valor grande $x$ es aproximadamente $x/\ln x$. No pudo probarlo. La afirmación, finalmente probada en 1896, se convirtió en el Prime Number Theorem (teorema de los números primos).

El artículo de ocho páginas de Riemann fue más allá. Tomó una función con la que el matemático suizo Euler había jugado un siglo antes —la suma $1 + 1/2^s + 1/3^s + 1/4^s + \dots$— y la extendió de los números reales al plano complejo. Esta es la Riemann zeta function (función zeta de Riemann). Luego escribió una fórmula exacta para el recuento de primos por debajo de $x$, con un término de error que dependía de los *ceros* de la función zeta: los lugares donde la función es igual a cero.

A nineteenth-century Goettingen study shows Bernhard Riemann's working world through physi
A nineteenth-century Goettingen study shows Bernhard Riemann's working world through physi Illustration · AI-generated (FLUX.1-dev)

La línea crítica

La mayoría de los ceros son aburridos. La función zeta se anula en cada entero par negativo ( $-2, -4, -6, \dots$ ); estos se llaman triviales. Los ceros interesantes —los no triviales— se encuentran en una franja vertical del plano complejo. Riemann conjeturó que cada uno de ellos se encuentra en una única línea vertical, aquella en la que la parte real es igual a un medio. Esa es la Hipótesis de Riemann. Una frase. Sin demostración.

'Honk If You Believe the Riemann Hypothesis'
'Honk If You Believe the Riemann Hypothesis' chris.rycroft · BY 2.0

Las consecuencias, si es cierta, son exactas. Los primos se distribuyen de la forma más suave posible. El término de error en el Teorema de los Números Primos se vuelve preciso. Cientos de teoremas en toda la teoría de números, actualmente publicados con las palabras "asumiendo la HR", pasarían a ser incondicionales en una sola tarde.

El progreso ha sido agónico. En 1914, G. H. Hardy demostró que infinitos de los ceros se encuentran en la línea crítica. No demostró que todos lo hicieran. Trabajos posteriores, de Atle Selberg en la década de 1940 y Norman Levinson en la de 1970, demostraron que al menos una fracción positiva —según las estimaciones actuales más del cuarenta por ciento— se encuentra en la línea. Los ordenadores han comprobado directamente los primeros diez billones de ceros. Cada uno está en la línea, dentro de la precisión del cálculo. Nada de esto es una demostración. Un solo cero rebelde, escondido a miles de millones de dígitos de distancia, bastaría para demoler la conjetura.

A mathematician's dream of waking after a thousand years is staged as a quiet archive room
A mathematician's dream of waking after a thousand years is staged as a quiet archive room Illustration · AI-generated (FLUX.1-dev)

Por qué a alguien le importa

En 1900, David Hilbert dio una famosa conferencia en París en la que enumeró veintitrés problemas que quería que resolviera el nuevo siglo. La Hipótesis de Riemann era el número ocho. Se supone que dijo que si resucitara tras un sueño de mil años, su primera pregunta sería si se había demostrado.

Riemann's Hypothesis. This is why it is true
Riemann's Hypothesis. This is why it is true 52Dante21 · BY-SA 4.0

En el año 2000, el Clay Mathematics Institute eligió siete problemas abiertos y ofreció un millón de dólares por cada uno. La Hipótesis de Riemann es el único de los siete que también aparece en la lista de Hilbert. Los demás también han permanecido casi todos sin resolver; uno, la conjetura de Poincaré, fue resuelto por Grigori Perelman, quien rechazó el dinero.

A supercomputer room tests the hypothesis through physical scale: rows of machines
A supercomputer room tests the hypothesis through physical scale: rows of machines Illustration · AI-generated (FLUX.1-dev)

El desarrollo más extraño no provino en absoluto de la teoría de números. En 1972, el joven teórico de números Hugh Montgomery visitaba el Instituto de Estudios Avanzados de Princeton. Durante el té, le describió al físico Freeman Dyson un patrón estadístico que había encontrado en el espaciado de los ceros zeta. Dyson lo reconoció inmediatamente: era el mismo patrón que gobierna los niveles de energía de los núcleos atómicos pesados, los valores propios de una matriz hermitiana aleatoria. La teoría de números y la física cuántica, dos campos que no tenían motivos para hablar entre sí, describían aparentemente el mismo objeto.

Lo que aún no sabemos

No sabemos si la hipótesis es verdadera. La evidencia numérica es abrumadora, pero las matemáticas ya se han visto avergonzadas antes por una evidencia numérica abrumadora; Littlewood demostró en 1914 que otra conjetura sobre los primos de apariencia plausible falla, encontrándose el primer contraejemplo en algún punto más allá de $10^{300}$.

Riemann Hypothesis
Riemann Hypothesis No machine-readable author provided. Conscious assumed (base · CC BY-SA 3.0

No sabemos qué tipo de objeto matemático son realmente los ceros zeta. La Hilbert–Pólya conjecture (conjetura de Hilbert-Pólya) sugiere que son el espectro de algún operador autoadjunto: algún sistema mecánico-cuántico cuyos niveles de energía codifican los primos. Nadie ha encontrado el operador.

A gallery of mathematical attempts is shown as a workshop of unfinished bridges made from
A gallery of mathematical attempts is shown as a workshop of unfinished bridges made from Illustration · AI-generated (FLUX.1-dev)

No sabemos si es posible lograr una demostración con las herramientas actuales. Algunos matemáticos sospechan que el problema está realmente más allá de las técnicas actuales y requerirá una idea que nadie ha tenido todavía. Otros sospechan que es independiente de los axiomas estándar de la teoría de conjuntos, indemostrable como verdadero o falso a partir de lo que ya aceptamos.

Lo que sí sabemos es que los ceros siguen marchando sobre la línea crítica, en su extraño ritmo espaciado de forma desigual, y que en algún lugar más allá de los billones puede que esté esperando, o no, un contraejemplo. A la línea en sí no le importa.

Em 1859, um tímido matemático alemão publicou um artigo de oito páginas sobre números primos que continha uma única frase despretensiosa. Cento e sessenta e sete anos depois, essa frase vale um milhão de dólares para quem conseguir prová-la, e a resposta não está próxima.

Em novembro de 1859, Bernhard Riemann foi eleito membro correspondente da Academia de Ciências de Berlim. Como era costume, ele enviou um pequeno artigo. Tinha oito páginas, com o título *Ueber die Anzahl der Primzahlen unter einer gegebenen Grösse* — "Sobre o número de primos menores que uma magnitude dada" — e quase ninguém o leu na época. Riemann tinha trinta e três anos, era tuberculoso e não tinha interesse em autopromoção. Nunca mais publicou outro artigo sobre o assunto. Sete anos depois, estava morto.

Enterrada no meio daquelas dezoito páginas (nota: na verdade, oito páginas) está uma única frase em que Riemann observa que uma determinada afirmação é "muito provável", admite que não pode prová-la e segue em frente. Essa afirmação é hoje o problema aberto mais famoso da matemática.

kmyc89's modify the Riemann hypothesis formula
kmyc89's modify the Riemann hypothesis formula kmyc89 · BY-SA 2.0

O problema é sobre números primos — 2, 3, 5, 7, 11, 13 e assim por diante, os átomos da aritmética. Eles parecem aleatórios. Não existe fórmula que determine o próximo. Mas há um padrão no conjunto: conforme você avança na reta numérica, os primos escasseiam a uma taxa previsível. Um jovem Carl Friedrich Gauss percebeu na década de 1790 que o número de primos abaixo de um grande valor $x$ é aproximadamente $x/\ln x$. Ele não pôde provar. A afirmação, eventualmente provada em 1896, tornou-se o Prime Number Theorem (teorema do número primo).

O artigo de oito páginas de Riemann foi além. Ele pegou uma função com a qual o matemático suíço Euler tinha brincado um século antes — a soma $1 + 1/2^s + 1/3^s + 1/4^s + \dots$ — e a estendeu dos números reais para o plano complexo. Esta é a Riemann zeta function (função zeta de Riemann). Ele então escreveu uma fórmula exata para a contagem de primos abaixo de $x$, com um termo de erro que dependia dos *zeros* da função zeta: os pontos onde a função se anula.

A nineteenth-century Goettingen study shows Bernhard Riemann's working world through physi
A nineteenth-century Goettingen study shows Bernhard Riemann's working world through physi Illustration · AI-generated (FLUX.1-dev)

A linha crítica

A maioria dos zeros é desinteressante. A função zeta se anula em todos os inteiros pares negativos ( $-2, -4, -6, \dots$ ); estes são chamados triviais. Os zeros interessantes — os não triviais — situam-se em uma faixa vertical do plano complexo. Riemann conjecturou que cada um deles está sobre uma única linha vertical, aquela onde a parte real é igual a meio. Essa é a Hipótese de Riemann. Uma frase. Nenhuma prova.

'Honk If You Believe the Riemann Hypothesis'
'Honk If You Believe the Riemann Hypothesis' chris.rycroft · BY 2.0

As consequências, se for verdade, são exatas. Os primos estão distribuídos da forma mais suave possível. O termo de erro no Teorema do Número Primo torna-se preciso. Centenas de teoremas na teoria dos números, atualmente publicados com as palavras "assumindo a HR", tornam-se incondicionais em uma única tarde.

O progresso tem sido doloroso. Em 1914, G. H. Hardy provou que infinitos dos zeros estão sobre a linha crítica. Ele não provou que todos estão. Trabalhos posteriores, de Atle Selberg na década de 1940 e Norman Levinson na década de 1970, mostraram que pelo menos uma fração positiva — pelas estimativas atuais, mais de quarenta por cento — está sobre a linha. Computadores verificaram diretamente os primeiros dez trilhões de zeros. Cada um deles está sobre a linha, dentro da precisão do cálculo. Nada disso é uma prova. Um único zero dissidente, oculto a bilhões de dígitos de distância, seria suficiente para demolir a conjectura.

A mathematician's dream of waking after a thousand years is staged as a quiet archive room
A mathematician's dream of waking after a thousand years is staged as a quiet archive room Illustration · AI-generated (FLUX.1-dev)

Por que alguém se importa

Em 1900, David Hilbert deu uma palestra famosa em Paris listando vinte e três problemas que ele queria que o novo século resolvesse. A Hipótese de Riemann era o número oito. Diz-se que ele declarou que, se fosse ressuscitado após um sono de mil anos, sua primeira pergunta seria se ela fora provada.

Riemann's Hypothesis. This is why it is true
Riemann's Hypothesis. This is why it is true 52Dante21 · BY-SA 4.0

Em 2000, o Clay Mathematics Institute escolheu sete problemas abertos e ofereceu um milhão de dólares por cada um. A Hipótese de Riemann é a única das sete que também aparece na lista de Hilbert. Os outros também permaneceram majoritariamente sem solução; um deles, a conjectura de Poincaré, foi resolvido por Grigori Perelman, que recusou o dinheiro.

A supercomputer room tests the hypothesis through physical scale: rows of machines
A supercomputer room tests the hypothesis through physical scale: rows of machines Illustration · AI-generated (FLUX.1-dev)

A descoberta mais estranha não veio de forma alguma da teoria dos números. Em 1972, o jovem teórico dos números Hugh Montgomery estava visitando o Institute for Advanced Study em Princeton. Durante o chá, ele descreveu ao físico Freeman Dyson um padrão estatístico que havia encontrado no espaçamento dos zeros zeta. Dyson o reconheceu imediatamente: era o mesmo padrão que rege os níveis de energia de núcleos atômicos pesados, os autovalores de uma matriz hermitiana aleatória. A teoria dos números e a física quântica, dois campos que não tinham razão para conversar, estavam aparentemente descrevendo o mesmo objeto.

O que ainda não sabemos

Não sabemos se a hipótese é verdadeira. A evidência numérica é esmagadora, mas a matemática já foi envergonhada por evidências numéricas esmagadoras antes; Littlewood provou em 1914 que outra conjectura aparentemente plausível sobre primos falha, com o primeiro contraexemplo situado em algum lugar além de $10^{300}$.

Riemann Hypothesis
Riemann Hypothesis No machine-readable author provided. Conscious assumed (base · CC BY-SA 3.0

Não sabemos que tipo de objeto matemático os zeros zeta realmente são. A Hilbert–Pólya conjecture (conjectura de Hilbert-Pólya) sugere que eles são o espectro de algum operador autoadjunto — algum sistema mecânico-quântico cujos níveis de energia por acaso codificam os primos. Ninguém encontrou o operador.

A gallery of mathematical attempts is shown as a workshop of unfinished bridges made from
A gallery of mathematical attempts is shown as a workshop of unfinished bridges made from Illustration · AI-generated (FLUX.1-dev)

Não sabemos se uma prova é sequer alcançável com as ferramentas atuais. Alguns matemáticos suspeitam que o problema está genuinamente além das técnicas atuais e exigirá uma ideia que ninguém teve ainda. Outros suspeitam que seja independente dos axiomas padrão da teoria dos conjuntos, impossível de provar como verdadeira ou falsa a partir do que já aceitamos.

O que sabemos é que os zeros continuam marchando sobre a linha crítica, em seu ritmo estranho e irregularmente espaçado, e que em algum lugar além dos trilhões um contraexemplo pode ou não estar à espera. A linha em si não se importa.

En 1859, un timide mathématicien allemand publia un article de huit pages sur les nombres premiers qui contenait une phrase de transition. Cent soixante-sept ans plus tard, cette phrase vaut un million de dollars pour quiconque pourra la prouver, et la solution n'est pas près d'être trouvée.

En novembre 1859, Bernhard Riemann fut élu membre correspondant de l'Académie des sciences de Berlin. Comme c'était l'usage, il présenta un court mémoire. Long de huit pages, il était intitulé *Ueber die Anzahl der Primzahlen unter einer gegebenen Grösse* — « Sur le nombre de nombres premiers inférieurs à une grandeur donnée » — et presque personne ne le lut à l'époque. Riemann avait trente-trois ans, était tuberculeux et peu enclin à l'autopromotion. Il ne publia plus jamais d'autre article sur le sujet. Sept ans plus tard, il était mort.

Ensevelie au milieu de ces huit pages se trouve une phrase unique dans laquelle Riemann remarque qu'une certaine affirmation est « très probable », admet qu'il ne peut la prouver, et passe à la suite. Cette affirmation est aujourd'hui le problème non résolu le plus célèbre des mathématiques.

kmyc89's modify the Riemann hypothesis formula
kmyc89's modify the Riemann hypothesis formula kmyc89 · BY-SA 2.0

Le problème porte sur les nombres premiers — 2, 3, 5, 7, 11, 13, etc., les atomes de l'arithmétique. Ils semblent aléatoires. Il n'existe aucune formule qui donne le suivant. Mais il y a un motif d'ensemble : à mesure que l'on progresse sur la droite numérique, les nombres premiers se raréfient à un rythme prévisible. Dans les années 1790, l'adolescent Carl Friedrich Gauss remarqua que le nombre de premiers inférieurs à une grande valeur $x$ est d'environ $x/\ln x$. Il ne put le prouver. L'énoncé, finalement démontré en 1896, devint le Prime Number Theorem (théorème des nombres premiers).

Le mémoire de huit pages de Riemann allait plus loin. Il prit une fonction avec laquelle le mathématicien suisse Euler s'était amusé un siècle plus tôt — la somme $1 + 1/2^s + 1/3^s + 1/4^s + \dots$ — et l'étendit des nombres réels au plan complexe. Il s'agit de la Riemann zeta function (fonction zeta de Riemann). Il écrivit ensuite une formule exacte pour le nombre de premiers inférieurs à $x$, avec un terme d'erreur qui dépendait des *zéros* de la fonction zeta : les points où la fonction s'annule.

A nineteenth-century Goettingen study shows Bernhard Riemann's working world through physi
A nineteenth-century Goettingen study shows Bernhard Riemann's working world through physi Illustration · AI-generated (FLUX.1-dev)

La ligne critique

La plupart des zéros sont sans intérêt. La fonction zeta s'annule en chaque entier pair négatif ( $-2, -4, -6, \dots$ ) ; ceux-ci sont appelés triviaux. Les zéros intéressants — les non triviaux — se situent dans une bande verticale du plan complexe. Riemann conjectura que chacun d'eux se trouve sur une unique ligne verticale, celle où la partie réelle vaut un demi. C'est l'Hypothèse de Riemann. Une phrase. Aucune preuve.

'Honk If You Believe the Riemann Hypothesis'
'Honk If You Believe the Riemann Hypothesis' chris.rycroft · BY 2.0

Les conséquences, si elle est vraie, sont majeures. Les nombres premiers sont distribués de la manière la plus régulière possible. Le terme d'erreur du théorème des nombres premiers devient optimal. Des centaines de théorèmes de la théorie des nombres, actuellement publiés avec la mention « en supposant l'hypothèse de Riemann », deviennent inconditionnels en un après-midi.

Les progrès ont été d'une lenteur exaspérante. En 1914, G. H. Hardy prouva qu'une infinité de zéros se trouvent sur la ligne critique. Il ne prouva pas qu'ils y étaient tous. Des travaux ultérieurs, par Atle Selberg dans les années 1940 et Norman Levinson dans les années 1970, montrèrent qu'au moins une fraction positive — plus de quarante pour cent selon les estimations actuelles — se trouve sur la ligne. Les ordinateurs ont vérifié directement les dix premiers billions de zéros. Tous sont sur la ligne, à la précision du calcul près. Rien de tout cela n'est une preuve. Un seul zéro égaré, caché à des milliards de chiffres de là, suffirait à démolir la conjecture.

A mathematician's dream of waking after a thousand years is staged as a quiet archive room
A mathematician's dream of waking after a thousand years is staged as a quiet archive room Illustration · AI-generated (FLUX.1-dev)

Pourquoi tout le monde s'y intéresse

En 1900, David Hilbert donna une conférence célèbre à Paris, dressant une liste de vingt-trois problèmes qu'il souhaitait voir résolus par le nouveau siècle. L'Hypothèse de Riemann était le numéro huit. Il aurait déclaré que s'il devait se réveiller après un sommeil de mille ans, sa première question serait de savoir si elle avait été démontrée.

Riemann's Hypothesis. This is why it is true
Riemann's Hypothesis. This is why it is true 52Dante21 · BY-SA 4.0

En 2000, l' Clay Mathematics Institute (Institut de mathématiques Clay) sélectionna sept problèmes non résolus et dota chacun d'un prix d'un million de dollars. L'Hypothèse de Riemann est le seul des sept qui figurait également sur la liste de Hilbert. Les autres sont pour la plupart restés non résolus eux aussi ; l'un d'eux, la conjecture de Poincaré, a été résolu par Grigori Perelman, qui a refusé l'argent.

A supercomputer room tests the hypothesis through physical scale: rows of machines
A supercomputer room tests the hypothesis through physical scale: rows of machines Illustration · AI-generated (FLUX.1-dev)

Le développement le plus surprenant ne vint pas du tout de la théorie des nombres. En 1972, le jeune théoricien des nombres Hugh Montgomery visitait l'Institut d'études avancées de Princeton. Autour d'un thé, il décrivit au physicien Freeman Dyson un motif statistique qu'il avait découvert dans l'espacement des zéros de la fonction zeta. Dyson le reconnut immédiatement : c'était le même motif qui régit les niveaux d'énergie des noyaux atomiques lourds, les valeurs propres d'une matrice hermitienne aléatoire. La théorie des nombres et la physique quantique, deux disciplines qui n'avaient aucune raison de communiquer, décrivaient apparemment le même objet.

Ce que nous ignorons encore

Nous ignorons si l'hypothèse est vraie. Les preuves numériques sont écrasantes, mais les mathématiques ont déjà été prises en défaut par des preuves numériques écrasantes par le passé ; Littlewood prouva en 1914 qu'une autre conjecture sur les nombres premiers, d'apparence tout aussi plausible, était fausse, le premier contre-exemple se situant bien au-delà de $10^{300}$.

Riemann Hypothesis
Riemann Hypothesis No machine-readable author provided. Conscious assumed (base · CC BY-SA 3.0

We ignore quel type d'objet mathématique les zéros de la fonction zeta sont réellement. La Hilbert–Pólya conjecture (conjecture de Hilbert-Pólya) suggère qu'ils sont le spectre d'un opérateur autoadjoint — un système de mécanique quantique dont les niveaux d'énergie coderaient les nombres premiers. Personne n'a trouvé cet opérateur.

A gallery of mathematical attempts is shown as a workshop of unfinished bridges made from
A gallery of mathematical attempts is shown as a workshop of unfinished bridges made from Illustration · AI-generated (FLUX.1-dev)

Nous ignorons si une démonstration est même possible avec les outils actuels. Certains mathématiciens soupçonnent le problème d'être hors de portée des techniques contemporaines et d'exiger une idée que personne n'a encore eue. D'autres soupçonnent qu'il est indépendant des axiomes standards de la théorie des ensembles, indémontrable en tant que vrai ou faux à partir de ce que nous acceptons déjà.

Ce que nous savons, c'est que les zéros continuent de s'aligner sur la ligne critique, selon leur étrange rythme irrégulier, et que quelque part au-delà des billions, un contre-exemple attend peut-être d'être découvert. La ligne elle-même s'en moque.

1859 veröffentlichte ein schüchterner deutscher Mathematiker eine achtseitige Arbeit über Primzahlen, die einen nebensächlichen Satz enthielt. Einhundertsiebenundsechzig Jahre später ist dieser Satz jedem, der ihn beweisen kann, eine Million Dollar wert, und die Antwort ist nicht in Sicht.

Im November 1859 wurde Bernhard Riemann zum korrespondierenden Mitglied der Berliner Akademie der Wissenschaften gewählt. Wie üblich reichte er eine kurze Arbeit ein. Sie war acht Seiten lang, trug den Titel *Ueber die Anzahl der Primzahlen unter einer gegebenen Grösse* und fast niemand las sie damals. Riemann war dreiunddreißig, tuberkulös und hatte kein Interesse an Selbstdarstellung. Er veröffentlichte nie wieder eine Arbeit zu diesem Thema. Sieben Jahre später war er tot.

Mitten in diesen acht Seiten verbirgt sich ein einziger Satz, in dem Riemann bemerkt, dass eine bestimmte Behauptung „sehr wahrscheinlich“ sei, zugibt, dass er sie nicht beweisen kann, und fortfährt. Diese Behauptung ist heute das berühmteste ungelöste Problem der Mathematik.

kmyc89's modify the Riemann hypothesis formula
kmyc89's modify the Riemann hypothesis formula kmyc89 · BY-SA 2.0

Das Problem dreht sich um Primzahlen — 2, 3, 5, 7, 11, 13 und so weiter, die Atome der Arithmetik. Sie wirken zufällig. Es gibt keine Formel, die die nächste Primzahl ausspuckt. Aber es gibt ein Muster in der Gesamtheit: Wenn man den Zahlenstrahl hinaufgeht, werden die Primzahlen in einer vorhersehbaren Rate seltener. Ein junger Carl Friedrich Gauss bemerkte in den 1790er Jahren, dass die Anzahl der Primzahlen unterhalb eines großen Wertes $x$ etwa $x/\ln x$ beträgt. Er konnte es nicht beweisen. Die Aussage, die schließlich 1896 bewiesen wurde, wurde als Prime Number Theorem (Primzahlsatz) bekannt.

Riemanns achtseitige Arbeit ging noch weiter. Er nahm eine Funktion, mit der der Schweizer Mathematiker Euler ein Jahrhundert zuvor gespielt hatte — die Summe $1 + 1/2^s + 1/3^s + 1/4^s + \dots$ — und dehnte sie von den reellen Zahlen auf die komplexe Ebene aus. Dies ist die Riemann zeta function (Riemannsche Zeta-Funktion). Dann schrieb er eine exakte Formel für die Anzahl der Primzahlen unter $x$ auf, mit einem Fehlerglied, das von den *Nullstellen* der Zeta-Funktion abhing: den Stellen, an denen die Funktion gleich Null ist.

A nineteenth-century Goettingen study shows Bernhard Riemann's working world through physi
A nineteenth-century Goettingen study shows Bernhard Riemann's working world through physi Illustration · AI-generated (FLUX.1-dev)

Die kritische Linie

Die meisten Nullstellen sind langweilig. Die Zeta-Funktion verschwindet an jeder negativen geraden ganzen Zahl ( $-2, -4, -6, \dots$ ); diese werden als trivial bezeichnet. Die interessanten Nullstellen — die nicht-trivialen — liegen irgendwo in einem vertikalen Streifen der komplexen Ebene. Riemann vermutete, dass jede einzelne von ihnen auf einer einzigen vertikalen Linie liegt, nämlich der, auf der der Realteil gleich ein Halb ist. Das ist die Riemannsche Vermutung. Ein Satz. Kein Beweis.

'Honk If You Believe the Riemann Hypothesis'
'Honk If You Believe the Riemann Hypothesis' chris.rycroft · BY 2.0

Die Konsequenzen, wenn sie wahr ist, sind weitreichend. Die Primzahlen sind so gleichmäßig verteilt, wie es nur möglich ist. Das Fehlerglied im Primzahlsatz wird scharf. Hunderte von Theoremen in der Zahlentheorie, die derzeit mit den Worten „unter der Annahme der Riemannschen Vermutung“ veröffentlicht werden, werden an einem einzigen Nachmittag bedingungslos gültig.

Der Fortschritt war qualvoll langsam. 1914 bewies G. H. Hardy, dass unendlich viele der Nullstellen auf der kritischen Linie liegen. Er hat nicht bewiesen, dass sie alle dort liegen. Spätere Arbeiten von Atle Selberg in den 1940er und Norman Levinson in den 1970er Jahren zeigten, dass zumindest ein positiver Anteil — nach aktuellen Schätzungen mehr als vierzig Prozent — auf der Linie liegt. Computer haben die ersten zehn Billionen Nullstellen direkt überprüft. Jede einzelne liegt im Rahmen der Berechnungsgenauigkeit auf der Linie. Nichts davon ist ein Beweis. Eine einzige abweichende Nullstelle, die sich Milliarden von Stellen entfernt verbirgt, würde ausreichen, um die Vermutung zu widerlegen.

A mathematician's dream of waking after a thousand years is staged as a quiet archive room
A mathematician's dream of waking after a thousand years is staged as a quiet archive room Illustration · AI-generated (FLUX.1-dev)

Warum es überhaupt jemanden interessiert

Im Jahr 1900 hielt David Hilbert einen berühmten Vortrag in Paris, in dem er dreiundzwanzig Probleme auflistete, die das neue Jahrhundert lösen sollte. Die Riemannsche Vermutung war Nummer acht. Er soll gesagt haben, dass seine erste Frage, wenn er nach einem tausendjährigen Schlaf wiedererweckt würde, die wäre, ob sie bewiesen worden sei.

Riemann's Hypothesis. This is why it is true
Riemann's Hypothesis. This is why it is true 52Dante21 · BY-SA 4.0

Im Jahr 2000 wählte das Clay Mathematics Institute sieben ungelöste Probleme aus und setzte auf jedes eine Million Dollar aus. Die Riemannsche Vermutung ist das einzige der sieben, das auch auf Hilberts Liste stand. Die anderen sind größtenteils ebenfalls ungelöst geblieben; eines, die Poincaré-Vermutung, wurde von Grigori Perelman gelöst, der das Geld ablehnte.

A supercomputer room tests the hypothesis through physical scale: rows of machines
A supercomputer room tests the hypothesis through physical scale: rows of machines Illustration · AI-generated (FLUX.1-dev)

Die seltsamste Entwicklung kam überhaupt nicht aus der Zahlentheorie. 1972 besuchte der junge Zahlentheoretiker Hugh Montgomery das Institute for Advanced Study in Princeton. Beim Tee beschrieb er dem Physiker Freeman Dyson ein statistisches Muster, das er bei den Abständen der Zeta-Nullstellen gefunden hatte. Dyson erkannte es sofort: Es war dasselbe Muster, das die Energieniveaus schwerer Atomkerne regelt, die Eigenwerte einer zufälligen hermiteschen Matrix. Zahlentheorie und Quantenphysik, zwei Bereiche, die eigentlich nichts miteinander zu tun hatten, beschrieben offenbar dasselbe Objekt.

Was wir noch nicht wissen

Wir wissen nicht, ob die Vermutung wahr ist. Die numerische Evidenz ist überwältigend, aber die Mathematik wurde schon früher von überwältigender numerischer Evidenz enttäuscht; Littlewood bewies 1914, dass eine andere plausibel aussehende Vermutung über Primzahlen falsch ist, wobei das erste Gegenbeispiel irgendwo jenseits von $10^{300}$ liegt.

Riemann Hypothesis
Riemann Hypothesis No machine-readable author provided. Conscious assumed (base · CC BY-SA 3.0

Wir wissen nicht, welche Art von mathematischem Objekt die Zeta-Nullstellen eigentlich sind. Die Hilbert–Pólya conjecture (Hilbert-Pólya-Vermutung) legt nahe, dass sie das Spektrum eines selbstadjungierten Operators sind — eines quantenmechanischen Systems, dessen Energieniveaus zufällig die Primzahlen codieren. Niemand hat den Operator gefunden.

A gallery of mathematical attempts is shown as a workshop of unfinished bridges made from
A gallery of mathematical attempts is shown as a workshop of unfinished bridges made from Illustration · AI-generated (FLUX.1-dev)

Wir wissen nicht, ob ein Beweis mit den heutigen Werkzeugen überhaupt erreichbar ist. Einige Mathematiker vermuten, dass das Problem tatsächlich außerhalb der heutigen Techniken liegt und eine Idee erfordert, die noch niemand hatte. Andere vermuten, dass es unabhängig von den Standardaxiomen der Mengenlehre ist, also auf der Grundlage dessen, was wir bereits akzeptieren, weder als wahr noch als falsch bewiesen werden kann.

Was wir wissen, ist, dass die Nullstellen in ihrem seltsamen, unregelmäßigen Rhythmus weiter auf der kritischen Linie aufwärts marschieren und dass irgendwo weit jenseits der Billionen ein Gegenbeispiel warten kann oder auch nicht. Die Linie selbst kümmert das nicht.

Pada tahun 1859, seorang matematikawan Jerman yang pemalu menerbitkan makalah delapan halaman tentang bilangan prima yang berisi satu kalimat selingan. Seratus enam puluh tujuh tahun kemudian, kalimat itu bernilai satu juta dolar bagi siapa saja yang dapat membuktikannya, dan jawabannya tidak kunjung dekat.

Pada bulan November 1859, Bernhard Riemann terpilih sebagai anggota koresponden Akademi Ilmu Pengetahuan Berlin. Seperti biasa, ia menyerahkan sebuah makalah singkat. Makalah itu panjangnya delapan halaman, berjudul *Ueber die Anzahl der Primzahlen unter einer gegebenen Grösse* — "Tentang jumlah bilangan prima yang kurang dari besaran tertentu" — dan hampir tidak ada orang yang membacanya saat itu. Riemann berusia tiga puluh tiga tahun, menderita tuberkulosis, dan tidak tertarik pada promosi diri. Ia tidak pernah menerbitkan makalah lain tentang topik tersebut. Tujuh tahun kemudian ia meninggal.

Terkubur di tengah-tengah delapan halaman tersebut adalah satu kalimat di mana Riemann menyatakan bahwa klaim tertentu "sangat mungkin," mengakui bahwa ia tidak dapat membuktikannya, dan melanjutkan pembahasan. Klaim tersebut sekarang menjadi masalah terbuka paling terkenal dalam matematika.

kmyc89's modify the Riemann hypothesis formula
kmyc89's modify the Riemann hypothesis formula kmyc89 · BY-SA 2.0

Masalahnya adalah tentang bilangan prima — 2, 3, 5, 7, 11, 13, dan seterusnya, atom-atom aritmetika. Bilangan prima tampak acak. Tidak ada rumus yang mengeluarkan bilangan prima berikutnya. Namun ada pola secara keseluruhan: saat Anda berjalan ke atas garis bilangan, bilangan prima menipis pada tingkat yang dapat diprediksi. Seorang remaja Carl Friedrich Gauss memperhatikan pada tahun 1790-an bahwa jumlah bilangan prima di bawah nilai besar $x$ adalah sekitar $x/\ln x$. Ia tidak dapat membuktikannya. Pernyataan tersebut, yang akhirnya terbukti pada tahun 1896, menjadi Prime Number Theorem (teorema bilangan prima).

Makalah delapan halaman Riemann melangkah lebih jauh. Ia mengambil fungsi yang dimainkan oleh matematikawan Swiss Euler seabad sebelumnya — jumlah $1 + 1/2^s + 1/3^s + 1/4^s + \dots$ — dan memperluasnya dari bilangan riil ke bidang kompleks. Ini adalah Riemann zeta function (fungsi zeta Riemann). Ia kemudian menuliskan rumus persis untuk jumlah bilangan prima di bawah $x$, dengan istilah kesalahan yang bergantung pada *nol* (zeros) dari fungsi zeta: tempat-tempat di mana fungsi tersebut bernilai nol.

A nineteenth-century Goettingen study shows Bernhard Riemann's working world through physi
A nineteenth-century Goettingen study shows Bernhard Riemann's working world through physi Illustration · AI-generated (FLUX.1-dev)

Garis kritis

Sebagian besar nilai nol tidak menarik. Fungsi zeta lenyap pada setiap bilangan bulat genap negatif ( $-2, -4, -6, \dots$ ); ini disebut trivial. Nilai nol yang menarik — yang non-trivial — berada di suatu tempat di jalur vertikal bidang kompleks. Riemann menduga bahwa setiap nilai nol tersebut terletak pada satu garis vertikal tunggal, yaitu garis di mana bagian riilnya sama dengan setengah. Itulah Hipotesis Riemann. Satu kalimat. Tanpa bukti.

'Honk If You Believe the Riemann Hypothesis'
'Honk If You Believe the Riemann Hypothesis' chris.rycroft · BY 2.0

Konsekuensinya, jika itu benar, adalah mutlak. Bilangan prima didistribusikan semulus mungkin. Istilah kesalahan dalam Teorema Bilangan Prima menjadi tajam. Ratusan teorema di seluruh teori bilangan, yang saat ini diterbitkan dengan kata-kata "dengan asumsi HR (Hipotesis Riemann)," menjadi tanpa syarat dalam satu sore saja.

Kemajuannya sangat lambat. Pada tahun 1914, G. H. Hardy membuktikan bahwa tak terhingga banyaknya nilai nol terletak pada garis kritis. Ia tidak membuktikan bahwa semuanya terletak di sana. Pekerjaan selanjutnya, oleh Atle Selberg pada tahun 1940-an dan Norman Levinson pada tahun 1970-an, menunjukkan bahwa setidaknya sebagian kecil — menurut perkiraan saat ini lebih dari empat puluh persen — berada di garis tersebut. Komputer telah memeriksa sepuluh triliun nol pertama secara langsung. Setiap nilai nol berada di garis tersebut, sesuai dengan ketelitian perhitungan. Semua ini bukan bukti. Satu saja nilai nol yang melenceng, yang tersembunyi miliaran digit jauhnya, sudah cukup untuk meruntuhkan dugaan tersebut.

A mathematician's dream of waking after a thousand years is staged as a quiet archive room
A mathematician's dream of waking after a thousand years is staged as a quiet archive room Illustration · AI-generated (FLUX.1-dev)

Mengapa ada yang peduli

Pada tahun 1900, David Hilbert memberikan ceramah terkenal di Paris yang mencantumkan dua puluh tiga masalah yang ia inginkan agar dipecahkan oleh abad baru. Hipotesis Riemann adalah nomor delapan. Ia konon mengatakan bahwa jika ia dihidupkan kembali setelah tidur seribu tahun, pertanyaan pertamanya adalah apakah masalah itu telah dibuktikan.

Riemann's Hypothesis. This is why it is true
Riemann's Hypothesis. This is why it is true 52Dante21 · BY-SA 4.0

Pada tahun 2000, Clay Mathematics Institute memilih tujuh masalah terbuka dan memberikan hadiah satu juta dolar untuk masing-masing masalah. Hipotesis Riemann adalah satu-satunya dari tujuh masalah yang juga muncul di daftar Hilbert. Masalah lainnya sebagian besar juga tetap tidak terpecahkan; satu, dugaan Poincaré, diselesaikan oleh Grigori Perelman, yang menolak uang tersebut.

A supercomputer room tests the hypothesis through physical scale: rows of machines
A supercomputer room tests the hypothesis through physical scale: rows of machines Illustration · AI-generated (FLUX.1-dev)

Perkembangan paling aneh tidak datang dari teori bilangan sama sekali. Pada tahun 1972, ahli teori bilangan muda Hugh Montgomery sedang mengunjungi Institute for Advanced Study di Princeton. Sambil minum teh, ia menjelaskan kepada fisikawan Freeman Dyson tentang pola statistik yang ia temukan dalam jarak nol zeta. Dyson segera mengenalinya: itu adalah pola yang sama yang mengatur tingkat energi inti atom berat, nilai eigen dari matriks Hermitian acak. Teori bilangan dan fisika kuantum, dua bidang yang tidak memiliki urusan untuk saling berbicara, tampaknya menggambarkan objek yang sama.

Apa yang masih belum kita ketahui

Kita tidak tahu apakah hipotesis itu benar. Bukti numeriknya sangat banyak, tetapi matematika telah dipermalukan oleh bukti numerik yang sangat banyak sebelumnya; Littlewood membuktikan pada tahun 1914 bahwa dugaan lain yang tampak masuk akal tentang bilangan prima gagal, dengan contoh penyangkal pertama terletak di suatu tempat di luar $10^{300}$.

Riemann Hypothesis
Riemann Hypothesis No machine-readable author provided. Conscious assumed (base · CC BY-SA 3.0

Kita tidak tahu objek matematika jenis apa sebenarnya nol zeta itu. Hilbert–Pólya conjecture (Dugaan Hilbert-Pólya) menunjukkan bahwa mereka adalah spektrum dari beberapa operator swapraja — beberapa sistem mekanika kuantum yang tingkat energinya kebetulan menyandikan bilangan prima. Tidak ada yang menemukan operator tersebut.

A gallery of mathematical attempts is shown as a workshop of unfinished bridges made from
A gallery of mathematical attempts is shown as a workshop of unfinished bridges made from Illustration · AI-generated (FLUX.1-dev)

Kita tidak tahu apakah bukti itu dapat dicapai dengan alat saat ini. Beberapa matematikawan mencurigai masalah ini benar-benar di luar teknik saat ini dan membutuhkan ide yang belum dimiliki siapa pun. Yang lain mencurigai masalah ini independen dari aksioma teori himpunan standar, tidak dapat dibuktikan benar maupun salah dari apa yang sudah kita terima.

Yang kita ketahui adalah bahwa nilai nol terus berbaris di sepanjang garis kritis, dalam ritme mereka yang berjarak tidak merata secara aneh, dan di suatu tempat di luar triliunan, contoh penyangkal mungkin atau mungkin tidak sedang menunggu. Garis itu sendiri tidak peduli.

В 1859 году скромный немецкий математик опубликовал восьмистраничную статью о простых числах, содержавшую одну мимолетную фразу. Спустя 167 лет эта фраза стоит миллион долларов для любого, кто сможет ее доказать, и решение до сих пор не найдено.

В ноябре 1859 года Bernhard Riemann был избран членом-корреспондентом Берлинской академии наук. По традиции он представил краткий доклад. Это была статья объемом всего восемь страниц под названием *Ueber die Anzahl der Primzahlen unter einer gegebenen Grösse* («О числе простых чисел не превышающих данной величины»), которую в то время почти никто не прочитал. Риманну было 33 года, он страдал туберкулезом и не интересовался саморекламой. Он больше никогда не публиковал работ на эту тему. Через семь лет его не стало.

В середине этих восьми страниц скрывается единственное предложение, в котором Риманн замечает, что определенное утверждение «весьма вероятно», признает, что не может его доказать, и переходит к следующему вопросу. Это утверждение сейчас является самой известной нерешенной проблемой в математике.

kmyc89's modify the Riemann hypothesis formula
kmyc89's modify the Riemann hypothesis formula kmyc89 · BY-SA 2.0

Речь идет о простых числах — 2, 3, 5, 7, 11, 13 и так далее, атомах арифметики. Они кажутся случайными. Нет формулы, которая выдавала бы следующее простое число. Но в их совокупности есть закономерность: по мере продвижения вверх по числовой оси простые числа встречаются реже с предсказуемой скоростью. Подросток Carl Friedrich Gauss заметил в 1790-х годах, что количество простых чисел, меньших большого значения $x$, примерно равно $x/\ln x$. Он не смог это доказать. Утверждение, окончательно доказанное в 1896 году, стало Prime Number Theorem (теоремой о простых числах).

Статья Риманна пошла дальше. Он взял функцию, с которой век назад работал швейцарский математик Эйлер — сумму $1 + 1/2^s + 1/3^s + 1/4^s + \dots$ — и перенес ее с вещественных чисел на комплексную плоскость. Это Riemann zeta function (дзета-функция Римана). Затем он записал точную формулу для количества простых чисел, меньших $x$, с членом погрешности, который зависел от *нулей* дзета-функции: точек, в которых значение функции равно нулю.

A nineteenth-century Goettingen study shows Bernhard Riemann's working world through physi
A nineteenth-century Goettingen study shows Bernhard Riemann's working world through physi Illustration · AI-generated (FLUX.1-dev)

Критическая линия

Большинство нулей тривиальны. Дзета-функция обращается в ноль в каждом отрицательном четном целом числе ( $-2, -4, -6, \dots$ ). Интересные нули — нетривиальные — лежат в вертикальной полосе комплексной плоскости. Риманн предположил, что каждый из них лежит на одной вертикальной линии, где вещественная часть равна одной второй. Это гипотеза Римана. Одно предложение. Ни одного доказательства.

'Honk If You Believe the Riemann Hypothesis'
'Honk If You Believe the Riemann Hypothesis' chris.rycroft · BY 2.0

Если она верна, последствия фундаментальны. Простые числа распределены максимально гладко. Член погрешности в теореме о простых числах становится точным. Сотни теорем в теории чисел, опубликованных к настоящему времени с оговоркой «при условии истинности гипотезы Римана», станут безусловными за один день.

Продвижение было мучительным. В 1914 году G. H. Hardy доказал, что на критической линии лежит бесконечно много нулей. Он не доказал, что там лежат они все. Более поздние работы Atle Selberg в 1940-х годах и Нормана Левинсона в 1970-х годах показали, что по крайней мере положительная доля нулей — по современным оценкам более сорока процентов — лежит на линии. Компьютеры напрямую проверили первые десять триллионов нулей. Каждый из них лежит на линии с точностью до погрешности вычислений. Но это не доказательство. Одного-единственного исключения, скрывающегося за миллиардами знаков, достаточно, чтобы опровергнуть гипотезу.

A mathematician's dream of waking after a thousand years is staged as a quiet archive room
A mathematician's dream of waking after a thousand years is staged as a quiet archive room Illustration · AI-generated (FLUX.1-dev)

Почему это важно

В 1900 году David Hilbert выступил в Париже с докладом, в котором перечислил 23 проблемы, которые он хотел бы видеть решенными в новом веке. Гипотеза Римана шла под номером восемь. Говорят, он признался, что если бы он проснулся после тысячелетнего сна, его первым вопросом было бы то, доказана ли гипотеза.

Riemann's Hypothesis. This is why it is true
Riemann's Hypothesis. This is why it is true 52Dante21 · BY-SA 4.0

В 2000 году Clay Mathematics Institute (Математический институт Клея) выбрал семь нерешенных проблем и назначил награду в миллион долларов за решение каждой. Гипотеза Римана — единственная из семи, которая также фигурировала в списке Гильберта. Остальные проблемы тоже в основном остаются нерешенными; одну из них, гипотезу Пуанкаре, решил Григорий Перельман, который от денег отказался.

A supercomputer room tests the hypothesis through physical scale: rows of machines
A supercomputer room tests the hypothesis through physical scale: rows of machines Illustration · AI-generated (FLUX.1-dev)

Самое удивительное открытие пришло вовсе не из теории чисел. В 1972 году молодой теоретик чисел Хью Монтгомери посетил Институт перспективных исследований в Принстоне. За чаем он описал физику Freeman Dyson (Фримену Дайсону) статистическую закономерность, которую он обнаружил в распределении нулей дзета-функции. Дайсон сразу узнал ее: это была та же закономерность, которая определяет уровни энергии ядер тяжелых атомов (собственные значения случайной эрмитовой матрицы). Теория чисел и квантовая физика, у которых не было общих тем для разговора, судя по всему, описывали один и тот же объект.

Чего мы до сих пор не знаем

Мы не знаем, верна ли гипотеза. Численные доказательства огромны, но математика уже сталкивалась с опровержением казавшихся незыблемыми численных закономерностей: Литтлвуд доказал в 1914 году, что другая правдоподобная гипотеза о простых числах неверна, причем первый контрпример лежит где-то за пределами $10^{300}$.

Riemann Hypothesis
Riemann Hypothesis No machine-readable author provided. Conscious assumed (base · CC BY-SA 3.0

Мы не знаем, каким именно математическим объектом являются нули дзета-функции. Hilbert–Pólya conjecture (гипотеза Гильберта-Пойи) предполагает, что они представляют собой спектр некоторого самосопряженного оператора — квантовомеханической системы, уровни энергии которой кодируют простые числа. Но никто не нашел этот оператор.

A gallery of mathematical attempts is shown as a workshop of unfinished bridges made from
A gallery of mathematical attempts is shown as a workshop of unfinished bridges made from Illustration · AI-generated (FLUX.1-dev)

Мы не знаем, достижимо ли доказательство с помощью современных инструментов. Некоторые математики подозревают, что проблема действительно выходит за рамки современных методов и потребует идеи, которая еще никому не приходила в голову. Другие предполагают, что она независима от стандартных аксиом теории множеств: ее нельзя ни доказать, ни опровергнуть на основе того, что мы уже принимаем.

Мы знаем лишь то, что нули продолжают выстраиваться на критической линии в своем странном неравномерном ритме, и где-то за триллионными рубежами их контрпример может ждать своего часа, а может и нет. Самой критической линии до этого дела нет.

1859年、内気なドイツ人数学者が素数に関する8ページの論文を発表した。そこに含まれていた「たった一言の記述」が、167年後の今日、証明した者には100万ドルの価値を持ち、しかもその答えには未だに近づいてさえいない。

1859年11月、 Bernhard Riemann はベルリン科学アカデミーの通信会員に選出された。慣例に従い、彼は短い論文を提出した。それは『与えられた限界以下の素数の個数について』と題されたわずか8ページの論文であり、当時はほとんど誰にも読まれなかった。リーマンは33歳で、肺結核を患っており、自己宣伝には関心がなかった。彼はこの分野について二度と論文を発表しなかった。7年後、彼はこの世を去った。

その8ページの論文の中ほどに、リーマンがある主張について「非常に可能性が高い」と言及し、自分では証明できないことを認めて次へと進んでいる、たった一文が埋もれている。その主張こそが、現在の数学界で最も有名な未解決問題である。

kmyc89's modify the Riemann hypothesis formula
kmyc89's modify the Riemann hypothesis formula kmyc89 · BY-SA 2.0

この問題は素数、すなわち2, 3, 5, 7, 11, 13といった「算術の原子」に関するものである。それらはランダムに見える。次の素数を弾き出す公式は存在しない。しかし、全体としてはパターンが存在する。数直線を上がるにつれて、素数は予測可能な割合で減少していく。1790年代、十代だった Carl Friedrich Gauss は、ある大きな値 $x$ 以下の素数の数が大体 $x/\ln x$ であることに気づいた。彼はそれを証明できなかった。この言明は最終的に1896年に証明され、 Prime Number Theorem (素数定理)となった。

リーマンの8ページの論文は、さらに先へ進んでいた。彼はスイスの数学者オイラーが1世紀前に扱った関数、すなわち総和 $1 + 1/2^s + 1/3^s + 1/4^s + \dots$ を、実数から複素平面へと拡張した。これが Riemann zeta function (リーマンゼータ関数)である。そして彼は、 $x$ 以下の素数の個数に関する正確な公式を書き下した。その公式には、ゼータ関数の「零点」(関数がゼロになる場所)に依存する誤差項が含まれていた。

A nineteenth-century Goettingen study shows Bernhard Riemann's working world through physi
A nineteenth-century Goettingen study shows Bernhard Riemann's working world through physi Illustration · AI-generated (FLUX.1-dev)

臨界線

ほとんどの零点は退屈なものである。ゼータ関数は、すべての負の偶数( $-2, -4, -6, \dots$ )でゼロになる。これらは自明な零点と呼ばれる。興味深い零点(非自明な零点)は、複素平面の垂直な帯の中に存在する。リーマンは、これらの非自明な零点はすべて、実部が2分の1となる一本の垂直線上に存在すると予想した。これがリーマン予想である。一文のみ。証明はなし。

'Honk If You Believe the Riemann Hypothesis'
'Honk If You Believe the Riemann Hypothesis' chris.rycroft · BY 2.0

もしこれが真であれば、その影響は決定定的である。素数は物理的に可能な限り滑らかに分布していることになる。素数定理における誤差項は極めてシャープなものとなる。現在「リーマン予想を仮定すると」という前置き付きで発表されている数論における何百もの定理が、ある日の午後、一瞬にして前提なしの定理となる。

進展は極めて困難を極めた。1914年、 G. H. Hardy は臨界線上に無限個の零点が存在することを示した。しかし、すべての零点がその上にあることは証明できなかった。その後、1940年代の Atle Selberg や1970年代のノーマン・レビンソンらの研究により、少なくとも一定の割合(現在の見積もりでは40%以上)が臨界線上にあることが示された。コンピューターは、最初の10兆個の零点を直接検証した。計算の精度の範囲内で、そのすべてが線上にあった。しかし、これは証明ではない。何兆桁も先に、線から外れた零点がたった1つ隠れているだけで、この予想は崩壊するのである。

A mathematician's dream of waking after a thousand years is staged as a quiet archive room
A mathematician's dream of waking after a thousand years is staged as a quiet archive room Illustration · AI-generated (FLUX.1-dev)

なぜこれほど注目されるのか

1900年、 David Hilbert はパリで有名な講演を行い、新しい世紀に解決すべき23の問題をリストアップした。リーマン予想は8番目だった。彼は、もし自分が1000年の眠りから覚めたら、最初の質問は「リーマン予想は証明されたか」になるだろうと言ったとされている。

Riemann's Hypothesis. This is why it is true
Riemann's Hypothesis. This is why it is true 52Dante21 · BY-SA 4.0

2000年、 Clay Mathematics Institute (クレイ数学研究所)は7つの未解決問題を選定し、それぞれに100万ドルの懸賞金をかけた。リーマン予想は、この7つのうちヒルベルトのリストにも掲載されている唯一の問題である。他の問題もほとんど未解決のままであり、1つだけ解決されたポアンカレ予想はグレゴリー・ペレルマンによって証明されたが、彼は懸賞金の受け取りを辞退した。

A supercomputer room tests the hypothesis through physical scale: rows of machines
A supercomputer room tests the hypothesis through physical scale: rows of machines Illustration · AI-generated (FLUX.1-dev)

最も奇妙な展開は、数論とは全く関係のない分野から生じた。1972年、若き数論学者ヒュー・モンゴメリーはプリンストンの高等研究所を訪れていた。お茶の時間に、彼は物理学者の Freeman Dyson に、ゼータ関数の零点の間隔に見られる統計的パターンについて説明した。ダイソンはそれを即座に理解した。それは、重い原子核のエネルギー準位(ランダムエルミート行列の固有値)を支配するパターンと全く同じだった。対話する理由のなかった数論と量子物理学の2つの分野が、明らかに同じ対象を描写していたのである。

未だ解明されていない謎

私たちはこの予想が真であるかどうかを知らない。数値的な証拠は圧倒的だが、数学は過去に圧倒的な数値的証拠に裏切られたことがある。リトルウッドは1914年に、素数に関する別の妥当に見える予想が破綻することを示し、その最初の反例は $10^{300}$ を超えた先に存在していた。

Riemann Hypothesis
Riemann Hypothesis No machine-readable author provided. Conscious assumed (base · CC BY-SA 3.0

ゼータ零点が実際にどのような数学的対象であるかも分かっていない。 Hilbert–Pólya conjecture (ヒルベルト・ポリア予想)は、零点がある自己共役作用素のスペクトル、すなわちエネルギー準位が素数をコードしているような量子力学システムであることを示唆している。しかし、その作用素を発見した者は誰もいない。

A gallery of mathematical attempts is shown as a workshop of unfinished bridges made from
A gallery of mathematical attempts is shown as a workshop of unfinished bridges made from Illustration · AI-generated (FLUX.1-dev)

現在のツールで証明に到達できるかどうかも分かっていない。一部の数学者は、この問題は現代の技術を真に超えており、まだ誰も思いついていない新しいアイデアが必要だと考えている。また別の数学者は、これが標準的な集合論の公理系からは独立しており、私たちが受け入れている公理からは真とも偽とも証明できない問題ではないかと疑っている。

私たちが知っているのは、零点がその奇妙で不均等な間隔の波長で臨界線の上を進み続けていること、そして何兆個もの先に反例が待っているかもしれないし、待っていないかもしれないということだけである。臨界線自体は、そんなことは気にしていない。

1859년 한 수줍음 많은 독일 수학자가 소수에 관한 8페이지짜리 논문을 발표했는데, 거기에는 넌지시 던진 한 문장이 포함되어 있었다. 167년이 지난 지금, 그 문장은 이를 증명하는 누구에게나 100만 달러의 가치를 지니지만 답은 전혀 가까워지지 않았다.

1859년 11월, Bernhard Riemann은 베를린 과학 아카데미의 교신회원으로 선출되었다. 관례에 따라 그는 짧은 논문을 제출했다. 8페이지 분량의 이 논문의 제목은 『주어진 크기보다 작은 소수의 개수에 관하여』였고, 당시에는 거의 아무도 읽지 않았다. 리만은 33세였고, 폐결핵을 앓고 있었으며, 자기 홍보에는 관심이 없었다. 그는 이 주제에 대해 다시는 논문을 발표하지 않았다. 7년 후 그는 세상을 떠났다.

그 8페이지의 중간에 묻혀 있는 단 한 문장에서 리만은 어떤 주장이 "매우 그럴듯하다"고 언급하고, 스스로 증명할 수 없음을 인정하며 넘어간다. 그 주장이 현재 수학계에서 가장 유명한 미해결 난제이다.

kmyc89's modify the Riemann hypothesis formula
kmyc89's modify the Riemann hypothesis formula kmyc89 · BY-SA 2.0

이 문제는 산술의 원자인 소수(2, 3, 5, 7, 11, 13 등)에 관한 것이다. 소수는 불규칙해 보인다. 다음 소수를 출력하는 공식은 없다. 그러나 전체적인 패턴이 존재하는데, 수직선 위로 올라갈수록 소수는 예측 가능한 비율로 드물어진다. 1790년대에 10대였던 Carl Friedrich Gauss는 큰 값 $x$보다 작은 소수의 개수가 대략 $x/\ln x$에 비례한다는 사실을 발견했다. 그는 이를 증명하지 못했다. 결국 1896년에 증명된 이 명제가 Prime Number Theorem(소수 정리)가 되었다.

리만의 8페이지 논문은 여기서 더 나아갔다. 그는 스위스 수학자 오일러가 한 세기 전에 다루었던 함수인 합 $1 + 1/2^s + 1/3^s + 1/4^s + \dots$를 실수에서 복소평면으로 확장했다. 이것이 바로 Riemann zeta function(리만 제타 함수)이다. 그런 다음 그는 $x$보다 작은 소수의 개수에 대한 정확한 공식을 작성했는데, 그 오차항은 제타 함수의 '영점'(함수 값이 0이 되는 지점)에 의존했다.

A nineteenth-century Goettingen study shows Bernhard Riemann's working world through physi
A nineteenth-century Goettingen study shows Bernhard Riemann's working world through physi Illustration · AI-generated (FLUX.1-dev)

임계선

대부분의 영점은 흥미롭지 않다. 제타 함수는 모든 음의 짝수( $-2, -4, -6, \dots$ )에서 0이 되는데, 이를 자명한 영점이라고 한다. 흥미로운 영점들, 즉 비자명한 영점들은 복소평면의 수직 띠 안에 위치한다. 리만은 이 영점들이 모두 실수부가 2분의 1인 단 하나의 수직선 위에 놓여 있을 것이라고 추측했다. 이것이 리만 가설이다. 한 문장. 증명 없음.

'Honk If You Believe the Riemann Hypothesis'
'Honk If You Believe the Riemann Hypothesis' chris.rycroft · BY 2.0

만약 이것이 참이라면 그 결과는 완벽하다. 소수는 수학적으로 가능한 가장 매끄러운 형태로 분포한다. 소수 정리의 오차항은 극도로 정밀해진다. 현재 "리만 가설이 참이라고 가정할 때"라는 단서를 달고 출판된 수론 분야의 수백 개의 정리들이 단 하룻밤 사이에 무조건적인 정리로 바뀐다.

진척은 고통스러울 정도로 느렸다. 1914년 G. H. Hardy는 임계선 위에 무한히 많은 영점이 존재함을 증명했다. 그러나 모든 영점이 그 위에 있음을 증명하지는 못했다. 이후 1940년대 Atle Selberg와 1970년대 노먼 레빈슨의 연구를 통해 최소한 일정한 비율(현재 추정치로 40% 이상)의 영점들이 임계선 위에 있음이 밝혀졌다. 컴퓨터를 통해 최초 10조 개의 영점을 직접 확인했다. 계산의 정밀도 내에서 모든 영점이 선 위에 있었다. 하지만 이것은 증명이 아니다. 수십억 자리 너머에 숨겨진 단 하나의 예외적인 영점만으로도 이 가설은 산산조각 날 수 있다.

A mathematician's dream of waking after a thousand years is staged as a quiet archive room
A mathematician's dream of waking after a thousand years is staged as a quiet archive room Illustration · AI-generated (FLUX.1-dev)

왜 모두가 관심을 가질까

1900년 David Hilbert는 파리에서 유명한 강연을 열어 새 세기가 해결해야 할 23가지 문제 목록을 제시했다. 리만 가설은 8번이었다. 그는 자신이 1000년의 잠에서 깨어난다면 가장 먼저 리만 가설이 증명되었는지 물어볼 것이라고 말했다고 전해진다.

Riemann's Hypothesis. This is why it is true
Riemann's Hypothesis. This is why it is true 52Dante21 · BY-SA 4.0

2000년 Clay Mathematics Institute(클레이 수학연구소)는 7개의 미해결 문제를 선정하고 각각 100만 달러의 현상금을 걸었다. 리만 가설은 이 7개 중 힐베르트의 목록에도 포함된 유일한 문제이다. 다른 문제들도 대부분 미해결 상태로 남아 있으며, 단 하나 푸앵카레 추측만 그legendary한 그리고리 페렐만이 해결하고 상금을 거절했다.

A supercomputer room tests the hypothesis through physical scale: rows of machines
A supercomputer room tests the hypothesis through physical scale: rows of machines Illustration · AI-generated (FLUX.1-dev)

가장 기이한 발견은 수론이 아닌 다른 분야에서 나왔다. 1972년 젊은 수론학자 휴 몽고메리가 프린스턴 고등연구소를 방문 중이었다. 차를 마시며 그는 물리학자 Freeman Dyson에게 자신이 발견한 제타 영점 간격의 통계적 패턴을 설명했다. 다이슨은 이를 즉시 알아차렸다. 그것은 무거운 원자핵의 에너지 준위, 즉 임의의 에르미트 행렬의 고유값들을 규정하는 패턴과 동일했다. 교류할 이유가 전혀 없던 수론과 양자물리학이라는 두 분야가 겉보기에 동일한 대상을 묘사하고 있었던 것이다.

아직 우리가 모르는 것들

우리는 가설이 참인지 알지 못한다. 수치적 증거는 압도적이지만, 수학사에는 이처럼 압도적인 수치적 증거에 배신당한 사례가 있다. 리틀우드는 1914년에 소수에 관한 매우 그럴듯해 보이는 다른 추측이 거짓임을 증명했는데, 그 첫 번째 반례는 $10^{300}$ 너머 어딘가에 존재했다.

Riemann Hypothesis
Riemann Hypothesis No machine-readable author provided. Conscious assumed (base · CC BY-SA 3.0

제타 영점들이 실제로 어떤 수학적 대상인지 알지 못한다. Hilbert–Pólya conjecture(힐베르트-폴리아 추측)는 영점들이 어떤 자기수반 작용소의 스펙트럼, 즉 그 에너지 준위가 소수 정보와 부합하는 양자역학 체계의 상태일 것이라고 제안한다. 하지만 그 작용소를 찾아낸 사람은 없다.

A gallery of mathematical attempts is shown as a workshop of unfinished bridges made from
A gallery of mathematical attempts is shown as a workshop of unfinished bridges made from Illustration · AI-generated (FLUX.1-dev)

현재의 도구로 증명에 도달할 수 있는지조차 알지 못한다. 일부 수학자들은 이 문제가 현재 기술 수준을 넘어서며 완전히 새로운 발상이 필요할 것이라고 본다. 다른 학자들은 우리가 이미 받아들인 표준 집합론 공리계로부터 리만 가설을 참으로도 거짓으로도 증명할 수 없음을 의미하는 '독립적인 문제'일 것으로 의심한다.

우리가 확실히 아는 것은, 영점들이 그 기묘하고 불규칙한 간격을 유지하며 임계선 위를 계속 행진하고 있으며, 수조 개 너머 어딘가에 반례가 기다리고 있을지도 모른다는 점뿐이다. 임계선 자체는 개의치 않는다.

في عام 1859، نشر عالم رياضيات ألماني خجول ورقة بحثية من ثماني صفحات عن الأعداد الأولية تحتوي على جملة عابرة واحدة. وبعد مائة وسبعة وستين عاماً، أصبحت تلك الجملة تساوي مليون دولار لأي شخص يمكنه إثباتها، والحل ليس قريباً.

في نوفمبر 1859، انتُخب Bernhard Riemann عضواً مراسلاً في أكاديمية برلين للعلوم. وكما جرت العادة، قدم ورقة بحثية قصيرة. كانت تقع في ثماني صفحات، بعنوان *Ueber die Anzahl der Primzahlen unter einer gegebenen Grösse* — "حول عدد الأعداد الأولية الأقل من مقدار معين" — ولم يقرأها أحد تقريباً في ذلك الوقت. وكان ريمان في الثالثة والثلاثين من عمره، مصاباً بالسل، وغير مهتم بالترويج لنفسه. ولم ينشر ورقة بحثية أخرى حول هذا الموضوع قط. وبعد سبع سنوات توفي.

ودُفنت في منتصف تلك الصفحات الثماني جملة واحدة يلاحظ فيها ريمان أن ادعاءً معيناً "محتمل جداً"، ويعترف بأنه لا يستطيع إثباته، ثم يتابع. وهذا الادعاء هو الآن أشهر مشكلة مفتوحة في الرياضيات.

kmyc89's modify the Riemann hypothesis formula
kmyc89's modify the Riemann hypothesis formula kmyc89 · BY-SA 2.0

والمشكلة تتعلق بالأعداد الأولية — 2، 3، 5، 7، 11، 13، وما إلى ذلك، وهي ذرات الحساب. تبدو عشوائية. ولا توجد صيغة تفرز العدد التالي. ولكن هناك نمط في المجموع: مع صعودك في خط الأعداد، تقل الأعداد الأولية بمعدل يمكن التنبؤ به. ولاحظ المراهق Carl Friedrich Gauss في تسعينيات القرن الثامن عشر أن عدد الأعداد الأولية الأقل من قيمة كبيرة $x$ هو تقريباً $x/\ln x$. ولم يتمكن من إثبات ذلك. وأصبحت العبارة، التي تم إثباتها في النهاية عام 1896، نظرية الأعداد الأولية Prime Number Theorem.

وذهبت ورقة ريمان المكونة من ثماني صفحات إلى أبعد من ذلك. فقد أخذ دالة كان عالم الرياضيات السويسري أويلر قد لعب بها قبل قرن من الزمان — المجموع $1 + 1/2^s + 1/3^s + 1/4^s + \dots$ — ومددها من الأعداد الحقيقية إلى المستوى المركب. وهذه هي دالة ريمان زيتا Riemann zeta function. ثم كتب صيغة دقيقة لعدد الأعداد الأولية الأقل من $x$، مع حد خطأ يعتمد على *أصفار* دالة زيتا: الأماكن التي تساوي فيها الدالة صفراً.

A nineteenth-century Goettingen study shows Bernhard Riemann's working world through physi
A nineteenth-century Goettingen study shows Bernhard Riemann's working world through physi Illustration · AI-generated (FLUX.1-dev)

الخط الحرج

معظم الأصفار مملة. فدالة زيتا تتلاشى عند كل عدد صحيح زوجي سالب ( $-2, -4, -6, \dots$ )؛ وتسمى هذه الأصفار تافهة. والأصفار المثيرة للاهتمام — غير التافهة — تقع في مكان ما في شريط رأسي من المستوى المركب. وخمن ريمان أن كل واحد منها يقع على خط رأسي واحد، وهو الخط الذي يكون فيه الجزء الحقيقي مساوياً للنصف. هذه هي فرضية ريمان. جملة واحدة. بلا إثبات.

'Honk If You Believe the Riemann Hypothesis'
'Honk If You Believe the Riemann Hypothesis' chris.rycroft · BY 2.0

والنتائج، إذا كانت صحيحة، دقيقة. وتتوزع الأعداد الأولية بسلاسة قدر الإمكان. ويصبح حد الخطأ في نظرية الأعداد الأولية دقيقاً للغاية. وتصبح مئات النظريات في نظرية الأعداد، المنشورة حالياً مع عبارة "بافتراض فرضية ريمان"، غير مشروطة في بعد ظهر يوم واحد.

وكان التقدم مؤلماً للغاية. ففي عام 1914، أثبت غودفري هارولد هاردي G. H. Hardy أن عدداً لا نهائياً من الأصفار يقع على الخط الحرج. ولم يثبت أنها تقع كلها هناك. وأظهر عمل لاحق، قام به أتل سيلبرغ Atle Selberg في الأربعينيات ونورمان ليفينسون في السبعينيات، أن جزءاً إيجابياً على الأقل — بأكثر من أربعين في المائة حسب التقديرات الحالية — يقع على الخط. وتحققت أجهزة الكمبيوتر من أول عشرة تريليونات صفر مباشرة. وكان كل واحد منها على الخط، ضمن دقة الحساب. ولا يعتبر أي من هذا إثباتاً. فصفر مارق واحد، يختبئ على بعد مليارات الأرقام، كفيل بهدم التخمين.

A mathematician's dream of waking after a thousand years is staged as a quiet archive room
A mathematician's dream of waking after a thousand years is staged as a quiet archive room Illustration · AI-generated (FLUX.1-dev)

لماذا يهتم أي شخص

وفي عام 1900، ألقى David Hilbert محاضرة شهيرة في باريس تضمنت ثلاثاً وعشرين مشكلة أراد أن يحلها القرن الجديد. وكانت فرضية ريمان هي الرقم ثمانية. ويُفترض أنه قال إنه إذا استيقظ بعد نوم دام ألف عام، فإن سؤاله الأول سيكون عما إذا كانت الفرضية قد تم إثباتها.

Riemann's Hypothesis. This is why it is true
Riemann's Hypothesis. This is why it is true 52Dante21 · BY-SA 4.0

وفي عام 2000، اختار معهد كلاي للرياضيات Clay Mathematics Institute سبع مسائل مفتوحة ووضع مليون دولار لكل منها. وفرضية ريمان هي الوحيدة من بين السبعة التي ظهرت أيضاً في قائمة هيلبرت. وظلت المسائل الأخرى دون حل في الغالب أيضاً؛ وحل غريغوري بيرلمان واحدة منها، وهي تخمين بوانكاريه، ورفض قبول المال.

A supercomputer room tests the hypothesis through physical scale: rows of machines
A supercomputer room tests the hypothesis through physical scale: rows of machines Illustration · AI-generated (FLUX.1-dev)

ولم يأيت التطور الأكثر غرابة من نظرية الأعداد على الإطلاق. ففي عام 1972، كان عالم نظرية الأعداد الشاب هيو مونتغمري يزور معهد الدراسات المتقدمة في برينستون. وأثناء تناول الشاي، وصف للفيزيائي فريمان دايسون Freeman Dyson نمطاً إحصائياً وجده في تباعد أصفار زيتا. وتعرف عليه دايسون على الفور: كان هو النمط نفسه الذي يحكم مستويات الطاقة للنوى الذرية الثقيلة، والقيم الذاتية لمصفوفة هيرميتية عشوائية. وكان من الواضح أن نظرية الأعداد والفيزياء الكوانتية، وهما مجالان لم يكن لديهما أي سبب للتحدث مع بعضهما البعض، يصفان الشيء نفسه.

ما لا نزال نجهله

لا نعرف ما إذا كانت الفرضية صحيحة. والأدلة العددية ساحقة، لكن الرياضيات تعرضت للإحراج بسبب الأدلة العددية الساحقة من قبل؛ فقد أثبت ليتلوود عام 1914 أن تخميناً آخر يبدو مقبولاً حول الأعداد الأولية يفشل، ويقع أول مثال مضاد في مكان ما بعد $10^{300}$.

Riemann Hypothesis
Riemann Hypothesis No machine-readable author provided. Conscious assumed (base · CC BY-SA 3.0

ولا نعرف أي نوع من الكائنات الرياضية هي أصفار زيتا بالفعل. ويشير تخمين هيلبرت-بوليا Hilbert–Pólya conjecture إلى أنها طيف لبعض المشغلات ذاتية الاقتران — نظام ميكانيكي كمي تشفر مستويات طاقته الأعداد الأولية. ولم يعثر أحد على هذا المشغل.

A gallery of mathematical attempts is shown as a workshop of unfinished bridges made from
A gallery of mathematical attempts is shown as a workshop of unfinished bridges made from Illustration · AI-generated (FLUX.1-dev)

ولا نعرف ما إذا كان من الممكن التوصل إلى إثبات باستخدام الأدوات الحالية. ويشك بعض علماء الرياضيات في أن المشكلة تتجاوز بالفعل التقنيات الحالية وتتطلب فكرة لم يطرحها أحد بعد. ويشك آخرون في أنها مستقلة عن البديهيات القياسية لنظرية المجموعات، ولا يمكن إثبات صحتها أو خطئها مما نقبله بالفعل.

وما نعرفه هو أن الأصفار تستمر في السير على الخط الحرج، بإيقاعها الغريب والمتباعد بشكل غير متساوٍ، وأن مثالاً مضاداً قد يكون في الانتظار أو لا يكون في مكان ما بعد التريليونات. والخط نفسه لا يهتم.

१८५९ में एक शर्मीले जर्मन गणितज्ञ ने अभाज्य संख्याओं पर आठ पृष्ठों का एक पत्र प्रकाशित किया जिसमें एक बिना सोचे समझे लिखा गया वाक्य शामिल था। एक सौ सड़सठ साल बाद, वह वाक्य इसे साबित करने वाले किसी भी व्यक्ति के लिए दस लाख डॉलर का है, और उत्तर अभी करीब नहीं है।

नवंबर १८५९ में, Bernhard Riemann को बर्लिन एकेडमी ऑफ साइंसेज का एक संबंधित सदस्य चुना गया था। प्रथा के अनुसार, उन्होंने एक लघु पत्र प्रस्तुत किया। यह आठ पृष्ठ लंबा था, जिसका शीर्षक था *Ueber die Anzahl der Primzahlen unter einer gegebenen Grösse* — "दिए गए परिमाण से कम अभाज्य संख्याओं की संख्या पर" — और उस समय लगभग किसी ने इसे नहीं पढ़ा। रीमान तैंतीस वर्ष के थे, तपेदिक (टीबी) से पीड़ित थे, और आत्म-प्रचार में उनकी कोई रुचि नहीं थी। उन्होंने इस विषय पर फिर कभी कोई पत्र प्रकाशित नहीं किया। सात साल बाद उनकी मृत्यु हो गई।

उन आठ पृष्ठों के बीच में एक ही वाक्य छिपा हुआ है जिसमें रीमान टिप्पणी करते हैं कि एक निश्चित दावा "बहुत संभावित" है, स्वीकार करते हैं कि वे इसे साबित नहीं कर सकते, और आगे बढ़ जाते हैं। वह दावा अब गणित में सबसे प्रसिद्ध अनसुलझी समस्या है।

kmyc89's modify the Riemann hypothesis formula
kmyc89's modify the Riemann hypothesis formula kmyc89 · BY-SA 2.0

यह समस्या अभाज्य संख्याओं के बारे में है — २, ३, ५, ७, ११, १३, इत्यादि, अंकगणित के परमाणु। वे यादृच्छिक लगते हैं। ऐसा कोई सूत्र नहीं है जो अगली अभाज्य संख्या को बाहर निकाल दे। लेकिन कुल मिलाकर एक पैटर्न है: जैसे-जैसे आप संख्या रेखा पर ऊपर जाते हैं, अभाज्य संख्याएँ एक पूर्वानुमेय दर से कम होती जाती हैं। १७९० के दशक में एक किशोर Carl Friedrich Gauss ने देखा था कि किसी बड़े मान $x$ से कम अभाज्य संख्याओं की संख्या लगभग $x/\ln x$ होती है। वे इसे सिद्ध नहीं कर सके। यह कथन, अंततः १८९६ में सिद्ध हुआ, Prime Number Theorem (अभाज्य संख्या प्रमेय) बन गया।

रीमान का आठ पृष्ठ का पत्र और आगे गया। उन्होंने एक ऐसा फ़ंक्शन लिया जिसके साथ स्विस गणितज्ञ यूलर ने एक सदी पहले काम किया था — योग $1 + 1/2^s + 1/3^s + 1/4^s + \dots$ — और इसे वास्तविक संख्याओं से जटिल तल (कॉम्प्लेक्स प्लेन) में विस्तारित किया। यह Riemann zeta function (रिमान ज़ेटा फ़ंक्शन) है। फिर उन्होंने $x$ से कम अभाज्य संख्याओं की गिनती के लिए एक सटीक सूत्र लिखा, जिसमें एक त्रुटि पद था जो ज़ेटा फ़ंक्शन के *शून्यों* (zeros) पर निर्भर करता था: वे स्थान जहाँ फ़ंक्शन शून्य के बराबर होता है।

A nineteenth-century Goettingen study shows Bernhard Riemann's working world through physi
A nineteenth-century Goettingen study shows Bernhard Riemann's working world through physi Illustration · AI-generated (FLUX.1-dev)

महत्वपूर्ण रेखा (क्रिटिकल लाइन)

अधिकांश शून्य उबाऊ होते हैं। ज़ेटा फ़ंक्शन प्रत्येक नकारात्मक सम पूर्णांक ( $-2, -4, -6, \dots$ ) पर समाप्त हो जाता है; इन्हें तुच्छ (ट्रिवियल) कहा जाता है। दिलचस्प शून्य — गैर-तुच्छ शून्य — जटिल तल की एक ऊर्ध्वाधर पट्टी में कहीं स्थित होते हैं। रीमान ने अनुमान लगाया कि उनमें से प्रत्येक एक ही ऊर्ध्वाधर रेखा पर स्थित है, वह रेखा जहाँ वास्तविक भाग आधा के बराबर होता है। यही रिमान परिकल्पना (रिमान हाइपोथीसिस) है। एक वाक्य। कोई प्रमाण नहीं।

'Honk If You Believe the Riemann Hypothesis'
'Honk If You Believe the Riemann Hypothesis' chris.rycroft · BY 2.0

परिणाम, यदि यह सच है, तो बिल्कुल सटीक हैं। अभाज्य संख्याएँ यथासंभव सुचारू रूप से वितरित की जाती हैं। अभाज्य संख्या प्रमेय में त्रुटि पद बिल्कुल सटीक हो जाता है। संख्या सिद्धांत में सैकड़ों प्रमेय, जो वर्तमान में "आरएच (रिमान हाइपोथीसिस) मानते हुए" शब्दों के साथ प्रकाशित हैं, एक ही दोपहर में बिना किसी शर्त के सच हो जाएंगे।

प्रगति बहुत धीमी रही है। १९१४ में G. H. Hardy ने साबित किया कि अनंत शून्य महत्वपूर्ण रेखा पर स्थित हैं। उन्होंने यह साबित नहीं किया कि वे सभी वहाँ स्थित हैं। बाद में, १९४० के दशक में Atle Selberg और १९७० के दशक में नॉर्मन लेविंसन के काम ने दिखाया कि कम से कम एक सकारात्मक अंश — वर्तमान अनुमानों के अनुसार चालीस प्रतिशत से अधिक — रेखा पर स्थित हैं। कंप्यूटरों ने सीधे पहले दस लाख करोड़ शून्यों की जाँच की है। गणना की सटीकता के भीतर, प्रत्येक शून्य रेखा पर स्थित है। इनमें से कोई भी प्रमाण नहीं है। अरबों अंकों की दूरी पर छिपा हुआ एक भी विद्रोही शून्य, इस परिकल्पना को ध्वस्त करने के लिए पर्याप्त होगा।

A mathematician's dream of waking after a thousand years is staged as a quiet archive room
A mathematician's dream of waking after a thousand years is staged as a quiet archive room Illustration · AI-generated (FLUX.1-dev)

कोई परवाह क्यों करे

१९०० में David Hilbert ने पेरिस में एक प्रसिद्ध व्याख्यान दिया जिसमें उन्होंने तेईस समस्याओं की सूची दी जिन्हें वे चाहते थे कि नई सदी हल करे। रिमान परिकल्पना आठवें नंबर पर थी। माना जाता है कि उन्होंने कहा था कि यदि वे एक हजार साल की नींद के बाद जीवित हुए, तो उनका पहला प्रश्न यही होगा कि क्या इसे सिद्ध किया गया है।

Riemann's Hypothesis. This is why it is true
Riemann's Hypothesis. This is why it is true 52Dante21 · BY-SA 4.0

२००० में Clay Mathematics Institute ने सात अनसुलझी समस्याओं को चुना और प्रत्येक पर दस लाख डॉलर का इनाम रखा। रिमान परिकल्पना उन सात में से एकमात्र है जो हिल्बर्ट की सूची में भी दिखाई देती है। अन्य भी ज्यादातर अनसुलझी ही रही हैं; एक, पोंकारे परिकल्पना, ग्रिगोरी पेरेलमैन द्वारा हल की गई थी, जिन्होंने पैसे लेने से इनकार कर दिया था।

A supercomputer room tests the hypothesis through physical scale: rows of machines
A supercomputer room tests the hypothesis through physical scale: rows of machines Illustration · AI-generated (FLUX.1-dev)

सबसे अजीब विकास संख्या सिद्धांत से बिल्कुल नहीं आया। १९७२ में, युवा संख्या सिद्धांतकार ह्यूग मोंटगोमरी प्रिंसटन में इंस्टीट्यूट फॉर एडवांस्ड स्टडी का दौरा कर रहे थे। चाय पर उन्होंने भौतिक विज्ञानी Freeman Dyson को एक सांख्यिकीय पैटर्न का वर्णन किया जो उन्होंने ज़ेटा शून्यों के अंतर में पाया था। डायसन ने इसे तुरंत पहचान लिया: यह वही पैटर्न था जो भारी परमाणु नाभिक के ऊर्जा स्तरों, एक यादृच्छिक हर्मिटियन मैट्रिक्स के आइगेन मानों को नियंत्रित करता है। संख्या सिद्धांत और क्वांटम भौतिकी, दो क्षेत्र जिनके पास एक-दूसरे से बात करने का कोई कारण नहीं था, स्पष्ट रूप से एक ही वस्तु का वर्णन कर रहे थे।

हम अभी भी क्या नहीं जानते हैं

हम नहीं जानते कि परिकल्पना सच है या नहीं। संख्यात्मक साक्ष्य अत्यधिक हैं, लेकिन गणित पहले भी अत्यधिक संख्यात्मक साक्ष्यों से धोखा खा चुका है; लिटिलवुड ने १९१४ में साबित किया कि अभाज्य संख्याओं के बारे में एक और प्रशंसनीय दिखने वाली परिकल्पना विफल हो जाती है, जिसका पहला विपरीत उदाहरण $10^{300}$ से परे कहीं स्थित है।

Riemann Hypothesis
Riemann Hypothesis No machine-readable author provided. Conscious assumed (base · CC BY-SA 3.0

हम नहीं जानते कि ज़ेटा शून्य वास्तव में किस प्रकार की गणितीय वस्तु हैं। Hilbert–Pólya conjecture (हिल्बर्ट-पोलिया परिकल्पना) सुझाव देती है कि वे कुछ स्व-संबद्ध ऑपरेटर के स्पेक्ट्रम हैं — कुछ क्वांटम-मैकेनिकल सिस्टम जिसके ऊर्जा स्तर अभाज्य संख्याओं को एन्कोड करते हैं। किसी ने ऑपरेटर की खोज नहीं की है।

A gallery of mathematical attempts is shown as a workshop of unfinished bridges made from
A gallery of mathematical attempts is shown as a workshop of unfinished bridges made from Illustration · AI-generated (FLUX.1-dev)

हम नहीं जानते कि वर्तमान उपकरणों के साथ प्रमाण प्राप्त करना भी संभव है या नहीं। कुछ गणितज्ञों को संदेह है कि समस्या वास्तव में वर्तमान तकनीकों से परे है और इसके लिए एक ऐसे विचार की आवश्यकता होगी जो अभी तक किसी के पास नहीं आया है। दूसरों को संदेह है कि यह मानक सेट-थ्योरी सिद्धांतों से स्वतंत्र है, जिसे हम पहले से स्वीकार करते हैं, उससे न तो सच और न ही झूठ साबित किया जा सकता है।

जो हम जानते हैं वह यह है कि शून्य महत्वपूर्ण रेखा पर मार्च करना जारी रखते हैं, अपने अजीब असमान रूप से दूरी वाले लय में, और दस लाख करोड़ से परे कहीं न कहीं एक विपरीत उदाहरण इंतजार कर रहा हो सकता है या नहीं भी। रेखा स्वयं परवाह नहीं करती।

Image sources & licenses (7)
  1. kmyc89's modify the Riemann hypothesis formula — kmyc89, BY-SA 2.0. Source (openverse)
  2. 'Honk If You Believe the Riemann Hypothesis' — chris.rycroft, BY 2.0. Source (openverse)
  3. Riemann's Hypothesis. This is why it is true — 52Dante21, BY-SA 4.0. Source (openverse)
  4. Riemann Hypothesis — No machine-readable author provided. Conscious assumed (based on copyright claim, CC BY-SA 3.0. Source (wikipedia)
  5. リーマン予想 — 蔡蜜, CC BY-SA 4.0. Source (commons)
  6. The vignette shows an almost correct statement of the Riemann hypothesis. — AstroOgier, CC BY-SA 4.0. Source (commons)
  7. Applying an axis of symmetry to a funicular polygon, produced by the Riemann zeta (s) function, is possible only if the real part of (s) is — 52Dante21, CC BY-SA 4.0. Source (commons)

Mentioned in this article

Sources

  1. Riemann, B. (1859). "Ueber die Anzahl der Primzahlen unter einer gegebenen Grösse." Monatsberichte der Berliner Akademie.
  2. Edwards, H. M. (1974). Riemann's Zeta Function. Academic Press.
  3. Derbyshire, J. (2003). Prime Obsession: Bernhard Riemann and the Greatest Unsolved Problem in Mathematics. Joseph Henry Press.
  4. Sabbagh, K. (2003). The Riemann Hypothesis: The Greatest Unsolved Problem in Mathematics. Farrar, Straus and Giroux.
  5. Bombieri, E. (2000). "Problems of the Millennium: The Riemann Hypothesis." Clay Mathematics Institute official problem description.
Production storyboard

The 90-second video script behind this article.

EN script

There's a math problem so important that there's a one million dollar prize for solving it. It's been 160 years. The greatest minds in history have tried. No one has succeeded. The Riemann Hypothesis is about prime numbers and where they appear on the number line. Primes seem random - 2, 3, 5, 7, 11, 13. No obvious pattern. But in 1859, Bernhard Riemann found a formula involving complex numbers that describes how primes are distributed. The only problem? It only works if a certain condition is true. All the non-trivial zeros of a particular function must lie on a single line. We've checked the first ten trillion zeros. They all line up. But that's not a proof. There could be one exception hiding somewhere in infinity that breaks everything. Why does it matter? If the hypothesis is true, we understand primes deeply. Cryptography becomes clearer. The distribution of primes follows an elegant law. If it's false? Huge parts of mathematics collapse. Thousands of papers assume it's true. The million dollar prize isn't for proving it true or false - it's for either. Just knowing the answer would reshape mathematics. For 160 years, this simple statement has resisted every attack. The smartest humans who ever lived couldn't crack it. Maybe you will. The prize is still waiting.

HI script

Ek math problem itna important hai ki ise solve karne ke liye ek million dollar ka prize hai. 160 saal ho gaye. History ke greatest minds ne try kiya. Koi succeed nahi hua.

Ek math problem itna important hai ki ise solve karne ke liye ek million dollar ka prize hai. 160 saal ho gaye. History ke greatest minds ne try kiya. Koi succeed nahi hua. Riemann Hypothesis prime numbers ke baare mein hai aur wo number line pe kahan appear karte hain. Primes random lagte hain - 2, 3, 5, 7, 11, 13. Koi obvious pattern nahi. Lekin 1859 mein, Bernhard Riemann ne complex numbers use karke ek formula dhundha jo describe karta hai primes kaise distributed hain. Sirf ek problem? Ye tabhi kaam karta hai jab ek certain condition true ho. Ek particular function ke sabhi non-trivial zeros ek single line pe hone chahiye. Humne pehle ten trillion zeros check kiye hain. Sab line up karte hain. Lekin wo proof nahi hai. Infinity mein kahin ek exception chhupi ho sakti hai jo sab kuch break kar de. Ye matter kyun karta hai? Agar hypothesis true hai, hum primes ko deeply samajhte hain. Cryptography clearer ho jati hai. Primes ki distribution elegant law follow karti hai. Agar false hai? Mathematics ke huge parts collapse ho jaate hain. Hazaaron papers assume karte hain ki ye true hai. Million dollar prize isse true ya false prove karne ke liye nahi hai - dono ke liye hai. Bas answer jaanna mathematics reshape kar dega. 160 saal se, ye simple statement ne har attack resist kiya hai. Jo bhi smartest humans the, wo crack nahi kar sake. Shayad tum karoge. Prize abhi bhi wait kar raha hai.

  1. 01

    A sealed prize envelope and polished medal rest on a velvet-draped table beside an empty chalk tray and a shadowed portrait silhouette, evoking the Clay Mathematics Institute's million-dollar challenge without any visible text.

  2. 02

    A nineteenth-century study in Göttingen features a desk with an oil lamp, a closed notebook, and a physical model of the complex plane made from a taut vertical wire holding small beads, suggesting the critical line without markings.

  3. 03

    A quiet archive room depicts a mathematician's imagined return after a thousand years, with an old coat, a modern desk, an unopened proof box, and a sleeping cot, conveying the enduring question of proof through posture and waiting.

  4. 04

    A supercomputer room shows rows of machines and cooling pipes, with a technician replacing a drive, while beads on a taut wire represent checked zeros extending beyond the table edge into darkness, illustrating vast numerical verification.

  5. 05

    A workshop displays unfinished bridges made of stone, brass, and thread, each stopping short of a central span, with turned portrait frames and worn tools honoring the efforts of past mathematicians without naming them.

  6. 06

    A long polished wire stretches across a dark room into shadow, carrying a few bright beads near the viewer, with a sealed prize box beyond reach, symbolizing the frontier of the critical line and the infinite uncertainty ahead.