Pith. sign in

REVIEW 3 major objections 3 minor 2 references

A Million-dollar Proof

T0 review · 3 major / 3 minor · reviewed 2026-08-06 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read A deliberately invalid one-line proof of $N=1$, built by cancelling the summation signs out of a true geometric-series identity, is exactly the joke it appears to be.

desk verdict A self-aware one-page joke proof; the reader's unverdictable call is right, and the stress-test correctly identifies the binder-swap as the only real move. read the letter →

arxiv 2507.13365 v1 pith:TCJBGPMD submitted 2025-07-02 math.HO

Aaron Abrams This is my paper · ORCID
classification math.HO MSC 00A08
keywords N=1theoremgeometricseriessummationcancellationdummyindexinjectivefunctionPversusNPmathematicalhumorinvalidproof
topics P versus NP
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper is a short mathematical joke dressed as a serious announcement. It claims to prove the theorem $N=1$, starting from the identity $\sum_{N=0}^{\infty} 1/2^N = \sum_{N=0}^{\infty} N/2^N$ and then cancelling the summation signs and denominators to isolate $N$. The formal proof defines $f(x)=\sum_{N=0}^{\infty} x/2^N$, observes that $f$ is one-to-one, and concludes $N=1$ from $f(1)=f(N)$. The paper jokingly calls the identity 'almost surely false' while also acknowledging that both sides evaluate to $2$, and it closes with the corollary $P=NP$. The pith, read sympathetically, is that a true infinite-sum identity can be twisted into a false theorem when the bound index is treated as a free variable.

What carries the argument

The central object is the function $f(x)=\sum_{N=0}^{\infty} x/2^N$, which is injective; in fact $f(x)=2x$. The load-bearing step is the equality $f(1)=f(N)$, which would be a legitimate use of injectivity only if $N$ named a specific number. In the original identity, however, $N$ is a dummy summation index, so the same symbol on the right does not denote a free variable. The visible 'cancellation of the sigmas and the denominators' is shorthand for this equivocation, and it is what converts a true statement about two equal sums into a false theorem about an index.

What would settle it

Evaluate the two original sums numerically: $\sum_{N=0}^\infty 1/2^N = 2$ and $\sum_{N=0}^\infty N/2^N = 2$. Since the equality holds independently of what value is assigned to the letter $N$, trying the alleged conclusion with $N=2$ gives $f(1)=2$ while $f(2)=4$, so the injectivity step would assert $2=4$. That contradiction isolates the invalid cancellation as the exact place where the argument fails.

Watch

Extended reading notes

Core claim

The paper's central claim is Theorem 1: $N=1$. The proof works from the geometric-series identity $\sum_{N=0}^{\infty} 1/2^N = \sum_{N=0}^{\infty} N/2^N$, cancels the capital sigmas and the denominators from both sides, and thereby obtains $1=N$. The argument is then re-expressed with the injective map $f(x)=\sum_{N=0}^{\infty} x/2^N$, so that $f(1)=f(N)$ forces $N=1$. The identity itself is ordinary and true: both sums converge to $2$. The 'new twist' is not in the series but in the manipulation, and the paper's intended content is the parody of proof, not a mathematical fact.

Load-bearing premise

The whole argument assumes that one may cancel the summation signs and denominators from the two sides of the identity and afterwards treat the letter $N$ as a free number; reject that move and no reason remains to believe $N=1$.

Editorial extensions

If this is right

  • If the theorem were accepted, the paper's corollary $P=NP$ follows immediately, which is why the mock proof is inflated to 'million-dollar' status.
  • The same cancellation would prove $N=1$ for any choice of index letter, since the underlying identity does not single out a particular value of $N$.
  • Accepting the proof would collapse all natural numbers to $1$, because the argument is insensitive to which numeral is placed in the cancelled expression.
  • The underlying series identity remains true; the theorem's failure does not touch standard geometric-series evaluation.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • One could extend the joke by running the identical cancellation on any convergent series identity with equal sums, generating an endless family of false theorems that all share the same dummy-index equivocation.
  • The paper is a compact teaching example: the line between a bound variable and a free variable is what separates the valid identity from the absurd conclusion.
  • If the proof were transcribed into a formal proof assistant, the system would reject the step where '$N$' is introduced as a bound index in the sum and reused as a free term; the parody effectively maps the boundary of that convention.
  • The 'million-dollar' framing parodies the culture of prize problems and grand claims; the obvious falsity is the tell that the form, not the content, is the subject.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 3 minor

Summary. The manuscript, presented as a mathematical note, states 'Theorem 1: N = 1' and attempts to prove it by starting from the true identity sum_{N=0}^∞ 1/2^N = sum_{N=0}^∞ N/2^N, then 'cancelling' the summation signs and denominators to obtain 1 = N, and finally using the injectivity of f(x) = sum x/2^N to conclude N = 1. The paper includes a figure, a corollary 'P = NP', and a brief anecdote about its origin.

Significance. If the proof were valid, the result would be a humorous but false statement; the identity itself is true, and the function f is indeed injective. The manuscript's only educational value lies in its demonstration of notational fallacies—specifically, the abuse of binder cancellation and variable capture. As a serious mathematical contribution, the paper has no significance, because the central claim is false and the derivation is invalid. The paper is best understood as a satire or teaching example, not a research result.

