Alphabeta Math
ExampleConstruction: AI-adaptedVerification: AI-generatedSession-authored (Fable 5 assisted)precheck passjudge pass (deepseek-v4-pro + gpt-5.6-terra)verified 2026-08-04 (gpt-5.6-sol-codex-subscription)
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

φ(360)=96\varphi(360)=96 by both inclusion-exclusion and the prime-power product formula

Example

Euler's totient at 360360 is 9696, obtained either by excluding multiples of 2,3,52,3,5 or by multiplying the prime-power contributions.

Facts & Assumptions

Given: The positive integer 360360.

[L2]

Euler's formula gives φ(n)=i<r(pikipiki1)\varphi(n)=\prod_{i<r}\bigl(p_i^{k_i}-p_i^{k_i-1}\bigr) over the distinct prime divisors of nn and, after carrying the natural numbers into Q\mathbb{Q}, the equivalent form φ(n)=ni<r(11pi)\varphi(n)=n\prod_{i<r}\left(1-\frac1{p_i}\right) (Euler's product formula φ(n)=npn(11/p)=pkn(pkpk1)\varphi(n)=n\prod_{p\mid n}(1-1/p)=\prod_{p^k\parallel n}(p^k-p^{k-1}) for n1n\ge1, stated through a finite injective list of its prime divisors). Multiplying out that second product over the subsets of {p0,,pr1}\{p_0,\ldots,p_{r-1}\} is the inclusion-exclusion display used below; the cited theorem states the two products, not that display.

Verification

technique · direct
1.1

Inclusion-exclusion over the multiples of 2,3,52,3,5 gives φ(360)=36018012072+60+36+2412=96\varphi(360)=360-180-120-72+60+36+24-12=96.

L1L2
1.2

The product form gives φ(360)=(2322)(323)(51)=464=96\varphi(360)=(2^3-2^2)(3^2-3)(5-1)=4\cdot6\cdot4=96.

L1L2
2.1

Both computations therefore give the same value, φ(360)=96\varphi(360)=96.

step 1.1step 1.2

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · next 3 levels

Direct dependencies and their dependencies through the next three levels: 131 results over 29 levels. An arrow runs from a result to what uses it, and this result sits at the bottom with a heavier outline. Click the chart to enlarge it.

Sources