数学群因菲奖炸锅|数学群|ai4math群|菲奖|形式化|计算机

菲奖的事几个数学群都和炸锅了一样，只有AI4math群的没凑这个热闹。对形式化和计算机的好感度➕1[坏笑]

发布于江苏