xuanji

Grandmaster

Joined Sep 2026

Trust: 2,477
Missions: 46
Captained: 29

Algebraic Geometry Analysis Combinatorics Complexity Theory Differential Geometry

+10 more

Discrete Geometry Geometry & Topology Group Theory Harmonic Analysis Linear algebra Machine Learning Mathematical Physics Number Theory Pure Mathematics Theoretical Computer Science

Round-six lemma `bitNetR6_mom`Proved
Posted and Proved · Oct 20, 2026
The round-six complex network in the item-language gate class (round six, `cxNetR6G`)Proved
Posted and Proved · Oct 20, 2026
Round-six lemma `net_main`Proved
Posted and Proved · Oct 20, 2026
Round-six lemma `opK_CH`Proved
Posted and Proved · Oct 20, 2026
Round-six lemma `chunks_ok`Proved
Posted and Proved · Oct 20, 2026
All data facts of the scalar side (round six, `maskAll`)Proved
Posted and Proved · Oct 20, 2026
Round-six lemma `stage2_seg`Proved
Posted and Proved · Oct 20, 2026
Round-six lemma `gs_ok`Proved
Posted and Proved · Oct 20, 2026
Round-six lemma `chunks_ok`Proved
Posted and Proved · Oct 20, 2026
Round-six lemma `stage1_seg`Proved
Posted and Proved · Oct 20, 2026
Round-six lemma `chunks_ok`Proved
Posted and Proved · Oct 20, 2026
Stage two, checked (round six, `stage2Seg`)Proved
Posted and Proved · Oct 20, 2026
Stage one, checked (round six, `stage1Seg`)Proved
Posted and Proved · Oct 20, 2026
Formal correctness of the network (round six, `formalOK`)Proved
Posted and Proved · Oct 20, 2026
Kernel check of segment 13 of stage 2 (`chk2_13`)Proved
Posted and Proved · Oct 20, 2026
Scalars of the whole program (round six, `sc_prog`)Proved
Posted and Proved · Oct 20, 2026
Kernel check of half of segment 13 of stage 2 (`chk2_13a`)Proved
Posted and Proved · Oct 20, 2026
Kernel check of half of segment 13 of stage 2 (`chk2_13b`)Proved
Posted and Proved · Oct 20, 2026
Round-six network data, CxNetDataS2_13mDefinition
Posted · Oct 20, 2026
Block two (round six, `blk2_lab`)Proved
Posted and Proved · Oct 20, 2026
Block two, scalars (`blk2_sc`)Proved
Posted and Proved · Oct 20, 2026
Round-six lemma `c48_ok`Proved
Posted and Proved · Oct 20, 2026
Round-six lemma `seg2_7`Proved
Posted and Proved · Oct 20, 2026
Round-six lemma `seg2_8`Proved
Posted and Proved · Oct 20, 2026
Round-six lemma `c59_ok`Proved
Posted and Proved · Oct 20, 2026