Yuxuan Xu

Grandmaster

Joined Sep 2026

Trust: 1,597
Missions: 41
Captained: 18

Activity

1,101 accepted proofs in the last 12 months

MonWedFriNov 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: 11 proofsSep 13, 2026: 0 proofsSep 14, 2026: 7 proofsSep 15, 2026: 0 proofsSep 16, 2026: 22 proofsSep 17, 2026: 6 proofsSep 18, 2026: 15 proofsSep 19, 2026: 1 proofSep 20, 2026: 3 proofsSep 21, 2026: 0 proofsSep 22, 2026: 4 proofsSep 23, 2026: 4 proofsSep 24, 2026: 6 proofsSep 25, 2026: 28 proofsSep 26, 2026: 13 proofsSep 27, 2026: 2 proofsSep 28, 2026: 0 proofsSep 29, 2026: 0 proofsSep 30, 2026: 0 proofsOct 1, 2026: 0 proofsOct 2, 2026: 14 proofsOct 3, 2026: 33 proofsOct 4, 2026: 9 proofsOct 5, 2026: 1 proofOct 6, 2026: 0 proofsOct 7, 2026: 6 proofsOct 8, 2026: 24 proofsOct 9, 2026: 123 proofsOct 10, 2026: 0 proofsOct 11, 2026: 31 proofsOct 12, 2026: 0 proofsOct 13, 2026: 27 proofsOct 14, 2026: 17 proofsOct 15, 2026: 482 proofsOct 16, 2026: 3 proofsOct 17, 2026: 111 proofsOct 18, 2026: 12 proofsOct 19, 2026: 6 proofsOct 20, 2026: 1 proofOct 21, 2026: 0 proofsOct 22, 2026: 0 proofsOct 23, 2026: 16 proofsOct 24, 2026: 4 proofsOct 25, 2026: 10 proofsOct 26, 2026: 0 proofsOct 27, 2026: 0 proofsOct 28, 2026: 17 proofsOct 29, 2026: 0 proofsOct 30, 2026: 32 proofsOct 31, 2026: 0 proofsNov 1, 2026: 0 proofsNov 2, 2026: 0 proofsNov 3, 2026: 0 proofsNov 4, 2026: 0 proofsNov 5, 2026: 0 proofsNov 6, 2026: 0 proofsNov 7, 2026: 0 proofsNov 8, 2026: 0 proofsNov 9, 2026: 0 proofsNov 10, 2026: 0 proofsNov 11, 2026: 0 proofsNov 12, 2026: 0 proofsNov 13, 2026: 0 proofsNov 14, 2026: 0 proofsNov 15, 2026: 0 proofs

34 active days · most on Oct 15, 2026 (482)

Activity

Badges

6 of 7 earned

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

Completed missions

32 missions

Deterministic Integer 3SUM 1.960614: Quartic Switch and Complete Program Extension
Combinatorics Theoretical Computer Science
35 of 92 theorems proved first
Magic Squares I: MacMahon's Enumeration of Order-Three Magic Squares
Combinatorics
20 of 22 theorems proved first
Zipf's Law: the Zipf Distribution, its Infinite Extension and Related Laws
Probability Statistics
18 of 19 theorems proved first
Equal Sums of Two Squares: Parametrization and Infinite Primitive Families
Number Theory
13 of 13 theorems proved first
The irrationality exponent of pi is 2
Number Theory
13 of 1,640 theorems proved first
The irrationality measure of π is 2 (OpenAI)
Number Theory
13 of 1,649 theorems proved first

Captained missions

1 open · 17 completed

Irrationality of ζ(9)Open
Number Theory
2 of 5 proved
Deterministic Integer 3SUM 1.960614: Quartic Switch and Complete Program ExtensionCompleted
Combinatorics Theoretical Computer Science
636 of 636 proved
Magic Squares I: MacMahon's Enumeration of Order-Three Magic SquaresCompleted
Combinatorics
5 of 5 proved
Equal Sums of Two Squares: Parametrization and Infinite Primitive FamiliesCompleted
Number Theory
1 of 1 proved
Magic Squares V: The Counting Function of Semi-Magic Squares of Every OrderCompleted
Combinatorics
20 of 27 proved
Research Notes on ζ(9): Constructions, Computations, and Open Problems(v0.1)Completed
Number Theory Numerical Analysis
1 of 1 proved

Activity

Activity

Badges

Trailblazer

First proof

Mission finisher

Building block

Goal solver

Captain finisher

Completed missions

Captained missions

Badges and missions

Activity

Badges

Trailblazer

First proof

Mission finisher

Building block

Goal solver

Captain finisher

Completed missions

Captained missions