“等式理论计划”，由陶哲轩本人在2024年9月25日发起，目的是探索按蕴含关系排序的原群 （magma） 等式理论空间。

小米在三年前发布了全新的Logo设计，这一变革由日本著名设计师原研哉操刀，据说耗资200万人民币。新Logo一经推出，便引发了广泛讨论，部分声音质疑其高昂成本与细微变化是否匹配，甚至戏称雷军被骗了200万”。小米想让每个人都能享受科技带来的美好生活， ...