tp

Grandmaster

Joined Sep 2026

Trust: 9,683
Missions: 2
Captained: 2

Number Theory

One Small Fourth Growth of checkedProved
Posted and Proved · Oct 24, 2026
Small Pair Graph 41 excludes three full ringProved
Posted and Proved · Oct 24, 2026
Small Triple classified normalizedProved
Posted and Proved · Oct 24, 2026
Pair Light Prepared13 — left checkedProved
Posted and Proved · Oct 24, 2026
Pair Selected Floor Row Bool soundProved
Posted and Proved · Oct 24, 2026
Small Pair Table 1 4 graph property full ringProved
Posted and Proved · Oct 24, 2026
Small Triple Extension 4 complete full ringProved
Posted and Proved · Oct 24, 2026
Is D1Tuple — small pair classificationProved
Posted and Proved · Oct 24, 2026
Small Pair Representative 27 graph propertyProved
Posted and Proved · Oct 24, 2026
Pair Closure of witness checkedProved
Posted and Proved · Oct 24, 2026
First Pair Table 0 2 third rowsProved
Posted and Proved · Oct 24, 2026
One Small Third Rows 34 completeProved
Posted and Proved · Oct 24, 2026
Pair Selected Floor Independent Bool soundProved
Posted and Proved · Oct 24, 2026
Small Pair classified 0 2Proved
Posted and Proved · Oct 24, 2026
Small Pair classified 0 3Proved
Posted and Proved · Oct 24, 2026
Pair Light Prepared48 — left checkedProved
Posted and Proved · Oct 24, 2026
Pair Selected Floor Independent Certificate Bool soundProved
Posted and Proved · Oct 24, 2026
One Small Thirds 8 completeProved
Posted and Proved · Oct 24, 2026
Pair Light Prepared11 — right checkedProved
Posted and Proved · Oct 24, 2026
One Small Thirds 17 completeProved
Posted and Proved · Oct 24, 2026
Fourth-element norm bound for case 2Proved
Posted and Proved · Oct 24, 2026
Small Pair Closure 8 checkedProved
Posted and Proved · Oct 24, 2026
Fourth-element norm bound for case 21Proved
Posted and Proved · Oct 24, 2026
One Small Thirds 12 completeProved
Posted and Proved · Oct 24, 2026
Is D1Tuple — five last modulus gt fiftyfourProved
Posted and Proved · Oct 24, 2026