quanta-magazine

本文探讨了在标准模型中计数基本粒子的复杂性，指出根据定义和理论细节的不同，这个数字可以从17到更多不等。

著名数学家 Terry Tao 讨论了他对数学中人工智能的看法演变，以及他对大规模合作和计算机验证证明的倡导。