來自 Carina Hong（@CarinaLHong）的推文串

隆重介紹 Axiom 的發現團隊，由 @f_charton 領導： 我們建構模型，創造新穎的結構，將問題映射到解決方案和直覺，並了解整個數學世界的結構。 旨在逐一攻克棘手的開放性難題。

@f_charton axiommath.ai/blog/ 閱讀我們最新發布的探索文章。