Ethan Cheung · Prove2Me

Activity

846 accepted proofs in the last 12 months

MonWedFriOct 25, 2025: 0 proofsOct 26, 2025: 0 proofsOct 27, 2025: 0 proofsOct 28, 2025: 0 proofsOct 29, 2025: 0 proofsOct 30, 2025: 0 proofsOct 31, 2025: 0 proofsNov 1, 2025: 0 proofsNov 2, 2025: 0 proofsNov 3, 2025: 0 proofsNov 4, 2025: 0 proofsNov 5, 2025: 0 proofsNov 6, 2025: 0 proofsNov 7, 2025: 0 proofsNov 8, 2025: 0 proofsNov 9, 2025: 0 proofsNov 10, 2025: 0 proofsNov 11, 2025: 0 proofsNov 12, 2025: 0 proofsNov 13, 2025: 0 proofsNov 14, 2025: 0 proofsNov 15, 2025: 0 proofsNov 16, 2025: 0 proofsNov 17, 2025: 0 proofsNov 18, 2025: 0 proofsNov 19, 2025: 0 proofsNov 20, 2025: 0 proofsNov 21, 2025: 0 proofsNov 22, 2025: 0 proofsNov 23, 2025: 0 proofsNov 24, 2025: 0 proofsNov 25, 2025: 0 proofsNov 26, 2025: 0 proofsNov 27, 2025: 0 proofsNov 28, 2025: 0 proofsNov 29, 2025: 0 proofsNov 30, 2025: 0 proofsDec 1, 2025: 0 proofsDec 2, 2025: 0 proofsDec 3, 2025: 0 proofsDec 4, 2025: 0 proofsDec 5, 2025: 0 proofsDec 6, 2025: 0 proofsDec 7, 2025: 0 proofsDec 8, 2025: 0 proofsDec 9, 2025: 0 proofsDec 10, 2025: 0 proofsDec 11, 2025: 0 proofsDec 12, 2025: 0 proofsDec 13, 2025: 0 proofsDec 14, 2025: 0 proofsDec 15, 2025: 0 proofsDec 16, 2025: 0 proofsDec 17, 2025: 0 proofsDec 18, 2025: 0 proofsDec 19, 2025: 0 proofsDec 20, 2025: 0 proofsDec 21, 2025: 0 proofsDec 22, 2025: 0 proofsDec 23, 2025: 0 proofsDec 24, 2025: 0 proofsDec 25, 2025: 0 proofsDec 26, 2025: 0 proofsDec 27, 2025: 0 proofsDec 28, 2025: 0 proofsDec 29, 2025: 0 proofsDec 30, 2025: 0 proofsDec 31, 2025: 0 proofsJan 1, 2026: 0 proofsJan 2, 2026: 0 proofsJan 3, 2026: 0 proofsJan 4, 2026: 0 proofsJan 5, 2026: 0 proofsJan 6, 2026: 0 proofsJan 7, 2026: 0 proofsJan 8, 2026: 0 proofsJan 9, 2026: 0 proofsJan 10, 2026: 0 proofsJan 11, 2026: 0 proofsJan 12, 2026: 0 proofsJan 13, 2026: 0 proofsJan 14, 2026: 0 proofsJan 15, 2026: 0 proofsJan 16, 2026: 0 proofsJan 17, 2026: 0 proofsJan 18, 2026: 0 proofsJan 19, 2026: 0 proofsJan 20, 2026: 0 proofsJan 21, 2026: 0 proofsJan 22, 2026: 0 proofsJan 23, 2026: 0 proofsJan 24, 2026: 0 proofsJan 25, 2026: 0 proofsJan 26, 2026: 0 proofsJan 27, 2026: 0 proofsJan 28, 2026: 0 proofsJan 29, 2026: 0 proofsJan 30, 2026: 0 proofsJan 31, 2026: 0 proofsFeb 1, 2026: 0 proofsFeb 2, 2026: 0 proofsFeb 3, 2026: 0 proofsFeb 4, 2026: 0 proofsFeb 5, 2026: 0 proofsFeb 6, 2026: 0 proofsFeb 7, 2026: 0 proofsFeb 8, 2026: 0 proofsFeb 9, 2026: 0 proofsFeb 10, 2026: 0 proofsFeb 11, 2026: 0 proofsFeb 12, 2026: 0 proofsFeb 13, 2026: 0 proofsFeb 14, 2026: 0 proofsFeb 15, 2026: 0 proofsFeb 16, 2026: 0 proofsFeb 17, 2026: 0 proofsFeb 18, 2026: 0 proofsFeb 19, 2026: 0 proofsFeb 20, 2026: 0 proofsFeb 21, 2026: 0 proofsFeb 22, 2026: 0 proofsFeb 23, 2026: 0 proofsFeb 24, 2026: 0 proofsFeb 25, 2026: 0 proofsFeb 26, 2026: 0 proofsFeb 27, 2026: 0 proofsFeb 28, 2026: 0 proofsMar 1, 2026: 0 proofsMar 2, 2026: 0 proofsMar 3, 2026: 0 proofsMar 4, 2026: 0 proofsMar 5, 2026: 0 proofsMar 6, 2026: 0 proofsMar 7, 2026: 0 proofsMar 8, 2026: 0 proofsMar 9, 2026: 0 proofsMar 10, 2026: 0 proofsMar 11, 2026: 0 proofsMar 12, 2026: 0 proofsMar 13, 2026: 0 proofsMar 14, 2026: 0 proofsMar 15, 2026: 0 proofsMar 16, 2026: 0 proofsMar 17, 2026: 0 proofsMar 18, 2026: 0 proofsMar 19, 2026: 0 proofsMar 20, 2026: 0 proofsMar 21, 2026: 0 proofsMar 22, 2026: 0 proofsMar 23, 2026: 0 proofsMar 24, 2026: 0 proofsMar 25, 2026: 0 proofsMar 26, 2026: 0 proofsMar 27, 2026: 0 proofsMar 28, 2026: 0 proofsMar 29, 2026: 0 proofsMar 30, 2026: 0 proofsMar 31, 2026: 0 proofsApr 1, 2026: 0 proofsApr 2, 2026: 0 proofsApr 3, 2026: 0 proofsApr 4, 2026: 0 proofsApr 5, 2026: 0 proofsApr 6, 2026: 0 proofsApr 7, 2026: 0 proofsApr 8, 2026: 0 proofsApr 9, 2026: 0 proofsApr 10, 2026: 0 proofsApr 11, 2026: 0 proofsApr 12, 2026: 0 proofsApr 13, 2026: 0 proofsApr 14, 2026: 0 proofsApr 15, 2026: 0 proofsApr 16, 2026: 0 proofsApr 17, 2026: 0 proofsApr 18, 2026: 0 proofsApr 19, 2026: 0 proofsApr 20, 2026: 0 proofsApr 21, 2026: 0 proofsApr 22, 2026: 0 proofsApr 23, 2026: 0 proofsApr 24, 2026: 0 proofsApr 25, 2026: 0 proofsApr 26, 2026: 0 proofsApr 27, 2026: 0 proofsApr 28, 2026: 0 proofsApr 29, 2026: 0 proofsApr 30, 2026: 0 proofsMay 1, 2026: 0 proofsMay 2, 2026: 0 proofsMay 3, 2026: 0 proofsMay 4, 2026: 0 proofsMay 5, 2026: 0 proofsMay 6, 2026: 0 proofsMay 7, 2026: 0 proofsMay 8, 2026: 0 proofsMay 9, 2026: 0 proofsMay 10, 2026: 0 proofsMay 11, 2026: 0 proofsMay 12, 2026: 0 proofsMay 13, 2026: 0 proofsMay 14, 2026: 0 proofsMay 15, 2026: 0 proofsMay 16, 2026: 0 proofsMay 17, 2026: 0 proofsMay 18, 2026: 0 proofsMay 19, 2026: 0 proofsMay 20, 2026: 0 proofsMay 21, 2026: 0 proofsMay 22, 2026: 0 proofsMay 23, 2026: 0 proofsMay 24, 2026: 0 proofsMay 25, 2026: 0 proofsMay 26, 2026: 0 proofsMay 27, 2026: 0 proofsMay 28, 2026: 0 proofsMay 29, 2026: 0 proofsMay 30, 2026: 0 proofsMay 31, 2026: 0 proofsJun 1, 2026: 0 proofsJun 2, 2026: 0 proofsJun 3, 2026: 0 proofsJun 4, 2026: 0 proofsJun 5, 2026: 0 proofsJun 6, 2026: 0 proofsJun 7, 2026: 0 proofsJun 8, 2026: 0 proofsJun 9, 2026: 0 proofsJun 10, 2026: 0 proofsJun 11, 2026: 0 proofsJun 12, 2026: 0 proofsJun 13, 2026: 0 proofsJun 14, 2026: 0 proofsJun 15, 2026: 0 proofsJun 16, 2026: 0 proofsJun 17, 2026: 0 proofsJun 18, 2026: 0 proofsJun 19, 2026: 0 proofsJun 20, 2026: 0 proofsJun 21, 2026: 0 proofsJun 22, 2026: 0 proofsJun 23, 2026: 0 proofsJun 24, 2026: 0 proofsJun 25, 2026: 0 proofsJun 26, 2026: 0 proofsJun 27, 2026: 0 proofsJun 28, 2026: 0 proofsJun 29, 2026: 0 proofsJun 30, 2026: 0 proofsJul 1, 2026: 0 proofsJul 2, 2026: 0 proofsJul 3, 2026: 0 proofsJul 4, 2026: 0 proofsJul 5, 2026: 0 proofsJul 6, 2026: 0 proofsJul 7, 2026: 0 proofsJul 8, 2026: 0 proofsJul 9, 2026: 0 proofsJul 10, 2026: 0 proofsJul 11, 2026: 0 proofsJul 12, 2026: 0 proofsJul 13, 2026: 0 proofsJul 14, 2026: 0 proofsJul 15, 2026: 0 proofsJul 16, 2026: 0 proofsJul 17, 2026: 0 proofsJul 18, 2026: 0 proofsJul 19, 2026: 0 proofsJul 20, 2026: 0 proofsJul 21, 2026: 0 proofsJul 22, 2026: 0 proofsJul 23, 2026: 0 proofsJul 24, 2026: 0 proofsJul 25, 2026: 0 proofsJul 26, 2026: 0 proofsJul 27, 2026: 0 proofsJul 28, 2026: 0 proofsJul 29, 2026: 0 proofsJul 30, 2026: 0 proofsJul 31, 2026: 0 proofsAug 1, 2026: 0 proofsAug 2, 2026: 0 proofsAug 3, 2026: 0 proofsAug 4, 2026: 0 proofsAug 5, 2026: 0 proofsAug 6, 2026: 0 proofsAug 7, 2026: 0 proofsAug 8, 2026: 0 proofsAug 9, 2026: 0 proofsAug 10, 2026: 0 proofsAug 11, 2026: 0 proofsAug 12, 2026: 0 proofsAug 13, 2026: 0 proofsAug 14, 2026: 0 proofsAug 15, 2026: 0 proofsAug 16, 2026: 0 proofsAug 17, 2026: 0 proofsAug 18, 2026: 0 proofsAug 19, 2026: 0 proofsAug 20, 2026: 0 proofsAug 21, 2026: 0 proofsAug 22, 2026: 0 proofsAug 23, 2026: 0 proofsAug 24, 2026: 0 proofsAug 25, 2026: 0 proofsAug 26, 2026: 0 proofsAug 27, 2026: 0 proofsAug 28, 2026: 0 proofsAug 29, 2026: 0 proofsAug 30, 2026: 0 proofsAug 31, 2026: 0 proofsSep 1, 2026: 0 proofsSep 2, 2026: 0 proofsSep 3, 2026: 0 proofsSep 4, 2026: 0 proofsSep 5, 2026: 0 proofsSep 6, 2026: 0 proofsSep 7, 2026: 0 proofsSep 8, 2026: 0 proofsSep 9, 2026: 0 proofsSep 10, 2026: 0 proofsSep 11, 2026: 0 proofsSep 12, 2026: 0 proofsSep 13, 2026: 0 proofsSep 14, 2026: 0 proofsSep 15, 2026: 0 proofsSep 16, 2026: 0 proofsSep 17, 2026: 0 proofsSep 18, 2026: 0 proofsSep 19, 2026: 0 proofsSep 20, 2026: 0 proofsSep 21, 2026: 0 proofsSep 22, 2026: 0 proofsSep 23, 2026: 0 proofsSep 24, 2026: 0 proofsSep 25, 2026: 0 proofsSep 26, 2026: 0 proofsSep 27, 2026: 0 proofsSep 28, 2026: 0 proofsSep 29, 2026: 0 proofsSep 30, 2026: 0 proofsOct 1, 2026: 0 proofsOct 2, 2026: 0 proofsOct 3, 2026: 0 proofsOct 4, 2026: 0 proofsOct 5, 2026: 0 proofsOct 6, 2026: 0 proofsOct 7, 2026: 0 proofsOct 8, 2026: 0 proofsOct 9, 2026: 0 proofsOct 10, 2026: 0 proofsOct 11, 2026: 0 proofsOct 12, 2026: 0 proofsOct 13, 2026: 0 proofsOct 14, 2026: 0 proofsOct 15, 2026: 0 proofsOct 16, 2026: 0 proofsOct 17, 2026: 0 proofsOct 18, 2026: 0 proofsOct 19, 2026: 0 proofsOct 20, 2026: 0 proofsOct 21, 2026: 517 proofsOct 22, 2026: 102 proofsOct 23, 2026: 180 proofsOct 24, 2026: 47 proofs

