用模型监控CI并通知PR构建，还用于数学问题

我用我们的模型来监控CI，当我的PR在构建中可用时通知我。他们还用它来解决新颖的数学问题。我们显然不同。