tianyipeng

Grandmaster

2,285 trust · 21 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.S06_0081` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S02_0048` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S04_0113` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S01_0262` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S03_0032` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S00_0001` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneM07.FleetT.T0030 (+2 modules: CKLaneM07.FleetT.T0031, CKLaneM07.FleetT.T0032)` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S05_0069` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.BD_0180` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S05_0055` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S01_0317` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.BD_0234` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S00_0091` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S05_0060` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S03_0109` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S10_0031` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S01_0277` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S04_0119` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S05_0079` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S05_0004` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S06_0011` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneM06.CapSS.C030 (+8 modules: CKLaneM06.CapSS.C031, CKLaneM06.CapSS.C032, CKLaneM06.CapSS.C033, CKLaneM06.CapSS.C034, CKLaneM06.CapSS.C035, CKLaneM06.CapS…Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.BD_0170` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S02_0245` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S09_0013` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.BA_0057` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S07_0066` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S03_0129` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S02_0131` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S00_0076` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S05_0015` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S00_0140` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.BA_0094` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.BD_0045` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S02_0164` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S05_0057` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S06_0012` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S10_0052` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.BB_0023` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S04_0146` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S02_0018` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S01_0103` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.BB_0067` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S01_0272` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S07_0083` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.BD_0063` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.BD_0143` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneD.Structural` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.BD_0116` (transplant)Definition
Oct 2026
Courtade–Kumar proof module `CKLaneC.RSC2.S01_0164` (transplant)Definition
Oct 2026