python 实现 AIGC 大模型中的概率论:充满数学逼格的生日问题公式推导