{"id":"a857d6ed-74c5-4a0a-8356-3b5d2486f452","arxiv_id":"2412.12692","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":2.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper restates Fermat's Last Theorem as the condition that certain normalized integral averages of Dirichlet series do not equal 1, but the restatement carries no new mathematical content.","lead":"This paper claims that infinitely many integrals of Dirichlet series encode Fermat's Last Theorem as new equivalents. The claim is true only in a trivial sense: each condition is just the Fermat inequality rewritten through a change of variables in a standard mean value formula.","discovery_kind":"incremental","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 13 collapses the D-condition to the Fermat inequality itself, so the claimed 'new equivalent' is a tautology rather than a point of contact.","rationale":"The paper's computations are largely correct: Lemmas 1–13 follow from (1.24), (3.1), and (3.11) by elementary substitutions. The error terms are o(T) as needed, so there is no technical gap in the derivations. The central claim, however, is that the D-condition (5.5) constitutes a new equivalent of Fermat–Wiles. Lemma 13 shows the limit is exactly (x^n+y^n)/z^n, making (5.5) equivalent to the Fermat inequality itself. This is a tautology: the mean-value theorem supplies the limit, so the equivalence is immediate and carries no independent information. The 'infinite set' arises solely from the infinite collection of Dirichlet series and constants F, all yielding the same normalized condition. The claim of independence from Jacob's ladders is technically correct but does not rescue novelty. The reader's REJECT with moderate confidence is appropriate; the concrete test with an arbitrary positive q demonstrates the vacuity of the proposed equivalence.","tokens_in":10793,"tokens_out":6741,"duration_ms":58504,"concrete_test":"Replace the Fermat rational (x^n+y^n)/z^n in Lemma 13 by an arbitrary positive real q. The same substitution yields lim_{τ→∞} (1/τ) ∫_0^{qτ/F} |f(σ0+it)|^2 dt = q, so the condition '≠1' becomes simply q≠1. For any q≠1 this holds trivially; for q=1 it fails. This shows the D-condition has no arithmetic content beyond the chosen substitution and is not a new equivalent of FLT. Alternatively, compute (5.4) for the specific case f(s)=ζ(s), σ0=2, and verify that the condition reduces exactly to x^n+y^n≠z^n.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The main result (1.29)/(5.5) rests on Lemma 13 (5.4): by the mean-value theorem (1.24), the limit equals (x^n+y^n)/z^n for every fixed f in D. Consequently the D-condition 'lim ≠ 1' is logically identical to (x^n+y^n)/z^n ≠ 1, i.e. to the negation of the Fermat equality. No property of Dirichlet series beyond (1.24) enters; the same construction with any positive q in place of the Fermat rational yields the condition q ≠ 1. Thus the infinite set of 'equivalents' is a single condition (the Fermat inequality) written in infinitely many equivalent normalizations, not an infinite set of independent contacts. The load-bearing weakness is not the standardness of (1.24) but the unsupported claim that this substitution produces new content. The derivation is correct; the framing overclaims.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript defines, for each Dirichlet series f absolutely convergent at σ0, the mean value F(σ0;f)=Σ|a_n|^2 n^{-2σ0}, and uses the classical mean-value theorem to show that lim_{τ→∞} (1/τ)∫_0^{(x/F(σ0;f))τ} |f(σ0+it)|^2 dt = x. It then substitutes x=(x^n+y^n)/z^n and asserts that the condition that this limit is different from 1 is a new 'D-equivalent' of the Fermat-Wiles theorem. Similar constructions are given for |ζ(σ+it)|^2, Selberg's |S1(t)|^{2l}, and linear combinations, with an additional set of examples involving Jacob's ladders in Section 4. The abstract claims an infinite set of points of contact between the set of all Dirichlet series and the Fermat-Wiles theorem, independent of Jacob's ladders.","tokens_in":10959,"tokens_out":4990,"duration_ms":44845,"significance":"If the claimed equivalences carried substantial analytic content, they would connect analytic number theory to a central Diophantine statement. However, the paper's own Lemmas show that each limit is exactly the Fermat rational, so the asserted 'equivalents' are logical restatements of the Fermat inequality rather than new mathematical contacts. The formal substitutions are correct, and the paper should be credited for stating clearly, in Lemmas 12–13, how the mean-value theorem forces the limit to equal the chosen x; but that clarity also exposes the circularity. The paper does not provide reproducible proofs beyond textbook mean-value calculations, and the claimed significance is not supported.","major_comments":[{"comment":"comment","section":"§5, Lemma 13, Eq. (5.4) and Theorem 7, Eq. (5.5)"},{"comment":"comment","section":"§3, Theorems 1–3"},{"comment":"comment","section":"§4, Eqs. (2.1), (2.2), (4.3), (4.16), (4.20)"}],"minor_comments":[{"comment":"comment","section":"§3, Lemma 1, Eq. (3.3)"},{"comment":"comment","section":"§5, Lemma 12, Eq. (5.3)"},{"comment":"comment","section":"§3, Theorem 2, Eq. (3.16)"},{"comment":"comment","section":"§3, Eq. (3.18)"},{"comment":"comment","section":"References"},{"comment":"comment","section":"§1, Remark 2"}],"recommendation":"reject","confidential_remarks":"The mathematical derivations are correct but the central claim is not. The paper's 'equivalents' of the Fermat-Wiles theorem are restatements of the Fermat inequality produced by deliberately choosing normalization constants so that the limits equal the Fermat rational. This is a load-bearing overclaim that cannot be fixed by added explanation. The paper is part of a long series on Jacob's ladders; the editorial board may wish to consider the cumulative novelty of these submissions. My verdict is based on the technical content described above."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nShort version: the paper derives a family of limit statements that are all literally the Fermat inequality in disguise. The one genuinely transparent step — Lemma 13 — is also the step that sinks the claim. For every Dirichlet series f, the limit in (5.4) equals (x^n+y^n)/z^n, so the D-condition (5.5) is exactly q ≠ 1 with q = (x^n+y^n)/z^n. Any positive q would do; the specific features of f and σ0 cancel out. This is not a point of contact between Dirichlet series and FLT; it is a restatement of FLT after a linear rescaling of the integration variable.\n\nWhat the paper does well: the substitutions are legal, and the author is unusually explicit about them. Lemma 2 and Lemma 13 state precisely what the limits are, so a reader can see the collapse without digging. The earlier zeta-function and Selberg sections follow the same pattern, and Section 4's Jacob-ladder version is too notation-dependent to verify from this text alone — the constant c is never defined here, and the reverse iterations are asserted rather than derived. The \"infinite set\" of equivalents is one condition written once per f, with no independence between them.\n\nThe overclaim is the problem, not the mathematics. Remark 2's suggestion that Hardy, Littlewood, and Selberg missed a deep connection is unsupported; this is a routine substitution in a mean value theorem. The references are almost entirely self-citations, and there is no engagement with any critical perspective on this kind of equivalence.\n\nWho this is for: someone cataloguing ways to rewrite FLT as an analytic-looking inequality might want it for completeness, but a serious number theory reader will learn nothing. I would not bring it to our reading group, and I would not cite it. It deserves a desk reject with a short explanation, not referee time.\n\nMy recommendation: do not send this to peer review. If you want to be generous, a polite note pointing out that Lemma 13 makes the main theorem tautological would be enough.","headline":"The claimed new equivalents of FLT are tautological: Lemma 13 already shows the D-condition is just the Fermat inequality under a rescaling.","tokens_in":11506,"tokens_out":3543,"would_cite":false,"duration_ms":32959,"reading_group":"no","serious_thinker":"yes","would_accept_peer_review":false},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["11M06","11D41"],"pacs":[],"model":"deepseek-v4-flash","headline":"Every absolutely convergent Dirichlet series yields an analytic condition equivalent to the Fermat-Wiles theorem.","keywords":["Fermat-Wiles theorem","Riemann zeta-function","Dirichlet series","mean-value theorem","Selberg integral","Jacob's ladders","Fermat rationals","Fermat equation"],"falsifier":"Take $f(s)=\\zeta(s)$ at $\\sigma_0=2$, so $F(2;\\zeta)=\\zeta(4)=\\pi^4/90$, and take $r=(2^3+3^3)/4^3=35/64$. The paper predicts $\\lim_{\\tau\\to\\infty}\\frac{1}{\\tau}\\int_0^{rF\\tau}|\\zeta(2+it)|^2\\,dt = r$. If direct evaluation of this integral for increasing $\\tau$ gave any other limit, the mean-value theorem behind the equivalence would be contradicted.","tokens_in":10576,"feed_emoji":"📐","tokens_out":12937,"duration_ms":100914,"temperature":0.7,"pith_summary":"The paper aims to show that the classical mean-value theorem for Dirichlet series creates an infinite set of analytic conditions equivalent to the Fermat-Wiles theorem. For any absolutely convergent series $f(s)=\\sum a_n n^{-s}$ at $\\sigma_0$, with $F(\\sigma_0;f)=\\sum |a_n|^2 n^{-2\\sigma_0}$, the normalized limit $(1/\\tau)\\int_0^{r\\tau/F}|f(\\sigma_0+it)|^2\\,dt$ is shown to tend to $r$ for every $r>0$. Taking $r=(x^n+y^n)/z^n$ with $n\\ge 3$, the condition that this limit is not $1$ is equivalent to excluding integer solutions of $x^n+y^n=z^n$. The first three equivalents use the zeta function, the $S_1(t)$ function, and a combination of both, and the proof of these is independent of Jacob's ladders; the final D-condition extends the result to every absolutely convergent Dirichlet series.","feed_headline":"Every Dirichlet series yields a Fermat-Wiles equivalent","feed_subtitle":"Zeta, S1, and Dirichlet-series mean values each reduce to the Fermat inequality.","key_machinery":"The load-bearing object is the mean-value theorem for Dirichlet series (1.24), together with the associated constant $F(\\sigma_0;f)$. This theorem converts the asymptotic mean square $\\int_0^T |f(\\sigma_0+it)|^2\\,dt = FT + o(T)$ into an exact normalized limit by the substitution $T=x\\tau/F$. The classical formula for the $2l$-th moment of $S_1(t)$ plays the same role for the second and third equivalents. Jacob's ladders, the paper's name for a family of near-linear functions $\\varphi_1(T)$ and their reverse iterations $\\varphi_1^{-k}(T)$ attached to integrals of $|\\zeta(1/2+it)|^2$, appear only in the ladder-dependent equivalents; the main D-condition does not require them.","core_discovery":"The central discovery is the limit identity (5.3): for every $f(s)=\\sum a_n n^{-s}$ absolutely convergent at $\\sigma_0$, and every $x>0$, \\[\\lim_{\\tau\\to\\infty}\\frac{1}{\\tau}\\$int_0^{{x\\tau/F(\\sigma_0;f)}}$|f(\\sigma_0+it)|^2\\,dt = x,\\] where $F(\\sigma_0;f)=\\sum |a_n|^2 n^{-2\\sigma_0}$. This is a scaling property obtained by substituting $T=x\\tau/F$ into the classical mean-value theorem. When $x$ is replaced by a Fermat rational $r=(x^n+y^n)/z^n$ with $n\\ge 3$, the same limit equals $r$, so the D-condition that the limit is not $1$ holds on the class of all Fermat rationals exactly when no solution to $x^n+y^n=z^n$ exists. The paper presents this as an infinite family of points of contact between the set of all Dirichlet series and the Fermat-Wiles theorem, with the proof independent of Jacob's ladders.","pith_inferences":["Editorial inference: The proof uses only the existence of an asymptotic mean-square law, so the same construction would produce a Fermat-Wiles condition for any function whose integral over $[0,T]$ is $cT+o(T)$, not just for Dirichlet series.","Editorial inference: These are logical equivalences rather than computational shortcuts; checking the D-condition for all Fermat rationals is the same task as proving the Fermat-Wiles theorem.","Editorial inference: The normalized-limit identity (5.3) is itself a general scaling law for mean-square integrals, so the method could attach similar statements to other known mean-value constants in analytic number theory."],"forward_implications":["For every fixed $\\sigma>1$, the $\\zeta$-condition (3.9) is a Fermat-Wiles equivalent using only the classical mean square of $\\zeta$ on the line $\\sigma$.","For every fixed $l\\in\\mathbb{N}$, the $S_1$-condition (3.16) gives an equivalent based on the mean square of $|S_1(t)|^{2l}$.","The combined condition (3.23) mixes the $\\zeta$ and $S_1$ integrals and is again independent of Jacob's ladders.","The D-condition (1.29) yields an infinite set of equivalents, one for each absolutely convergent Dirichlet series.","Because every normalized limit explicitly equals the Fermat rational, each 'not equal to 1' condition is literally the statement that no Fermat solution exists for $n\\ge 3$."],"supporting_citations":[{"why":"It supplies the classical asymptotics for the integral of $|\\zeta(\\sigma+it)|^2$ that underlie the $\\zeta$-equivalent.","marker":"[1]"},{"why":"It supplies the formula for the $2l$-th moment of $S_1(t)$ used in the $S_1$-equivalent and the combined equivalent.","marker":"[15]"},{"why":"It supplies the classical mean-value theorem for absolutely convergent Dirichlet series, the load-bearing identity for the D-condition.","marker":"[16]"}],"fun_headline_variants":["Infinite Fermat equivalents from every Dirichlet series","Dirichlet series: infinite Fermat-Wiles trail","Every Dirichlet series touches Fermat's theorem","Fermat-Wiles: infinite contact with Dirichlet series","Endless Fermat equivalents from Dirichlet series"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument relies on the classical mean-value theorem for Dirichlet series, namely that the time average of $|f(\\sigma_0+it)|^2$ over a long interval tends to the sum of the squared coefficients; if that limit failed for some $f$, the normalized limit would not equal the Fermat rational and the equivalence would collapse.","fun_headline_variants_meta":{"raw":{"variants":["Infinite Fermat equivalents from every Dirichlet series","Dirichlet series: infinite Fermat-Wiles trail","Every Dirichlet series touches Fermat's theorem","Fermat-Wiles: infinite contact with Dirichlet series","Endless Fermat equivalents from Dirichlet series"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000408,"raw_usage":{"total_tokens":2051,"prompt_tokens":809,"completion_tokens":1242,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":425,"completion_tokens_details":{"reasoning_tokens":1167}},"tokens_in":425,"tokens_out":1242,"duration_ms":8398,"temperature":1.0,"reasoning_tokens":1167,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T13:50:07.062672+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take $f(s)=\\zeta(s)$ at $\\sigma_0=2$, so $F(2;\\zeta)=\\zeta(4)=\\pi^4/90$, and take $r=(2^3+3^3)/4^3=35/64$. The paper predicts $\\lim_{\\tau\\to\\infty}\\frac{1}{\\tau}\\int_0^{rF\\tau}|\\zeta(2+it)|^2\\,dt = r$. If direct evaluation of this integral for increasing $\\tau$ gave any other limit, the mean-value theorem behind the equivalence would be contradicted.","supporting_citations":[{"cited_title":"Hardy, J.E","cited_arxiv_id":null,"evidence_quote":"It supplies the classical asymptotics for the integral of $|\\zeta(\\sigma+it)|^2$ that underlie the $\\zeta$-equivalent."},{"cited_title":"Selberg, Contribution to the theory of the Riemann ze ta-function, Arch","cited_arxiv_id":null,"evidence_quote":"It supplies the formula for the $2l$-th moment of $S_1(t)$ used in the $S_1$-equivalent and the combined equivalent."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"It supplies the classical mean-value theorem for absolutely convergent Dirichlet series, the load-bearing identity for the D-condition."}],"review_version":1}