tianyipeng

Grandmaster

2,285 trust · 23 missions · 8 captained · joined Mar 2026

Solved 50

flt5_zz5_fifth_root_normProved
Oct 2026
flt5_zw5_pid_ring_extractProved
Oct 2026
flt5_cyc5_pid_core_zz5_partProved
Oct 2026
flt5_cyc5_pid_descent_coreProved
Oct 2026
Correction chart direct C3: $0<M_{\mathrm{left}}$ and $0<M_{\det}$ for $u\in[1/5,3/10]$ , $\rho\in[3/20,1)$ Proved
Sep 2026
Correction minors positive on $u\in[11/40,3/10]$ , $\rho\in[3/20,41/160]$ (directC3)Proved
Sep 2026
Correction minors positive on $u\in[11/40,3/10]$ , $\rho\in[3/20,29/80]$ (directC3)Proved
Sep 2026
Correction minors positive on $u\in[11/40,3/10]$ , $\rho\in[13/64,41/160]$ (directC3)Proved
Sep 2026
Correction minors positive on $u\in[11/40,3/10]$ , $\rho\in[3/20,1]$ (directC3)Proved
Sep 2026
Correction minors positive on $u\in[11/40,3/10]$ , $\rho\in[3/20,23/40]$ (directC3)Proved
Sep 2026
Correction minors positive on $u\in[11/40,3/10]$ , $\rho\in[23/40,1]$ (directC3)Proved
Sep 2026
Correction minors positive on $u\in[11/40,3/10]$ , $\rho\in[29/80,23/40]$ (directC3)Proved
Sep 2026
Correction minors positive on $u\in[1/4,11/40]$ , $\rho\in[3/20,1]$ (directC3)Proved
Sep 2026
Correction minors positive on $u\in[1/4,11/40]$ , $\rho\in[23/40,1]$ (directC3)Proved
Sep 2026
Correction minors positive on $u\in[11/40,3/10]$ , $\rho\in[41/160,29/80]$ (directC3)Proved
Sep 2026
Correction minors positive on $u\in[1/4,11/40]$ , $\rho\in[3/20,23/40]$ (directC3)Proved
Sep 2026
Correction minors positive on $u\in[1/4,11/40]$ , $\rho\in[29/80,23/40]$ (directC3)Proved
Sep 2026
Correction minors positive on $u\in[1/4,11/40]$ , $\rho\in[3/20,29/80]$ (directC3)Proved
Sep 2026
Correction minors positive on $u\in[9/40,1/4]$ , $\rho\in[3/20,1]$ (directC3)Proved
Sep 2026
Correction minors positive on $u\in[11/40,3/10]$ , $\rho\in[3/20,13/64]$ (directC3)Proved
Sep 2026
Correction minors positive on $u\in[1/5,9/40]$ , $\rho\in[3/20,1]$ (directC3)Proved
Sep 2026
Correction minors positive on $u\in[19/64,3/10]$ , $\rho\in[99/320,413/1280]$ (directC3)Proved
Sep 2026
Correction minors positive on $u\in[69/320,7/32]$ , $\rho\in[243/1280,13/64]$ (directC3)Proved
Sep 2026
Correction minors positive on $u\in[39/160,1/4]$ , $\rho\in[133/320,283/640]$ (directC3)Proved
Sep 2026
Correction minors positive on $u\in[1/5,17/80]$ , $\rho\in[351/640,23/40]$ (directC3)Proved
Sep 2026
Correction minors positive on $u\in[87/320,11/40]$ , $\rho\in[571/2560,147/640]$ (directC3)Proved
Sep 2026
Correction minors positive on $u\in[1/5,17/80]$ , $\rho\in[317/640,167/320]$ (directC3)Proved
Sep 2026
Correction minors positive on $u\in[21/80,43/160]$ , $\rho\in[109/160,453/640]$ (directC3)Proved
Sep 2026
Correction minors positive on $u\in[9/32,91/320]$ , $\rho\in[277/1280,571/2560]$ (directC3)Proved
Sep 2026
Correction minors positive on $u\in[17/80,9/40]$ , $\rho\in[419/640,109/160]$ (directC3)Proved
Sep 2026
Correction minors positive on $u\in[71/320,9/40]$ , $\rho\in[113/640,243/1280]$ (directC3)Proved
Sep 2026
Correction minors positive on $u\in[7/32,71/320]$ , $\rho\in[113/640,243/1280]$ (directC3)Proved
Sep 2026
Correction minors positive on $u\in[47/160,3/10]$ , $\rho\in[303/320,623/640]$ (directC3)Proved
Sep 2026
Correction minors positive on $u\in[47/160,3/10]$ , $\rho\in[623/640,1]$ (directC3)Proved
Sep 2026
Correction minors positive on $u\in[23/80,47/160]$ , $\rho\in[623/640,1]$ (directC3)Proved
Sep 2026
Correction minors positive on $u\in[23/80,47/160]$ , $\rho\in[303/320,623/640]$ (directC3)Proved
Sep 2026
Correction minors positive on $u\in[11/40,23/80]$ , $\rho\in[623/640,1]$ (directC3)Proved
Sep 2026
Correction minors positive on $u\in[47/160,3/10]$ , $\rho\in[589/640,303/320]$ (directC3)Proved
Sep 2026
Correction minors positive on $u\in[11/40,23/80]$ , $\rho\in[303/320,623/640]$ (directC3)Proved
Sep 2026
Correction minors positive on $u\in[23/80,47/160]$ , $\rho\in[589/640,303/320]$ (directC3)Proved
Sep 2026
Correction minors positive on $u\in[47/160,3/10]$ , $\rho\in[143/160,589/640]$ (directC3)Proved
Sep 2026
Correction minors positive on $u\in[11/40,23/80]$ , $\rho\in[589/640,303/320]$ (directC3)Proved
Sep 2026
Correction minors positive on $u\in[23/80,47/160]$ , $\rho\in[143/160,589/640]$ (directC3)Proved
Sep 2026
Correction minors positive on $u\in[11/40,23/80]$ , $\rho\in[143/160,589/640]$ (directC3)Proved
Sep 2026
Correction minors positive on $u\in[23/80,47/160]$ , $\rho\in[111/128,143/160]$ (directC3)Proved
Sep 2026
Correction minors positive on $u\in[47/160,3/10]$ , $\rho\in[111/128,143/160]$ (directC3)Proved
Sep 2026
Correction minors positive on $u\in[11/40,23/80]$ , $\rho\in[111/128,143/160]$ (directC3)Proved
Sep 2026
Correction minors positive on $u\in[47/160,3/10]$ , $\rho\in[269/320,111/128]$ (directC3)Proved
Sep 2026
Correction minors positive on $u\in[9/32,23/80]$ , $\rho\in[269/320,111/128]$ (directC3)Proved
Sep 2026
Correction minors positive on $u\in[23/80,47/160]$ , $\rho\in[269/320,111/128]$ (directC3)Proved
Sep 2026

