Imagen de Portada

Resolution of Erdős Problem #728: a writeup of Aristotle's Lean proof

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Sothanaphan, Nat
Formato:	Preprint
Publicado:	2026
Materias:	Number Theory
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Irregular Stanley sequences plausibly do not have growth $Θ(n^2/\log n)$
por: Sothanaphan, Nat
Publicado: (2025)

An improved lower bound to Erdos' problem concerning products of distances for fixed diameter
por: Sothanaphan, Nat
Publicado: (2025)

A proof of the Erdős primitive set conjecture
por: Lichtman, Jared Duker
Publicado: (2022)

Partial Resolution of the Erdös-Straus, Sierpinski, and Generalized Erdös-Straus Conjectures Using New Analytical Formulas
por: Mballa, Philemon Urbain
Publicado: (2025)

A Complete Answer to Erdős Problem 690
por: Wang, Shouqiao, et al.
Publicado: (2026)

Sparse Admissible Sets and a Problem of Erdős and Graham
por: Weisenberg, Desmond
Publicado: (2024)

On a theorem of Erdős and Loxton
por: Lebowitz-Lockard, Noah
Publicado: (2025)

Resolution of two conjectures by Erdős and Hall concerning separable numbers
por: Cambie, Stijn, et al.
Publicado: (2025)

Note on a theorem of Birch and Erdős
por: Ding, Yuchen, et al.
Publicado: (2025)

One inequality inspired by Erdős
por: Batíková, Barbora, et al.
Publicado: (2025)

Another inequality inspired by Erdős
por: Batíková, Barbora, et al.
Publicado: (2025)

Erdős inequality for primitive sets
por: Kucheriaviy, Petr
Publicado: (2024)

On a Romanoff type problem of Erdős and Kalmár
por: Ding, Yuchen
Publicado: (2025)

Erdős--Turán Theorem and Eulerian Integers
por: Füredi, Erik, et al.
Publicado: (2026)

A solution to the Straus-Erdős conjecture
por: Bradford, Kyle
Publicado: (2026)

On an iterated arithmetic function problem of Erdos and Graham
por: Steinerberger, Stefan
Publicado: (2025)

On Erdős covering systems in global function fields
por: Li, Huixi, et al.
Publicado: (2024)

Nontrivial rational points on Erdős-Selfridge curves
por: Pratt, Kyle
Publicado: (2024)

On one of Erdős' Problems -- An Efficient Search for Benelux Pairs
por: Hercher, Christian
Publicado: (2025)

Resolution of the Skolem Problem for $k$-Generalized Lucas Sequences
por: Mohapatra, Monalisa, et al.
Publicado: (2026)

Semi-Autonomous Mathematics Discovery with Gemini: A Case Study on the Erdős Problems
por: Feng, Tony, et al.
Publicado: (2026)

Improved Average Bounds for an Inequality of Alladi, Erdös, and Vaaler
por: O'Kuhn, Cooper
Publicado: (2025)

Exact Polynomial Families Solving the Erdos-Straus Equation
por: Ghermoul, Bilal
Publicado: (2025)

Further verification and empirical evidence for the Erdős-Straus conjecture
por: Mihnea, Spiridon, et al.
Publicado: (2025)

Bounds for Erdős covering systems in global function fields
por: Wang, Biao
Publicado: (2024)

A generalization of the Erdős-Sierpiński conjecture
por: Fatehizadeh, Amirali
Publicado: (2026)

On an Erdős--Kac-type conjecture of Elliott
por: Gorodetsky, Ofir, et al.
Publicado: (2023)

On a problem of Erdős and Ingham
por: Yip, Fredy
Publicado: (2025)

A question of Erdős and Graham on Egyptian fractions
por: Conlon, David, et al.
Publicado: (2024)

High and odd moments in the Erdős--Kac theorem
por: Gorodetsky, Ofir
Publicado: (2024)

On a Conjecture of Erdős over Function Fields
por: Xie, Likun
Publicado: (2025)

On Erdős problem $\# 648$
por: Cambie, Stijn
Publicado: (2025)

Improved bounds for the Mayer-Erdős phenomenon on similarly ordered Farey fractions
por: van Doorn, Wouter
Publicado: (2025)

On a Problem by Erdős and Mirsky on the ratio of the number of divisors of consecutive integers
por: Schlage-Puchta, Jan-Christoph
Publicado: (2025)

Forbidden subgraphs in divisor graphs and an Erdős divisibility problem
por: Davis, Damek
Publicado: (2026)

The Erdős-Ginzburg-Ziv theorem constant of finite groups
por: Zhao, Yang, et al.
Publicado: (2026)

Multivariate and quantitative Erdős-Kac laws for Beatty sequences
por: Yip, Fredy
Publicado: (2026)

Variants of the Erdős distinct sums problem and variance method
por: Costa, Simone, et al.
Publicado: (2024)

New proofs of two identities of Ramanujan
por: Morton, Patrick
Publicado: (2023)

Resolution of Erdős' problems about unimodularity
por: Cambie, Stijn
Publicado: (2025)