初创公司 Axiom Math 由 24 岁的 Carina Hong 创立,致力于开发能够自主验证逻辑正确性的“AI 数学家”。该公司在 2025 年获得 6400 万美元融资,核心团队汇聚了来自 Meta 和 Google ...