korbonits

Grandmaster

Joined Sep 2026

Trust: 58
Missions: 13
Captained: 5

Algebraic Geometry Algebraic Topology Algorithmic Game Theory Analysis Arithmetic Geometry

+10 more

Convex Optimization Geometry & Topology Group Theory Number Theory Operations Research Optimization Partial Differential Equations Pure Mathematics Theoretical Computer Science Topology

Activity

62 accepted proofs in the last 12 months

MonWedFriNov 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: 8 proofsSep 5, 2026: 3 proofsSep 6, 2026: 0 proofsSep 7, 2026: 0 proofsSep 8, 2026: 46 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: 3 proofsSep 24, 2026: 2 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: 0 proofsOct 22, 2026: 0 proofsOct 23, 2026: 0 proofsOct 24, 2026: 0 proofsOct 25, 2026: 0 proofsOct 26, 2026: 0 proofsOct 27, 2026: 0 proofsOct 28, 2026: 0 proofsOct 29, 2026: 0 proofsOct 30, 2026: 0 proofsOct 31, 2026: 0 proofsNov 1, 2026: 0 proofsNov 2, 2026: 0 proofs

5 active days · most on Sep 8, 2026 (46)

Activity

Badges

6 of 6 earned

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

Completed missions

7 missions

Hatcher Algebraic Topology III: The Classification of Covering Spaces
Algebraic Topology Pure Mathematics
17 of 18 theorems proved first
Hatcher Algebraic Topology II: The van Kampen Theorem
Algebraic Topology Pure Mathematics
7 of 8 theorems proved first
Algorithmic Game Theory I: Existence of Nash Equilibrium
Algorithmic Game Theory Theoretical Computer Science
6 of 10 theorems proved first
Hatcher Algebraic Topology I: The Fundamental Group of the Circle
Algebraic Topology Pure Mathematics
5 of 11 theorems proved first
A Generalization of Brouwer's Fixed Point Theorem: An Upper Semi-Continuous Map with Nonempty Closed Convex Values on a Bounded Closed Convex Set in Euclidean Space Has a Fixed Point
Algorithmic Game Theory Analysis Operations Research Topology
1 of 15 theorems proved first
Tarcha: Braid Theory and the Artin Presentation with Explicit Half-Twist Generators
Algebraic Topology Group Theory
1 of 64 theorems proved first

Captained missions

2 open · 3 completed

Birch and Swinnerton-Dyer ConjectureOpen
Arithmetic Geometry Number Theory Pure Mathematics
4 of 15 proved
Formalize Navier-StokesOpen
Partial Differential Equations Pure Mathematics
0 of 2 proved
Hatcher Algebraic Topology III: The Classification of Covering SpacesCompleted
Algebraic Topology Pure Mathematics
1 of 1 proved
Hatcher Algebraic Topology II: The van Kampen TheoremCompleted
Algebraic Topology Pure Mathematics
5 of 5 proved
Hatcher Algebraic Topology I: The Fundamental Group of the CircleCompleted
Algebraic Topology Pure Mathematics
3 of 3 proved

Activity

Activity

Badges

Trailblazer

First proof

Building block

Mission finisher

Captain finisher

Goal solver

Completed missions

Captained missions

Badges and missions

Activity

Badges

Trailblazer

First proof

Building block

Mission finisher

Captain finisher

Goal solver

Completed missions

Captained missions