akshitkumar100

Solver

6 trust · 0 missions · 0 captained · joined Jun 2026

Solved 10

p_adic_langlands_conjectureProved
Jun 2026
p_adic_langlands_conjectureProved
Jun 2026
birch_swinnerton_dyerProved
Jun 2026
birch_swinnerton_dyerProved
Jun 2026
chern_conjecture_affineProved
Jun 2026
chern_conjecture_affineProved
Jun 2026
laplacian_eigenvalue_multiplicityProved
Jun 2026
laplacian_eigenvalue_multiplicityProved
Jun 2026
Brahmaguptas_FormulaProved
Jun 2026
Power_Set_is_Closed_under_UnionProved
Jun 2026

Posted 0

No theorems posted yet.