major comments (3)
  1. [Proof (Equation (1))] The proof's only engine is the cancellation of the summation signs and denominators from Equation (1). This operation is not a valid rule of inference: the summation symbol is a binder, and canceling it is not an algebraic step. The paper itself acknowledges the non-rigor, but the theorem is still stated and 'proved,' so the central claim is unsupported. Without this step, no argument remains.
  2. [Proof, definition of f and 'By (1), f(1)=f(N)'] The assertion that f(1)=f(N) confuses the bound index N with a free variable. In the defining expression f(x)=sum_{N=0}^∞ x/2^N, the symbol N is a dummy variable; writing f(N) produces variable capture. If one interprets f(N) as sum_{M=0}^∞ N/2^M = 2N, then f(1)=2 and the claimed equality f(1)=f(N) is exactly the same unsupported cancellation in disguise. Evaluating the same maneuver with N=3 gives f(3)=6 and sum_{M=0}^∞ M/2^M=2, so the alleged equality would imply 3=1. Thus the injectivity step is unsound.
  3. [Corollary 1] The corollary 'P = NP' is a pun on the notation N=1, but it is not a mathematical consequence of anything established in the paper. This further confirms that the manuscript is satirical rather than a serious proof. Within the scope of a mathematical research journal, this corollary has no validity.
minor comments (3)
  1. [Introduction, after Equation (1)] The paper states that (1) is 'almost surely false' and then immediately acknowledges 'many proofs' showing the common value is 2. This internal contradiction is presumably part of the joke, but it is confusing for a formal reader; consider rephrasing to make the intended humor clearer.
  2. [Throughout] There are several typographical and spacing errors, including 'Minn esota' and 'Poincar´ e'; these should be corrected if the manuscript is to be published in any venue.
  3. [Figure 1 caption] The caption notes the different x- and y-axis scales; a brief explanation of how the diagram encodes the identity would help readers who are not familiar with the geometric proof of sum N/2^N.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the proof's failure is an invalid binder-cancellation step, not a conclusion smuggled into its premises.

full rationale

The paper's derivation, taken at face value as satire, never assumes Theorem 1 (N = 1) as a premise. It starts from the true identity sum 1/2^N = sum N/2^N, defines f(x) = sum x/2^N, notes f is injective, and infers N = 1 from f(1) = f(N). This is not circular: the conclusion is not contained in the definition of f, the identity, or any cited prior work, and there are no fitted parameters, self-citations, or imported uniqueness theorems. The argument is simply unsound because cancelling the summation binder treats the bound index N as a free variable: f(N) is not a well-defined input in the sense required, and the alleged equality f(1) = f(N) is a pun on notation rather than a legitimate identity of inputs. Invalidity of an inference is a correctness defect, not circularity, so the appropriate circularity score is 0.

Assumptions & free parameters 0 free parameters · 3 assumptions · 0 invented entities

The only inputs are a known identity and an invalid cancellation rule; no fitted parameters or invented entities appear.

assumptions (3)
  • standard math The identity sum_{N=0}^∞ 1/2^N = sum_{N=0}^∞ N/2^N holds.
    This is a true classical result; the paper uses it as the starting point in equation (1).
  • ad hoc to paper Cancelling the summation signs and denominators on both sides of an identity preserves equality.
    The proof cancels the sigmas and denominators to conclude N=1; this is not a valid algebraic operation.
  • standard math The function f(x) = sum_{N=0}^∞ x/2^N is one-to-one.
    The proof relies on injectivity to infer N=1 from f(1)=f(N). This is true when f is defined properly, but the variable capture in f(N) is the error.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A Million-dollar Proof." pith.science (2026). https://pith.science/paper/TCJBGPMD

@misc{pith2026250713365,
  author       = {Pith},
  title        = {Pith review of: A Million-dollar Proof},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/TCJBGPMD}},
  note         = {Machine review of arXiv:2507.13365}
}
read the original abstract

We present a new twist on an old identity.

Figures

Figures reproduced from arXiv: 2507.13365 by the authors.

Figure 1
Figure 1. 1 + 1 2 + 1 4 + 1 8 + 1 16 + · · · = 1 2 + 2 4 + 3 8 + 4 16 + 5 32 + · · · . (Note that the x-axis scale is different from the y-axis scale.) Anyway, beginning with (1), I was naturally tempted to cancel the sigmas and the denom￾inators and thereby conclude that N = 1. This didn’t seem quite rigorous, however. Luckily Eric Wepsic was around to help me formalize the argument. Here’s the proof: Proof. Define the funct… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

2 extracted references · 2 canonical work pages

  1. [1]

    PUBLISHED IN MATHEMATICAL INTELLIGENCER, VOL

    P = N P. PUBLISHED IN MATHEMATICAL INTELLIGENCER, VOL. 29 NO. 4 (2007), PG

    work page 2007

  2. [8]

    1 arXiv:2507.13365v1 [math.HO] 2 Jul 2025

    work page Pith review arXiv 2025

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.