Resumo:
Em menos de dez dias, o mundo da matemática experimentou a maior montanha-russa! Em 6 de outubro, a OpenAI afirmou que a IA havia provado a hipótese quase Riemanniana. O matemático Alex Kontororvin disse sem rodeios: Se alguém encontrar esse resultado, com certeza ganhará a Medalha Fields imediatamente, sem suspense!
Outros estudiosos também comentaram positivamente.
Este é simplesmente um golpe de redução de dimensão da vida baseada em silício para os humanos!
Mas algumas pessoas não se renderam nem se retiraram.
Agora, com a ajuda da IA, os matemáticos provaram alguma forma da Hipótese Generalizada de Riemann!
Poucos dias depois, boas notícias chegaram uma após a outra.
O resultado desta hipótese quase-Riemann traz um importante resultado de complexidade computacional:
Burgisser provou a conjectura de Valiant: no campo complexo, VP! =VNP
Depois disso, três matemáticos humanos completaram a vitória final e resolveram completamente um problema clássico que estava pendente há 19 anos.
E eles também deixaram um comunicado:
Nenhuma ferramenta de inteligência artificial foi utilizada neste trabalho.
Nenhuma ferramenta de inteligência artificial foi usada neste trabalho.
Ataque durante a noite! A humanidade retoma a iniciativa
Em 6 de outubro, a OpenAI não teve nenhum lampejo de inspiração ou epifania. A IA deles era como uma super escavadeira, provando violentamente a hipótese quase-Riemann.
O teórico dos números Hector Pasten expressou seu espanto inequívoco com os resultados da OpenAI ao excluir os zeros Landau-Siegel, enfatizando que este era um "problema resolvido" e não apenas um progresso.
Alguns internautas pediram a Claude Fable 5.5 para explicar a prova da hipótese quase-Riemann de 199 páginas da OpenAI, e a avaliação foi muito alta:
Este é o primeiro intervalo fixo sem ponto zero.
Embora esta não seja a hipótese de Riemann em si, se esta afirmação for verdadeira, é atualmente a conclusão mais próxima da hipótese de Riemann.
Mas se a IA consegue ver através deste nível de estrutura subjacente, que valor têm os matemáticos humanos?
O pânico se espalha nos círculos matemáticos.
Mas um verdadeiro mestre não lamentará. Agora que o caminho está livre, pise no acelerador e siga em frente!
Apenas 6 dias depois, em 12 de outubro, um novo artigo apareceu repentinamente na plataforma de pré-impressão Hexagon.
Os autores são os matemáticos humanos Cureton e Thorner.
Link: https://hexagonmath.org/2610.00200v1
Eles não tiveram tempo de lamentar a primavera e o outono. Em vez disso, eles fizeram um movimento ousado com olhos extremamente cruéis:
Pan.
Eles aplicaram diretamente as ferramentas aprimoradas pela IA a um objeto matemático mais amplo e complexo:
função Hecke L de ordem finita
.Qual é a função L? É a "versão evoluída definitiva" da função Riemann Zeta.
Na moderna teoria dos números, grandes provas como o Último Teorema de Fermat são quase inseparáveis dela.
Cureton e Thorner usaram a descoberta quase riemanniana fornecida pela IA para alcançar um resultado surpreendente:
Todas as funções Hecke L de ordem finita não têm absolutamente nenhum zero no lado direito de "1-1/6000".
Link: https://hexagonmath.org/pdf/2610.00200v1
Não importa se você não entende. Para usar uma analogia.
O ponto zero é como um recife no mar.
No passado, esta área marítima estava cheia de neblina, dificultando a movimentação dos navios. Agora, dois matemáticos usaram o radar de IA para traçar à força uma “zona segura”.
Não há absolutamente nenhum recife nesta área.
A zona segura foi estabelecida. O primeiro pedaço de território foi arrebatado pelos humanos.
Mas a diversão apenas começou.
Fúria Extrema: Estrangulamento Extremo de 1/6000 a 1/32
No momento em que 1/6000 apareceu, o DNA dos geeks da matemática ao redor do mundo mudou.
Isso é muito pequeno. Muito conservador.
Como a moldura da porta já está solta, por que não demolir também a parede?
Um hackathon de código aberto varreu o mundo e explodiu em um instante.
Os cérebros mais inteligentes do mundo estão conectados através da Internet e começam a levar essa constante ao limite.
Esta é a cena mais apaixonante da matemática moderna, iniciando um estrangulamento de grupo.
A lógica é implacavelmente simplificada. Os erros são desossados e concretizados. Os limites são empurrados para fora repetidamente.
1/1000. 1/500. 1/100.
A constante diminui drasticamente como uma queda livre!
No final, toda a comunidade fixou o limite de segurança desta "Zona Livre de Ponto Zero" em um número extremamente exagerado:
1/32
.
A zona segura foi ampliada centenas de vezes!
Tem medo de cometer erros? Preocupado com o fato de a intuição humana não ser confiável? Não importa, vá direto na máquina para verificar!
A comunidade de código aberto usou o árbitro mais implacável——
Provador de Teorema Lean
.Esta é uma linguagem de verificação formal que aceita apenas lógica morta. Qualquer pequena lacuna lógica fará com que o programa trave.
A prova relevante é uma prova Lean formal gerada pelo agente matemático AxiomProver, que está no Github de código aberto.
https://github.com/AxiomMath/DedekindZetaZeroFree
O limite de 1/32 não é apenas deduzido por humanos, mas também estabelecido pela lógica da máquina.
Este não é o único subproduto.
Sele a garganta com uma espada! 19 anos de problemas não resolvidos foram eliminados
Todos os preparativos, todo o carnaval, estão esperando por esse momento de hoje.
Na plataforma de pré-impressão arXiv, surgiu um artigo de grande sucesso co-assinado por Frei, Somos e Widmer.
https://arxiv.org/abs/2610.18491
O tsunami acadêmico desencadeado pela OpenAI finalmente destruiu a rocha mais dura.
Meta:
fronteira Ellenberg–Venkatesh em 2007.
Isso é uma pedra no sapato da teoria algébrica dos números.
Em 2007, dois gigantes da matemática deram um limite extremamente perfeito para o grupo de campos numéricos ℓ-torção.
Mas tem uma falha fatal:
É condicional.
Este é o chamado "castelo no ar".A prova dos dois grandes deve ser baseada na premissa de que “a Hipótese Generalizada de Riemann (GRH) está estabelecida”.
Uma vez que a premissa desmorona, a conclusão é instantaneamente inválida.
Nos últimos 19 anos, inúmeros estudiosos de destaque tentaram remover essa muleta e se levantaram. Todos falharam. Porque não existem ferramentas. Porque a rocha subjacente ainda não foi escavada.
Até hoje.
Frei, Somos e Widmer viram a "Zona Segura 1/32" que o grupo da frente havia conquistado.
Esta é a base que eles esperam há 19 anos!
Sem qualquer hesitação, os três espadachins desembainharam suas 88 espadas.
Eles transformaram os últimos resultados da região livre de zero nas equações antigas. A cadeia lógica que uma vez foi quebrada, com o apoio de uma nova e poderosa teoria, se encaixa instantaneamente!
Derivação. Simplificar. Assassino. A conclusão é deslumbrante:
Em 2007, o limite de torção ℓ de Ellenberg–Venkatesh do grupo de campos numéricos foi provado incondicionalmente.
Chega de suposições! Não há mais pré-requisitos! O castelo no ar caiu repentinamente no chão e se transformou em uma fortaleza de aço indestrutível!
O fantasma de 19 anos foi exterminado.
Uma peça central do quebra-cabeça da teoria algébrica dos números foi pressionada firmemente pelos humanos.
Não preciso de IA
Se a história termina aqui, este é apenas um revezamento acadêmico extremamente bem-sucedido.
Mas o que realmente torna este artigo completamente mágico é a frase no final.
No final do capítulo que anuncia o fim deste problema de 19 anos, Frei, Somos e Widmer não expressaram lamentações prolixas ou lisonjas em relação à IA.
Eles apenas deixaram uma declaração fria, bem-humorada e um tanto cruel:
Declaramos que nenhuma ferramenta de inteligência artificial foi utilizada neste trabalho.
Com certeza.
Esta frase é como um forte tapa na cara, mas também como um rugido longo e alegre.
Comentários