Cool Link
Mathematics Distillation Challenge – Equational Theories | What's new terrytao.wordpress.com

terrytao.wordpress.com/2026/03/13/mathematics-distillation-challenge-equational-theories/