number-theory / Transcendence theory

Transcendence in the affine case of Erdős Problem 270

The manuscript claims Ca,bC_{a,b} is transcendental for every a≥1a\ge1 and b≥1−ab\ge1-a, settling the positive integer-valued affine subclass of Erdős Problem 270. Two pieces of context matter. Problem 270 as Erdős and Graham posed it, for every f(n)→∞f(n)\to\infty, was already answered no by Crmarić and Kovač in 2025: for any α>0\alpha>0 some such ff makes the series sum to α\alpha. What survives is the non-decreasing case, and the affine family sits inside it. Separately, the checkable parts here were already known - the short irrationality proof for C1,0C_{1,0} is Crmarić and Kovač's, posted by Kovač on the Erdős Problems forum in July 2026 and credited in the repository, and base-case transcendence follows a 2023 MathOverflow argument. The new content is the extension to the whole affine family, which is the part with neither formalization nor review.

12Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

number-theoryAug 22, 2026Significance 12/100Registry: unreviewed

Transcendence in the affine case of Erdős Problem 270

Prior state unknown→proved

The manuscript claims Ca,bC_{a,b} is transcendental for every a≥1a\ge1 and b≥1−ab\ge1-a, settling the positive integer-valued affine subclass of Erdős Problem 270. Two pieces of context matter. Problem 270 as Erdős and Graham posed it, for every f(n)→∞f(n)\to\infty, was already answered no by Crmarić and Kovač in 2025: for any α>0\alpha>0 some such ff makes the series sum to α\alpha. What survives is the non-decreasing case,…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

The manuscript claims Ca,bC_{a,b} is transcendental for every a≥1a\ge1 and b≥1−ab\ge1-a, settling the positive integer-valued affine subclass of Erdős Problem 270. Two pieces of context matter. Problem 270 as Erdős and Graham posed it, for every f(n)→∞f(n)\to\infty, was already answered no by Crmarić and Kovač in 2025: for any α>0\alpha>0 some such ff makes the series sum to α\alpha. What survives is the non-decreasing case, and the affine family sits inside it. Separately, the checkable parts here were already known - the short irrationality proof for C1,0C_{1,0} is Crmarić and Kovač's, posted by Kovač on the Erdős Problems forum in July 2026 and credited in the repository, and base-case transcendence follows a 2023 MathOverflow argument. The new content is the extension to the whole affine family, which is the part with neither formalization nor review.

The manuscript claims Ca,bC_{a,b} is transcendental for every a≥1a\ge1 and b≥1−ab\ge1-a, settling the positive integer-valued affine subclass of Erdős Problem 270. Two pieces of context matter. Problem 270 as Erdős and Graham posed it, for every f(n)→∞f(n)\to\infty, was already answered no by Crmarić and Kovač in 2025: for any α>0\alpha>0 some such ff makes the series sum to α\alpha. What survives is the non-decreasing case, and the affine family sits inside it. Separately, the checkable parts here were already known - the short irrationality proof for C1,0C_{1,0} is Crmarić and Kovač's, posted by Kovač on the Erdős Problems forum in July 2026 and credited in the repository, and base-case transcendence follows a 2023 MathOverflow argument. The new content is the extension to the whole affine family, which is the part with neither formalization nor review.

Recorded attempts

Evidence graph

Connected research record