formal registration · pending
Artifact ↗Nonquadraticity of Lambert series values and improved bounds for Erdős Problem 1049
For rational bases , is irrational whenever , and a formalized refinement reaches . The previous thresholds were (Bundschuh and Väänänen, 1994) and (W. Cook, September 2026, self-published). Problem 1049 itself stays open: , with , is still outside the region. Along the way, for every integer the numbers are linearly independent over , so the Erdős-Borwein constant is not quadratic irrational. Both follow from one degree criterion for real algebraic bases: no relation of degree at most over when , with .
Exact FrontierDelta
Scope and record
Occurred: Oct 7, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: lean-checked. Publication: announcement. AI contribution: ai-discovered. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.
Canonical aliases: Nonquadraticity of Lambert series values and improved bounds for Erdős Problem 1049 · Lambert Nonquadraticity · Problem 1049
Confidence: Not scored
Registry verification: lean checked · announcement · partial
Attribution
VibeMathed
registry · event recorded by
Generative AI
model · ai model contributor · OpenAI
model not named in the source (submitter: GPT-6 Astra via OpenAI Codex)
model · ai model contributor · OpenAI
Costa Lambrinoudis
human · human collaborator
Artifacts and verifiers
Compute record
No linked compute attempts recorded.
Lineage and corrections
erdosproblems.com forum thread for Problem 1049 evidence for this event
Nonquadraticity of Lambert series values and improved bounds for Erdős Problem 1049 evidence for this event
Nonquadraticity of Lambert series values and improved bounds for Erdős Problem 1049 parent of this event
This event attributed to Costa Lambrinoudis
Formal Conjectures: Erdős 1049 (open; integer-base variant) evidence for this event
This event attributed to model not named in the source (submitter: GPT-6 Astra via OpenAI Codex)
This event attributed to Generative AI
Erdos Problem 1049 evidence for this event
Twitter Announcement evidence for this event
W. Cook, Geometric Moments and Rational Lambert Values (earlier 0.405683 threshold) evidence for this event
For rational bases , is irrational whenever , and a formalized refinement reaches . The previous thresholds were (Bundschuh and Väänänen, 1994) and (W. Cook, September 2026, self-published). Problem 1049 itself stays open: , with , is still outside the region. Along the way, for every integer the numbers are linearly independent over , so the Erdős-Borwein constant is not quadratic irrational. Both follow from one degree criterion for real algebraic bases: no relation of degree at most over when , with . parent of this event
VibeMathed record: Nonquadraticity of Lambert series values and improved bounds for Erdős Problem 1049 evidence for this event
Act on this frontier