从普特南(形式定理证明)到全新的数学发现,来和我们在 Axiom 一起做伟大的工作吧