【 在 xeh 的大作中提到: 】
: 独辟蹊径吧
: 数学家被lean打的快没有饭碗了
: 所以呢 打不过就加入

所以准备转AI？
--
FROM 183.192.221.*