RespostasPublicado16 fontes
Como um modelo de IA encontrou um contraexemplo para a conjectura de distância unitária de Erdős
Um modelo de raciocínio da OpenAI construiu conjuntos de pontos no plano com pelo menos n^(1+δ) pares a distância 1 para infinitos valores de n, contrariando a conjectura de Erdős. A construção usa teoria algébrica dos números — incluindo campos CM e torres infinitas de campos de classes do tipo Golod–Shafarevich —...
Publicado porEditado com GPT-5.5Imagens geradas com GPT Image 2
Resposta de pesquisa
Principais conclusões
- Um modelo de raciocínio da OpenAI construiu conjuntos de pontos no plano com pelo menos n^(1+δ) pares a distância 1 para infinitos valores de n, contrariando a conjectura de Erdős.
- A construção usa teoria algébrica dos números — incluindo campos CM e torres infinitas de campos de classes do tipo Golod–Shafarevich — em vez de padrões geométricos como grades.
- Matemáticos como Noga Alon, Timothy Gowers e outros publicaram uma versão resumida e verificada do argumento, analisando as ideias do contraexemplo gerado por IA.
Prompt de IA
openai.comCreate a landscape editorial hero image for this Studio Global article: How did an OpenAI internal reasoning model reportedly disprove Paul Erdős’s 1946 unit distance conjecture in discrete geometry, what does th. Article summary: An OpenAI document reports that an internal reasoning model found a construction of planar point sets with more unit-distance pairs than Erdős’s 1946 conjecture allows, namely ν(n) ≥ n^(1+δ) for infinitely many n and som. Topic tags: general, academic, general web, user generated. Reference image context from search candidates: Reference image 1: visual subject "# Erdős Unit Distance Problem. The Erdős unit distance problem asks to determine the maximum number u(n) of occurrences of the same distance among n points in the plane. dense unit" source context "Erdős Unit Distance Problem -- from Wolfram MathWorld" Reference image 2: visual subject "A textual summar
Durante quase 80 anos, uma pergunta simples da geometria intrigou matemáticos: quantos pares de pontos em um plano podem estar exatamente a distância 1 entre si?
O problema foi formulado em 1946 pelo matemático húngaro Paul Erdős e ficou conhecido como o problema da distância unitária. Durante décadas, acreditava‑se que as melhores construções possíveis produziam apenas um número quase linear dessas distâncias. Agora, um novo resultado associado a um modelo de raciocínio da OpenAI apresenta um contraexemplo, mostrando que é possível obter significativamente mais pares a distância 1 do que se imaginava.
A seguir, veja o que exatamente pergunta o problema, como funciona a ideia geral da construção encontrada e por que o resultado chamou tanta atenção na matemática.
O que é o problema da distância unitária
Considere qualquer conjunto finito de pontos no plano. Alguns pares desses pontos podem estar exatamente a distância 1.
Define‑se:
- ν(P): número de pares de pontos de um conjunto P separados por distância 1
- ν(n): o maior valor possível de ν(P) entre todos os conjuntos de n pontos no plano
A pergunta central é: como ν(n) cresce quando aumentamos n?
Studio Global AI
Continue sua pesquisa
Esta página inclui uma resposta baseada na fonte que você pode continuar em Studio Global.
As pessoas também perguntam
Qual é a resposta curta para "Como um modelo de IA encontrou um contraexemplo para a conjectura de distância unitária de Erdős"?
Um modelo de raciocínio da OpenAI construiu conjuntos de pontos no plano com pelo menos n^(1+δ) pares a distância 1 para infinitos valores de n, contrariando a conjectura de Erdős.
Quais são os pontos-chave para validar primeiro?
Um modelo de raciocínio da OpenAI construiu conjuntos de pontos no plano com pelo menos n^(1+δ) pares a distância 1 para infinitos valores de n, contrariando a conjectura de Erdős. A construção usa teoria algébrica dos números — incluindo campos CM e torres infinitas de campos de classes do tipo Golod–Shafarevich — em vez de padrões geométricos como grades.
O que devo fazer a seguir na prática?
Matemáticos como Noga Alon, Timothy Gowers e outros publicaram uma versão resumida e verificada do argumento, analisando as ideias do contraexemplo gerado por IA.