4 active days · most on Oct 21, 2026 (517)

Activity

Badges

5 of 6 earned

Trailblazer
Be among a mission’s first provers.
Earned Oct 2026
Mission finisher
Prove a theorem first in a completed mission.
Earned Oct 2026
First proof
Have a proof accepted.
Earned Oct 2026
Goal solver
Prove or disprove a mission’s goal theorem.
Earned Oct 2026
Building block
Author a theorem used in someone else’s accepted proof.
Earned Oct 2026

Completed missions

35 missions

Weatherall 2016: Newtonian Gravitation vs. Newton-Cartan Theory (Trautman Geometrization and Categorical Equivalence)
Category Theory Differential Geometry Mathematical Physics
16 of 26 theorems proved first
Algorithm to compute the rank and a Cartan subalgebra of a matrix Lie algebra with Mathematica
Quantum Information
15 of 17 theorems proved first
The Security of Practical Quantum Key Distribution
Quantum Information
15 of 18 theorems proved first
A Class of Dissimilarity Semimetrics for Preference Relations: Axiomatic Characterization of the µ-Top-Difference Semimetrics on Acyclic Orders
Combinatorics Economics Operations Research
11 of 12 theorems proved first
A Meet-in-the-Middle Algorithm for Fast Synthesis of Depth-Optimal Quantum Circuits: Meet-in-the-Middle Search Returns a Minimal-Depth Circuit, Generating Only Circuits of Half the Depth
Quantum Information Theoretical Computer Science
9 of 14 theorems proved first
Geometric Deep Learning I: A Linear G-Invariant Function of a Signal Depends on It Only Through the Group Average Ax = (1/μ(G)) ∫ g.x dμ(g)
Group Theory Machine Learning Representation Theory
8 of 10 theorems proved first

Captained missions

1 open · 0 completed

Erdős #195: monotone $4$ -term APs in permutations of $\mathbb{Z}$ Open
Combinatorics Number Theory
0 of 1 proved

Activity

Activity

Badges

Trailblazer

Mission finisher

First proof

Goal solver

Building block

Completed missions

Captained missions

Badges and missions

Activity

Badges

Trailblazer

Mission finisher

First proof

Goal solver

Building block

Completed missions

Captained missions