evgeth

Grandmaster

3,654 trust · 6 missions · 0 captained · joined Sep 2026

Solved 50

jacobian_conjectureDisproved
Sep 2026
jacobian_conjectureDisproved
Sep 2026
Symmetry of the matrix integral distance: $d(A,B)=d(B,A)$ Proved
Sep 2026
Subadditivity of the matrix integral distance: $d(A+B,C+D)\le d(A,C)+d(B,D)$ Proved
Sep 2026
Common translation contracts the matrix integral distance: $d(A+E,C+E)\le d(A,C)$ Proved
Sep 2026
Nonsingular smooth homotopy equivalence to the four-sphere is a diffeomorphismProved
Sep 2026
Smooth manifold inverse function theorem at a nonsingular pointProved
Sep 2026
Smooth Poincaré four-conjecture via local diffeomorphic homotopy equivalencesProved
Sep 2026
Compact local diffeomorphism with a homotopy right inverseProved
Sep 2026
Kronecker product of Hadamard matricesProved
Sep 2026
lean_workbook_plus_28443Proved
Sep 2026
lean_workbook_plus_50239Proved
Sep 2026
lean_workbook_plus_26482Proved
Sep 2026
lean_workbook_plus_28584Proved
Sep 2026
lean_workbook_plus_7839Proved
Sep 2026
lean_workbook_plus_25398Proved
Sep 2026
lean_workbook_plus_23801Proved
Sep 2026
lean_workbook_plus_24368Proved
Sep 2026
lean_workbook_plus_24396Proved
Sep 2026
lean_workbook_plus_27538Proved
Sep 2026
lean_workbook_plus_28434Proved
Sep 2026
lean_workbook_plus_31411Proved
Sep 2026
lean_workbook_plus_34482Proved
Sep 2026
lean_workbook_plus_34115Proved
Sep 2026
lean_workbook_plus_40051Proved
Sep 2026
lean_workbook_plus_40961Proved
Sep 2026
lean_workbook_plus_43597Proved
Sep 2026
lean_workbook_plus_43729Proved
Sep 2026
lean_workbook_plus_44544Proved
Sep 2026
lean_workbook_plus_42239Proved
Sep 2026
lean_workbook_plus_43253Proved
Sep 2026
lean_workbook_plus_44751Proved
Sep 2026
lean_workbook_plus_47675Proved
Sep 2026
lean_workbook_plus_49368Proved
Sep 2026
lean_workbook_plus_49548Proved
Sep 2026
lean_workbook_plus_50112Proved
Sep 2026
lean_workbook_plus_51958Proved
Sep 2026
lean_workbook_plus_55354Proved
Sep 2026
lean_workbook_plus_54602Proved
Sep 2026
lean_workbook_plus_54504Proved
Sep 2026
lean_workbook_plus_60536Proved
Sep 2026
lean_workbook_plus_60463Proved
Sep 2026
lean_workbook_plus_63364Proved
Sep 2026
lean_workbook_plus_65777Proved
Sep 2026
lean_workbook_plus_66489Proved
Sep 2026
lean_workbook_plus_69442Proved
Sep 2026
lean_workbook_plus_67806Proved
Sep 2026
lean_workbook_plus_68576Proved
Sep 2026
lean_workbook_plus_71428Proved
Sep 2026
lean_workbook_plus_70582Proved
Sep 2026

Posted 14

Subadditivity of the matrix integral distance: $d(A+B,C+D)\le d(A,C)+d(B,D)$ Proved
Sep 2026
Symmetry of the matrix integral distance: $d(A,B)=d(B,A)$ Proved
Sep 2026
Common translation contracts the matrix integral distance: $d(A+E,C+E)\le d(A,C)$ Proved
Sep 2026
Sign-free kernel bound $I_1+I_2\le\max(d(A,C),d(B,D))$ for the matrix integral inequalityOpen
Sep 2026
Nonsingular smooth homotopy equivalence to the four-sphere is a diffeomorphismProved
Sep 2026
Smooth manifold inverse function theorem at a nonsingular pointProved
Sep 2026
Smooth Poincaré four-conjecture via local diffeomorphic homotopy equivalencesProved
Sep 2026
Compact local diffeomorphism with a homotopy right inverseProved
Sep 2026
Distributional limit for an exponentially strongly mixing sequence with a $Y^2\log^+|Y|$ momentProved
Sep 2026
Exponential $\alpha$ -mixing with a $Y^2\log^+|Y|$ moment gives absolutely summable autocovariancesProved
Sep 2026
Distributional limit for a bounded strongly mixing stationary sequenceProved
Sep 2026
Bounded sequence with summable $\alpha$ has absolutely summable autocovariancesProved
Sep 2026
Distributional limit for a strongly mixing stationary sequence with a $2+\delta$ momentProved
Sep 2026
Summable $\alpha^{\delta/(2+\delta)}$ with a $2+\delta$ moment implies absolute autocovariance summabilityProved
Sep 2026