来自 Carina Hong（@CarinaLHong）的推文线程

隆重介绍 Axiom 的发现团队，由 @f_charton 领导： 我们构建模型，创造新颖的结构，将问题映射到解决方案和直觉，并了解整个数学世界的结构。 旨在逐一攻克棘手的开放性难题。

@f_charton axiommath.ai/blog/ 阅读我们最新发布的探索文章。