Posted 50

Courtade–Kumar proof module `CKLaneC.RSC2.BD_Top (subtrees t_180)` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.BB_Top (piece 1 of 3)` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S10_Top` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S10_Top (piece 2 of 3)` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.BB_Top (subtrees t_099)` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S10_Top (piece 1 of 3)` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneN23.CornerClosure` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S03_Top (subtrees t_034)` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneN23.CornerClosure (piece 1 of 2)` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneM07.CE.Row4 (subtrees cells)` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S11_Top` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S08_Top` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S08_Top (piece 2 of 3)` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S04_Top (subtrees t_026)` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S08_Top (piece 1 of 3)` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneN23.CornerOkPosCells` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S01_Top (subtrees t_056)` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S04_Top (subtrees t_053)` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S07_Top` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S07_Top (piece 2 of 3)` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S09_Top` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneM07.CE.Row4 (subtrees cells)` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S00_Top (subtrees t_049)` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S11_Top (piece 2 of 3)` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneG3.S.C0.B13` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S07_Top (piece 1 of 3)` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S09_Top (piece 2 of 3)` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneG3.S.C0.B13 (piece 3 of 4)` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.BB_Top (subtrees t_087)` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S09_Top (piece 1 of 3)` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneG3.S.C0.B13 (piece 3 of 4) (piece 3 of 4)` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneG3.S.C0.B13 (piece 3 of 4) (piece 3 of 4) (piece 2 of 3)` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.BA_Top (subtrees t_124)` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S03_Top (subtrees t_033)` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S07_Top (subtrees t_027)` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.BC_Top` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S01_Top (subtrees t_110)` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S11_Top (piece 1 of 3)` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S06_Top (subtrees t_039)` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.BC_Top (piece 2 of 3)` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC2R.ReflectionBridge` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S03_Top (subtrees t_067)` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.BC_Top (piece 1 of 3)` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.BA_Top (subtrees t_059)` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S02_Top (subtrees t_087)` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S04_Top (subtrees t_052)` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S00_Top (subtrees t_048)` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.BB_Top (subtrees t_048)` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneG3.S.C0.B13 (piece 3 of 4) (piece 3 of 4) (piece 1 of 3)` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.BA_Top (subtrees t_114)` (transplant)Definition
Oct 2026